Improving the definition of general constraints in UML

Software and Systems Modeling

Volumn 7, Issue 4, 2008, Pages 469-486

  Costal, Dolors ^a   Gómez, Cristina ^a   Queralt, Anna ^a   RaventÓs, Ruth ^a   Teniente, Ernest ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Conceptual modeling; Integrity constraints; UML profile

Indexed keywords

AUTOMATIC PROGRAMMING; COMPUTER SIMULATION LANGUAGES; LINGUISTICS; SOFTWARE PROTOTYPING; UNIFIED MODELING LANGUAGE;

AUTOMATIC CODE GENERATIONS; CONCEPTUAL MODELING; CONCEPTUAL MODELING LANGUAGES; CONCEPTUAL SCHEMAS; INTEGRITY CONSTRAINTS; NEW APPROACHES; PROTOTYPE TOOLS; REAL-LIFE APPLICATIONS; UML PROFILE;

SPECIFICATION LANGUAGES;

EID: 45849116224     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-007-0078-4     Document Type: Conference Paper

References (21)

1. Ackermann, J., Turowski, K.: A library of OCL specification patterns for behavioral specification of software components. In: Proceedings of CAiSE '06, LNCS 4001, pp 255-269 (2006)
2. Ahrendt W., Baar T., Beckert B., Bubel R., Giese M., Hähnle R., Menzel W., Mostowski W., Roth A., Schlager S. and Schmitt P.H. (2005). The KeY tool. Softw. Syst. Modell. 4(1): 32-54
3. 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, http://www.lsi.upc.edu/ dept/techreps (2006)
4. Costal, D., Gómez, C., Queralt, A., Raventós, R., Teniente, E.: Facilitating the definition of general constraints in UML. In: Proceedings of MoDELS/UML '06, LNCS 4199, pp 260-274 (2006)
5. Frías, L., Queralt, A., Olivé, A.: EU-Rent car rentals specification. Technical Report LSI-03-59-R, http://www.lsi.upc.edu/dept/ techreps (2003)
6. Halpin, T.: Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design. Morgan Kaufmann, San Francisco (2001)
7. ISO/TC97/SC5/WG3, van Griethuysen, J.J. (eds.): Concepts and Terminology for the Conceptual Schema and the Information Base (1982)
8. Lenzerini M. and Nobili P. (1990). On the satisfiability of dependency constraints in entity-relationship schemata. Inf. Syst. 15(4): 453-461
9. McAllister, A.J.: Complete rules for n-ary relationship cardinality constraints. Data Knowledge Eng. 27, 255-288
10. Mellor S.J. and Balcer M.J. (2002). Executable UML: A Foundation for Model-Driven Architecture. Object Technology Ed. Addison-Wesley, Reading
11. Miliauskait, E., Nemurait, L.: Representation of integrity constraints in conceptual models. Inf. Technol. Control 34(4), (2005)
12. Olivé, A.: Integrity constraints definition in object-oriented conceptual modeling languages. In: Proceedings of ER '03, LNCS 2813, pp 349-362 (2003)
13. OMG: MDA Guide Version 1.0.1, omg/2003-06-01 (2003)
14. OMG: UML2.0 OCL Specification, OMG Adopted Specification (2005)
15. OMG: Unified Modeling Language: Superstructure v.2.1 (2006)
16. Queralt, A., Teniente, E.: A platform independent model for the electronic marketplace domain. Softw. Syst. Model. (to appear, doi: 10.1007/s10270-007-0047-y (2007))
17. Rumbaugh J., Jacobson I. and Booch G. (2005). The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading
18. Stein, D., Hanenberg, S., Unland, R.: Query Models. In Proceedings of MoDELS/UML '04, LNCS 3273, pp 98-112 (2004)
19. Warmer J. and Kleppe A. (2003). The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Professional, Reading
20. Wahler, M., Koehler, J., Brucker, A.D.: Model-Driven Constraint Engineering. MoDELS '06 Workshop on OCL for (Meta)-Models in Multiple Application Domains, OCLApps, Technical Report of the Technische Universität Dresden, TUD-FI06-04-September 2006, pp 111-125 (2006)
21. http://guifre.lsi.upc.edu/PredefinedConstraints.html