An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Information system methodologies—a research view
Proc. of the IFIP WG 8.1 working conference on Information systems design methodologies: improving the practice
On conjunctive queries containing inequalities
Journal of the ACM (JACM)
Understanding Quality in Conceptual Modeling
IEEE Software
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
On the implication problem for cardinality constraints and functional dependencies
Annals of Mathematics and Artificial Intelligence
On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Coping with Inconsistent Constraint Specifications
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
On the Transformation of Object-Oriented Conceptual Models to Logical Theories
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
On the Consistency of Int-cardinality Constraints
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Expressing UML Class Diagrams Properties with OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Consistency preserving updates in deductive databases
Data & Knowledge Engineering
Checking query containment with the CQC method
Data & Knowledge Engineering
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
Conceptual Modeling of Information Systems
Conceptual Modeling of Information Systems
ProB: an automated analysis toolset for the B method
International Journal on Software Tools for Technology Transfer (STTT)
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Decidable Reasoning in UML Schemas with Constraints
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Providing Explanations for Database Schema Validation
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Reasoning on UML class diagrams
Artificial Intelligence
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Editorial: A complete set of guidelines for naming UML conceptual schema elements
Data & Knowledge Engineering
| Hi-index | 0.00 |
To ensure the quality of an information system, it is essential that the conceptual schema that represents the knowledge about its domain is semantically correct. The semantic correctness of a conceptual schema can be seen from two different perspectives. On the one hand, from the point of view of its definition, a conceptual schema must be right. This is ensured by means of verification techniques that check whether the schema satisfies several correctness properties. On the other hand, from the point of view of the requirements that the information system should satisfy, a schema must also be the right one. This is ensured by means of validation techniques, which help the designer understand the exact meaning of a schema and to see whether it corresponds to the requirements. In this article we propose an approach to verify and validate UML conceptual schemas, with arbitrary constraints formalized in OCL. We have also implemented our approach to show its feasibility.