Conceptual modelling of database applications using an extended ER model
Data & Knowledge Engineering
Cardinality constraints in semantic data models
Data & Knowledge Engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Information modeling and relational databases: from conceptual analysis to logical design
Information modeling and relational databases: from conceptual analysis to logical design
Covering and Disjointness Constraints in Type Networks
Proceedings of the Third International Conference on Data Engineering
Supporting Transaction Design in Conceptual Modelling of Information Systems
CAiSe '95 Proceedings of the 7th International Conference on Advanced Information Systems Engineering
The Role of Structural Events in Behaviour Specification
DEXA '97 Proceedings of the 8th International Conference on Database and Expert Systems Applications
Identifying Pre-Conditions with the Z/EVES Theorem Prover
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Conceptual Modeling of Information Systems
Conceptual Modeling of Information Systems
Conceptual schema-centric development: a grand challenge for information systems research
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
A library of OCL specification patterns for behavioral specification of software components
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Deriving operation contracts from UML class diagrams
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Synthesis of OCL pre-conditions for graph transformation rules
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Generating operation specifications from UML class diagrams: A model transformation approach
Data & Knowledge Engineering
| Hi-index | 0.00 |
Conceptual schemas include the definition of integrity constraints which must be satisfied in each state of the Information Base. Integrity constraints have a considerable impact on the specification of operations since operations should preserve the Information Base consistency. In this paper, we present an approach that automatically generates the preconditions that basic operations must include to ensure that a set of predefined integrity constraints is satisfied after their execution. Our approach is independent of the conceptual modelling language used. We also describe a prototype tool that implements our proposal for UML conceptual schemas.