Drawing Preconditions of Operation Contracts from Conceptual Schemas

  • Dolors Costal
  • Cristina Gómez
  • Anna Queralt
  • Ernest Teniente
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5074)


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.


conceptual modelling operation contracts integrity constraints 


  1. 1.
    Teichroew, D.: Methodology for the Design of Information Processing Systems. In: Proc. Fourth Australian Computer Conference, pp. 629–634 (1969)Google Scholar
  2. 2.
    OMG: MDA Guide Version 1.0.1. (2003)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Olivé, A.: Conceptual Modeling of Information Systems. Springer, Heidelberg (2007)CrossRefzbMATHGoogle Scholar
  9. 9.
    ISO/TC97/SC5/WG3: Concepts and Terminology for the Conceptual Schema and Information Base. ISO (1982)Google Scholar
  10. 10.
    Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)zbMATHGoogle Scholar
  11. 11.
    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-4Google Scholar
  12. 12.
    Halpin, T.: Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design. Morgan Kaufmann, San Francisco (2001)Google Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    Liddle, S.W., Embley, D.W., Woodfield, S.N.: Cardinality Constraints in Semantic Data Models. Data and Knowledge Engineering 11, 235–270 (1993)CrossRefzbMATHGoogle Scholar
  15. 15.
    Lenzerini, M.: Covering and Disjointness Constraints in Type Networks. In: Proc. ICDE 1987, pp. 386–393. IEEE Computer Society Press, Los Alamitos (1987)Google Scholar
  16. 16.
    Larman, C.: Applying UML and Patterns, 3rd edn. Prentice-Hall, Englewood Cliffs (2004)Google Scholar
  17. 17.
    OMG: UML2.0 OCL Specification, OMG Adopted Specification (2005)Google Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    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)Google Scholar
  20. 20.
    Mammar, A., Gervais, F., Laleau, R.: Systematic Identification of Preconditions from Set-Based Integrity Constraints. In: INFORSID, pp. 595–610 (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Dolors Costal
    • 1
  • Cristina Gómez
    • 1
  • Anna Queralt
    • 1
  • Ernest Teniente
    • 1
  1. 1.Departament de Llenguatges i Sistemes InformàticsUniversitat Politècnica de Catalunya 

Personalised recommendations