Abstract
Multiplicity constraints in a UML composite class diagram may be inconsistent. An algorithm is given for eliminating all such inconsistencies. Using this algorithm an algorithm is constructed which for two given composite class diagrams solves the equivalence problem. These algorithms can be embedded in CASE tools for automated detection of multiplicity inconsistencies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorsen. Object-oriented modeling and design. Englewood Cliffs, NJ: Prentice Hall 1991.
A.S. Evans, R.B. France, K.C. Lano, B. Rumpe. The UML as a Formal Modelling Notation. UML’98. LNCS, Vol. 1618, Springer, 1999
K. Lano, J. Bicarregui. Semantics and Transformations for UML Models. UML’98. LNCS, Vol. 1618, Springer, 1999
A.S. Evans. Reasoning with UML class diagrams. WIFT’98. IEEE CS Press, 1998
K.C. Lano, A.S. Evans. Rigorous Development in UML. FASE’99, ETAPS’99. LNCS, Vol. 1577, Springer, 1999
Object Management Group. OMG Unified Modeling Language Specification, version 1.3. http://www.rational.org/uml. June 1999.
J. Rumbaugh, G. Booch, I. Jacobson. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Linde, Ģ. (2001). Equivalence Problem of Composite Class Diagrams. In: Freivalds, R. (eds) Fundamentals of Computation Theory. FCT 2001. Lecture Notes in Computer Science, vol 2138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44669-9_26
Download citation
DOI: https://doi.org/10.1007/3-540-44669-9_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42487-1
Online ISBN: 978-3-540-44669-9
eBook Packages: Springer Book Archive