Abstract
A software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve consistency between these diagrams. Moreover, through evolution those diagrams get modified leading to possible inconsistency between different versions of the diagrams. State-of-the-art UML CASE tools provide poor support for consistency maintenance. To solve this problem, an extension of the UML metamodel enabling support for consistency maintenance and a classification of inconsistency problems is proposed. To achieve the detection and resolution of consistency conflicts, the use of description logic (DL) is presented. DL has the important property of being a decidable fragment of first-order predicate logic. By means of a number of concrete experiments in Loom, we show the feasibility of using this formalism for the purpose of maintaining consistency between (evolving) UML models.
This is a preview of subscription content, log in via an institution to check access.
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
Alemán, J., Toval, A., Hoyos, J.: Rigorously transforming UML class diagrams. In: Proc. 5th Workshop Models, Environments and Tools for Requirements Engineering (MENHIR), Universidad de Granada, Spain (2000)
Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Bëzivin, J., Ploquin, N.: Tooling the MDA framework: a new software maintenance and evolution scheme proposal. Journal of Object-Oriented Programming, JOOP (2001)
Bodeveix, J.-P., Millan, T., Percebois, C., Camus, C.L., Bazes, P., Ferraud, L.: Extending OCL for verifying UML model consistency. In: Kuzniarz, L., Reggio, G., Sourrouille, J., Huzar, Z. (eds.) Consistency Problems in UML-based Software Development, Workshop UML 2002, Technical Report (2002)
Calí, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Reasoning on UML class diagrams in description logics. In: Proc. of IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development, PMD 2001 (2001)
Ehrig, H., Tsiolakis, A.: Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In: Ehrig, H., Taentzer, G. (eds.) ETAPS 2000 workshop on graph transformation systems, March 2000, pp. 77–86 (2000)
Engels, G., Hausmann, J., Heckel, R., Sauer, S.: Testing the consistency of dynamic UML diagrams. In: Proc. Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA, USA (June 2002)
Engels, G., Heckel, R., Küster, J.M.: Rule-based specification of behavioral consistency based on the UML meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 272–286. Springer, Heidelberg (2001)
Engels, G., Heckel, R., Küster, J.M., Groenewegen, L.: Consistency-preserving model evolution through transformations. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 212–227. Springer, Heidelberg (2002)
Finkelstein, A., Gabbay, D.M., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multi-perspective specifications. In: European Software Engineering Conference. LNCS, pp. 84–99. Springer, Heidelberg (1993)
Fowler, M.: Refactoring: Improving the Design of Existing Programs. Addison-Wesley, Reading (1999)
Fradet, P., Le Métayer, D., Périn, M.: Consistency checking for multiple view software architectures. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol. 1687, pp. 410–428. Springer, Heidelberg (1999)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Languages and Systems. Addison-Wesley, Reading (1994)
Gorp, P.V., Stenten, H., Mens, T., Demeyer, S.: A UML extension for automating source-consistent design improvements based on refactoring contracts. In: Proc. 6th International Conference on the Unified Modeling Language (2003)
Grundy, J.C., Hosking, J.G., Mugridge, W.B.: Inconsistency management for multiple-view software development environments. IEEE Transactions on Software Engineering 24(11), 960–981 (1998)
MacGregor, R.: Inside the loom description classifier. SIGART Bull. 2(3), 88–92 (1991)
Object Management Group. Unified Modeling Language specification version 1.5. formal/2003-03-01 (March 2003)
Simmonds, J.: Consistency maintenance of UML models with description logics. Master’s thesis, Department of Computer Science, Vrije Universiteit Brussel, Belgium and Ecole des Mines de Nantes, France (September 2003)
Toval, A., Alemán, J.: Formally modeling UML and its evolution: a holistic approach. In: Smith, S., Talcott, C. (eds.) Formal Methods for Open Objectbased Distributed Systems IV, pp. 183–206. Kluwer Academic Publishers, Dordrecht (2000)
Tsiolakis, A.: Semantic analysis and consistency checking of UML sequence diagrams. Master’s thesis, Technische Universität Berlin, Technical Report No. 2001-06 (April 2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V. (2003). Using Description Logic to Maintain Consistency between UML Models. In: Stevens, P., Whittle, J., Booch, G. (eds) «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications. UML 2003. Lecture Notes in Computer Science, vol 2863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45221-8_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-45221-8_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20243-1
Online ISBN: 978-3-540-45221-8
eBook Packages: Springer Book Archive