Abstract
UML is an industrial standard for designing and developing object-oriented software. It provides a number of notations for modeling different system views, but it still does not have any means of meticulously checking consistency among the models. These models can contain overlapping information which may lead to inconsistencies. If these inconsistencies are not detected and resolved properly at an early stage, they may result in many errors in implementation phase. In this paper, we propose a novel approach for consistency checking of class and sequence diagrams based on Prolog language. In the proposed approach, consistency checking rules as well as UML models are represented in Prolog, then Prolog’s reasoning engine is used to automatically find inconsistencies.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Object Management Group. Unified Modeling Language specification version 2.1.2. formal/2007-11-01 (November 2007)
Simmonds, J., Van Der Straeten, R., Jonckers, V., Mens, T.: Maintaining consistency between UML models using description logic. In: Proceedings Langages et Modèles à Objets 2004, RSTI série L’Objet, vol. 10(2-3), pp. 231–244. Hermes Science Publications (2004)
Clocksin, W.F., Mellish, C.S.: Programming in Prolog, 2nd edn. Springer, Heidelberg (1984)
Krishnan, P.: Consistency Checks for UML. In: The Proc. of the Asia Pacific Software engineering Conference (APSEC 2000), pp. 162–169 (December 2000)
Muskens, J., Brill, R.J.: Generalizing Consistency Checking between Software Views. In: Proceedings of 5th Working IEEE/IFIP Conference on Software Architecture (WICSA 2005), pp. 169–180 (2005)
Egyed, A.: Scalable consistency checking between diagrams -The VIEWINTEGRA Approach. In: Proceedings of the 16th International Conference on Automated Software Engineering, San Diego, USA (November 2001)
Ehrig, H., Tsiolakis, A.: Consistency analysis of UML class and sequence diagrams using Attributed Typed Graph Grammars. In: Proceedings of joint APPLIGRAPH/ GETGRATS workshop on Graph Transformation systems, Berlin (March 2000)
Briand, L.C., Labiche, Y., O’Sullivan, L., Sowka, M.M.: Automated Impact Analysis of UML Models. Journal of Systems and Software 79(3), 339–352 (2006)
Paige, R.F., Ostroff, J.S., Brooke, P.J.: A Test-Based Agile Approach to Checking the Consistency of Class and Collaboration Diagrams, UK Software Testing Workshop, University of York, September 4-5 (2003)
Paige, R.F., Ostroff, J.S., Brooke, P.J.: Checking the Consistency of Collaboration and class Diagrams using PVS. In: Proc. Fourth Workshop on Rigorous Object-Oriented Methods. British Computer Society, London (March 2002)
Straeten, R.V.D., Mens, T., Simmonds, J.: Maintaining Consistency between UML Models with Description Logic Tools. In: ECOOP Workshop on Object-Oriented Reengineering, Darmstadt, Germany (July 2003)
Mens, T., Straeten, R.V.D., Simmonds, J.: A Framework for Managing Consistency of Evolving UML Models. In: Yang, H. (ed.) Software Evolution with UML and XML, ch.1. Idea Group Inc. (March 2005)
Usman, M., Nadeem, A., Tai-hoon, K., Cho, E.-S.: A Survey of Consistency Checking Techniques for UML Models. Advanced Software Engineering and Its Applications, pp. 57–62. ASEA, Hainan Island (2008)
Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)
MacGregor, R.M.: Inside the LOOM description classifier. ACM SIGART Bulletin 2(3), 88–92 (1991)
Störrle, H.: A PROLOG-based Approach to Representing and Querying UML Models. In: Cox, P., Fish, A., Howse, J. (eds.) Intl. Ws. Visual Languages and Logic (VLL 2007). CEUR-WS, vol. 274, pp. 71–84. CEUR (2007)
Straeten, R.V.D.: Inconsistency management in model-driven engineering using description logics. PhD thesis, Department of Computer Science, Vrije Universiteit Brussel, Belgium (September 2005)
Briand, L.C., Labiche, Y., O’Sullivan, L.: Impact Analysis and Change Management of UML Models. In: Proceedings of the 19th International Conference Software Maintenance (ICSM 2003), pp. 256–265. IEEE Computer Society Press, Amsterdam (2003)
Ouardani, A., Esteban, P., Paludetto, M., Pascal, J.: A Meta-modeling Approach for Sequence Diagrams to Petri Nets Transformation within the requirement validation process. In: The 20th annual European Simulation and Modeling Conference, ESM 2006 conference, LAAS, Toulouse, France (2006)
Baruzzo, A.: A Unified Framework for Automated UML Model Analysis. PhD thesis, Department of Mathematics and Computer Science, University of Udine, Italy (July 2006)
Object Management Group (OMG), MDA Guide, Version 1.0.1 (2003), http://www.omg.org/docs/omg/03-06-01.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khai, Z., Nadeem, A., Lee, Gs. (2011). A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams. In: Kim, Th., et al. Software Engineering, Business Continuity, and Education. ASEA 2011. Communications in Computer and Information Science, vol 257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27207-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-27207-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27206-6
Online ISBN: 978-3-642-27207-3
eBook Packages: Computer ScienceComputer Science (R0)