Abstract
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. © 2008 Springer-Verlag Berlin Heidelberg.
Author supplied keywords
Cite
CITATION STYLE
Costal, D., Gómez, C., Queralt, A., & Teniente, E. (2008). Drawing preconditions of operation contracts from conceptual schemas. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5074 LNCS, pp. 266–280). https://doi.org/10.1007/978-3-540-69534-9_22
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
