On the satisfiability of dependency constraints in entity-relationship schemata
Information Systems
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
The role of abduction in database view updating
Journal of Intelligent Information Systems
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
Minimal Sample Databases for Global Cardinality Constraints
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
On the Consistency of Int-cardinality Constraints
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Consistency preserving updates in deductive databases
Data & Knowledge Engineering
Checking query containment with the CQC method
Data & Knowledge Engineering
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Reasoning on UML class diagrams
Artificial Intelligence
Consistency checking algorithms for restricted UML class diagrams
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Reasoning on UML Conceptual Schemas with Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
AuRUS: automated reasoning on UML/OCL schemas
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
| Hi-index | 0.00 |
In this paper we propose an approach to reason on UML schemas with OCL constraints. We provide a set of theorems to determine that a schema does not have any infinite model and then provide a decidable method that, given a schema of this kind, efficiently checks whether it satisfies a set of desirable properties such as schema satisfiability and class or association liveliness.