A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Maintenance of materialized views: problems, techniques, and applications
Materialized views
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Expressing UML Class Diagrams Properties with OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Derivation rules in object-oriented conceptual modeling languages
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Reconciling diagrams after executing model transformations
Proceedings of the 2006 ACM symposium on Applied computing
Creating and reconciling diagrams after executing model transformations
Science of Computer Programming
Creating and reconciling diagrams after executing model transformations
Science of Computer Programming
Incremental integrity checking of UML/OCL conceptual schemas
Journal of Systems and Software
OCL support in an industrial environment
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Incremental evaluation of OCL constraints
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Constraint support in MDA tools: a survey
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
| Hi-index | 0.00 |
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way to achieve efficiency is to consider only the relevant instances that may violate an integrity constraint instead of the whole population of the information base. This is the approach we follow in this paper to automatically check the integrity constraints defined in a UML conceptual schema. Since the method we propose uses only the standard elements of the conceptual schema to process the constraints, its efficiency improvement can benefit any implementation of the schema regardless the technology used.