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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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
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)
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
Halpin, T.: Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design. Morgan Kaufmann, San Francisco (2001)
ISO/TC97/SC5/WG3. van Griethuysen, J.J. (ed.): Concepts and Terminology for the Conceptual Schema and the Information Base (1982)
Lenzerini, M., Nobili, P.: On the Satisfiability of Dependency Constraints in Entity-Relationship Schemata. Information Systems 15(4), 453–461 (1990)
Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model-Driven Architecture, Object Technology edn. Addison-Wesley, Reading (2002)
Miliauskaitė, E., Nemuraitė, L.: Representation of Integrity Constraints in Conceptual Models. Information Technology and Control 34(4) (2005)
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)
OMG: MDA Guide Version 1.0.1, omg/2003-06-01 (2003)
OMG: UML2.0 OCL Specification, OMG Adopted Specification (2005)
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
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2005)
Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Professional, Reading (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Costal, D., Gómez, C., Queralt, A., Raventós, R., Teniente, E. (2006). Facilitating the Definition of General Constraints in UML. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds) Model Driven Engineering Languages and Systems. MODELS 2006. Lecture Notes in Computer Science, vol 4199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11880240_19
Download citation
DOI: https://doi.org/10.1007/11880240_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45772-5
Online ISBN: 978-3-540-45773-2
eBook Packages: Computer ScienceComputer Science (R0)