Facilitating the Definition of General Constraints in UML

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

Abstract

One important aspect in the specification of conceptual schemas is the definition of general constraints that cannot be expressed by the predefined constructs provided by conceptual modeling languages. In general this is done by means of general-purpose languages, like OCL. In this paper we propose a new approach to facilitate the definition of such general constraints in UML. More precisely, we define a profile that extends the set of UML predefined constraints with some types of constraints that are used very frequently in conceptual schemas. We also study the application of our ideas to the specification of two real-life applications and we show how results in constraint-related problems may be easily incorporated to our proposal.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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
  2. 2.
    Costal, D., Gómez, C., Queralt, A., Raventós, R., Teniente, E.: Facilitating the Definition of General Constraints in UML (extended version). Technical Report LSI-06-14-R (2006), http://www.lsi.upc.edu/dept/techreps
  3. 3.
    Costal, D., Sancho, M.R., Teniente, E.: Understanding Redundancy in UML Models for Object-Oriented Analysis. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 659–674. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Frías, L., Queralt, A., Olivé, A.: EU-Rent Car Rentals Specification. Technical Report LSI-03-59-R (2003), http://www.lsi.upc.edu/dept/techreps
  5. 5.
    Halpin, T.: Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design. Morgan Kaufmann, San Francisco (2001)Google Scholar
  6. 6.
    ISO/TC97/SC5/WG3. van Griethuysen, J.J. (ed.): Concepts and Terminology for the Conceptual Schema and the Information Base (1982) Google Scholar
  7. 7.
    Lenzerini, M., Nobili, P.: On the Satisfiability of Dependency Constraints in Entity-Relationship Schemata. Information Systems 15(4), 453–461 (1990)CrossRefGoogle Scholar
  8. 8.
    Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model-Driven Architecture, Object Technology edn. Addison-Wesley, Reading (2002)Google Scholar
  9. 9.
    Miliauskaitė, E., Nemuraitė, L.: Representation of Integrity Constraints in Conceptual Models. Information Technology and Control 34(4) (2005)Google Scholar
  10. 10.
    Olivé, A.: Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 349–362. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  11. 11.
    OMG: MDA Guide Version 1.0.1, omg/2003-06-01 (2003) Google Scholar
  12. 12.
    OMG: UML2.0 OCL Specification, OMG Adopted Specification (2005) Google Scholar
  13. 13.
    Queralt, A., Teniente, E.: A Platform Independent Model for the Electronic Marketplace Domain. Technical Report LSI-05-9-R (2005), http://www.lsi.upc.edu/dept/techreps
  14. 14.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2005)Google Scholar
  15. 15.
    Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Professional, Reading (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

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

Personalised recommendations