Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Drawing preconditions of operation contracts from conceptual schemas

Autor
Costal, D.; Gomez, C.; Queralt, A.; Teniente, E.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2008-06
Volum
5074
Pàgina inicial
266
Pàgina final
280
DOI
https://doi.org/10.1007/978-3-540-69534-9_22 Obrir en finestra nova
URL
https://link.springer.com/chapter/10.1007/978-3-540-69534-9_22 Obrir en finestra nova
Resum
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 ap...
Paraules clau
Conceptual Modelling, Integrity Constraints, Operation Contracts
Grup de recerca
IMP - Information Modeling and Processing

Participants