On the satisfiability of dependency constraints in entity-relationship schemata
Information Systems
Object-oriented modeling and design for database applications
Object-oriented modeling and design for database applications
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Proceedings of the Conference on The Future of Software Engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Configuring Large Systems Using Generative Constraint Satisfaction
IEEE Intelligent Systems
On the Interaction Between ISA and Cardinality Constraints
Proceedings of the Tenth International Conference on Data Engineering
Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Coping with Inconsistent Constraint Specifications
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Fundamentals of Cardinality Constraints
ER '92 Proceedings of the 11th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
Graph-Theoretical Methods to Construct Entity-Relationship Databases
WG '95 Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science
Expressing UML Class Diagrams Properties with OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Consistency problems in ER-schemas for database systems
Information Sciences: an International Journal - Special issue: Information technology
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Decidable Reasoning in UML Schemas with Constraints
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Verification of UML/OCL Class Diagrams using Constraint Programming
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Constraints satisfaction problems in data modeling
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Consistency, Independence and Consequences in UML and OCL Models
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Reasoning on UML class diagrams
Artificial Intelligence
On the complexities of consistency checking for restricted UML class diagrams
Theoretical Computer Science
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
HOL-OCL: a formal proof environment for UML/OCL
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Verification-driven slicing of UML/OCL models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Verifying UML/OCL models using Boolean satisfiability
Proceedings of the Conference on Design, Automation and Test in Europe
Full satisfiability of UML class diagrams
ER'10 Proceedings of the 29th international conference on Conceptual modeling
AuRUS: automated reasoning on UML/OCL schemas
ER'10 Proceedings of the 29th international conference on Conceptual modeling
UOST: UML/OCL aggressive slicing technique for efficient verification of models
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
Extensive validation of OCL models by integrating SAT solving into USE
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Reducing multiplicities in class diagrams
Proceedings of the 14th international conference on Model driven engineering languages and systems
CD2Alloy: class diagrams analysis using alloy revisited
Proceedings of the 14th international conference on Model driven engineering languages and systems
On the interaction of inter-relationship constraints
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
UML-compiler: a framework for syntactic and semantic verification of UML diagrams
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Checking the consistency of UML class diagrams using larch prover
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
International Journal of Information System Modeling and Design
Hi-index | 0.00 |
Models lie at the heart of the emerging model-driven engineering approach. In order to guarantee precise, consistent, and correct models, there is a need for efficient powerful methods for verifying model correctness. Class diagram is the central language within UML. Its correctness problems involve issues of contradiction, namely the consistency problem, and issues of finite instantiation, namely the finite satisfiability problem. This article analyzes the problem of finite satisfiability of class diagrams with class hierarchy constraints and generalization-set constraints. The article introduces the FiniteSat algorithm for efficient detection of finite satisfiability in such class diagrams, and analyzes its limitations in terms of complex hierarchy structures. FiniteSat is strengthened in two directions. First, an algorithm for identification of the cause for a finite satisfiability problem is introduced. Second, a method for propagation of generalization-set constraints in a class diagram is introduced. The propagation method serves as a preprocessing step that improves FiniteSat performance, and helps developers in clarifying intended constraints. These algorithms are implemented in the FiniteSatUSE tool [BGU Modeling Group 2011b], as part of our ongoing effort for constructing a model-level integrated development environment [BGU Modeling Group 2010a].