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.
Chapter PDF
Similar content being viewed by others
References
Teichroew, D.: Methodology for the Design of Information Processing Systems. In: Proc. Fourth Australian Computer Conference, pp. 629–634 (1969)
OMG: MDA Guide Version 1.0.1. (2003)
Costal, D., Sancho, M.-R., Olivé, A., Roselló, A.: The Role of Structural Events in Behaviour Specification. In: Tjoa, A.M. (ed.) DEXA 1997. LNCS, vol. 1308, pp. 673–686. Springer, Heidelberg (1997)
Engels, G., Gogolla, M., Hohenstein, U., Hüllmann, K., Löhr-Richter, P., Saake, G., Ehrich, H.-D.: Conceptual Modelling of Database Applications Using an Extended ER Model. Data & Knowledge Engineering 9, 157–204 (1992)
Laleau, R., Polack, F.: Specification of Integrity-Preserving Operations in Information Systems by Using a Formal UML-based Language. Information and Software Technology 43, 693–704 (2001)
Cabot, J., Gómez, C.: Deriving Operation Contracts from UML Class Diagrams. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 196–207. Springer, Heidelberg (2007)
Olivé, À.: Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 1–15. Springer, Heidelberg (2005)
Olivé, A.: Conceptual Modeling of Information Systems. Springer, Heidelberg (2007)
ISO/TC97/SC5/WG3: Concepts and Terminology for the Conceptual Schema and Information Base. ISO (1982)
Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)
Costal, D., Gómez, C., Queralt, A., Raventós, R., Teniente, E.: Improving the Definition of General Constraints in UML. Software and Systems Modeling (2008) DOI: 10.1007/s10270-007-0078-4
Halpin, T.: Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design. Morgan Kaufmann, San Francisco (2001)
Ackermann, J., Turowski, K.: A Library of OCL Specification Patterns for Behavioral Specification of Software Components. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 255–269. Springer, Heidelberg (2006)
Liddle, S.W., Embley, D.W., Woodfield, S.N.: Cardinality Constraints in Semantic Data Models. Data and Knowledge Engineering 11, 235–270 (1993)
Lenzerini, M.: Covering and Disjointness Constraints in Type Networks. In: Proc. ICDE 1987, pp. 386–393. IEEE Computer Society Press, Los Alamitos (1987)
Larman, C.: Applying UML and Patterns, 3rd edn. Prentice-Hall, Englewood Cliffs (2004)
OMG: UML2.0 OCL Specification, OMG Adopted Specification (2005)
Pastor, J.A., Olivé, A.: Supporting Transaction Designs in Conceptual Modeling of Information Systems. In: Iivari, J., Rossi, M., Lyytinen, K. (eds.) CAiSE 1995. LNCS, vol. 932, pp. 40–53. Springer, Heidelberg (1995)
Ledru, Y.: Idenitfying pre-conditions with the Z/EVES theorem prover. In: Proc. 13th International Conf. on Automated Software Engineering. IEEE Computer Society Press, Los Alamitos (1998)
Mammar, A., Gervais, F., Laleau, R.: Systematic Identification of Preconditions from Set-Based Integrity Constraints. In: INFORSID, pp. 595–610 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Costal, D., Gómez, C., Queralt, A., Teniente, E. (2008). Drawing Preconditions of Operation Contracts from Conceptual Schemas. In: Bellahsène, Z., Léonard, M. (eds) Advanced Information Systems Engineering. CAiSE 2008. Lecture Notes in Computer Science, vol 5074. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69534-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-69534-9_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69533-2
Online ISBN: 978-3-540-69534-9
eBook Packages: Computer ScienceComputer Science (R0)