Formalizing and validating behavioral models through the event calculus
Information Systems - Special issue: selected papers from the 9th International Conference on advanced information systems engineering (CA ISE '97)
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Handling Conceptual Model Validation by Planning
CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
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
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition)
Checking query containment with the CQC method
Data & Knowledge Engineering
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
ProB: an automated analysis toolset for the B method
International Journal on Software Tools for Technology Transfer (STTT)
Decidable Reasoning in UML Schemas with Constraints
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Verifying UML/OCL Operation Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Conceptual schema-centric development: a grand challenge for information systems research
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Specifying the semantics of operation contracts in conceptual modeling
Journal on Data Semantics VII
Lightweight verification of executable models
ER'11 Proceedings of the 30th international conference on Conceptual modeling
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
| Hi-index | 0.00 |
A conceptual schema specifies the relevant information about the domain and how this information changes as a result of the execution of operations. The purpose of reasoning on a conceptual schema is to check whether the conceptual schema is correctly specified. This task is not fully formalizable, so it is desirable to provide the designer with tools that assist him or her in the validation process. To this end, we present a method to translate a conceptual schema with operations into logic, and then propose a set of validation tests that allow assessing the (un)correctness of the schema. These tests are formulated in such a way that a generic reasoning method can be used to check them. To show the feasibility of our approach, we use an implementation of an existing reasoning method.