Incremental Checking of OCL Constraints with Aggregates Through SQL | Publicación