Skip to main content
SpringerLink
Log in

Rule Based Approach for Ensuring Consistency in Different UML Models

  • Conference paper
Information Systems: Development, Learning, Security (SIGSAND/PLAIS 2013)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 161))

Included in the following conference series:

  • 611 Accesses

Abstract

Unified Modeling Language (UML) presents us a collection of diagrams to model different aspects of a system, like behavior, structure, functionality, etc. Refinement of models and the evolving nature of software, may lead to inconsistencies between different diagrams of the same model. Inconsistencies in the IS model specification might result in the development of an incoherent and conflicting system. Current tools lack of support for maintaining the consistency between diagrams. This paper shows that the proposed methods are insufficient for consistency checking in UML models. Therefore, authors of this paper propose a rule based method for consistency checking in UML models. The proposed method is implemented as a software prototype for MagicDraw UML tool.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ibrahim, N., Ibrahim, R., Saringat, M., Mansor, R., Herawan, T.: Use case driven based rules in ensuring consistency of UML model. AWERProcedia Information Technology and Computer Science 1, 1485–1491 (2012)

    Google Scholar 

  2. Du, J., Jiang, G.H.: Consistency Check Between UML State Chart and Sequence Chart Based on Model Checking. Electronic Science and Technology 25(2), 100–104 (2012)

    Google Scholar 

  3. Shinkawa, Y.: Inter-Model Consistency in UML Based on CPN Formalism. In: Jalote, P., Kumar, R. (eds.) Proc. of the 13th Asia Pacific Software Engineering Conference (APSEC 2006), pp. 414–418. IEEE Computer Society, Washington (2006)

    Google Scholar 

  4. Fryz, L., Kotulski, L.: Assurance of System Consistency During Independent Creation of UML Diagrams. In: Zamojsky, V., Mazurkiewicz, J., Sugier, J., Walkowiak, T. (eds.) Proc. of the 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), pp. 51–58. IEEE Press, Washington (2007)

    Chapter  Google Scholar 

  5. Sapna, P.G., Mohanty, H.: Ensuring Consistency in Relational Repository of UML Models. In: Patra, P., Panda, P.R. (eds.) Proc. of the 10th International Conference on Information Technology (ICIT 2007), pp. 217–222. IEEE Computer Society, Washington (2007)

    Chapter  Google Scholar 

  6. Chanda, J., Kanjilal, A., Sengupta, S., Bhattacharya, S.: Traceability of Requirements and Consistency Verification of UML UseCase, Activity and Class diagram: A Formal Approach. In: Proc. of the International Conference on Methods and Models in Computer Science 2009 (ICM2CS), pp. 1–4. IEEE Press, Washington (2009)

    Chapter  Google Scholar 

  7. Chanda, J., Kanjilal, A., Sengupta, S.: UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams. In: Janowski, T., Mohanty, H. (eds.) ICDCIT 2010. LNCS, vol. 5966, pp. 194–205. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  8. Ha, I., Kang, B.: Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram. In: Fyfe, C., Kim, D., Lee, S.-Y., Yin, H. (eds.) IDEAL 2008. LNCS, vol. 5326, pp. 436–443. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  9. Paige, R.F., Brooke, P.J., Ostroff, J.S.: Metamodel-based model conformance and multiview consistency checking. Transactions on Software Engineering and Methodology 16(3), 11 (2007)

    Article  Google Scholar 

  10. Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446–453. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  11. Shuzhen, Y., Shatz, S.M.: Consistency Checking of UML Dynamic Models Based on Petri Net Techniques. In: Gelbukh, A., Guerra, S.S. (eds.) Proc. of the 15th International Conference on Computing (CIC 2006), pp. 289–297. IEEE Computer Society, Washington (2006)

    Google Scholar 

  12. Wang, Z., He, H., Chen, L., Zhang, Y.: Ontology based semantics checking for UML activity model. Information Technology Journal 11(3), 301–306 (2012)

    Article  Google Scholar 

  13. Wang, S., Jin, L., Jin, C.: Ontology Definition Metamodel based Consistency Checking of UML Models. In: 10th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2006), pp. 1–5. IEEE Computer Society, Washington (2006)

    Chapter  Google Scholar 

  14. Egyed, A.: Fixing inconsistencies in UML design models. In: Proc. of the 29th International Conference on Software Engineering (ICSE 2007), pp. 292–301. IEEE Computer Society, New York (2007)

    Chapter  Google Scholar 

  15. Kotulski, F.L.: Assurance of system consistency during independent creation of UML diagrams. In: Zamojsky, V., Mazurkiewicz, J., Sugier, J., Walkowiak, T. (eds.) Proc. of the International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), pp. 51–58. IEEE Press, Washington (2007)

    Google Scholar 

  16. Ibrahim, N., Ibrahim, R., Saringat, M.Z., Mansor, D., Herawan, T.: Consistency Rules between UML Use Case and Activity Diagrams Using Logical Approach. International Journal of Software Engineering and Its Applications 5(3), 119–134 (2011)

    Google Scholar 

  17. Khai, Z., Nadeem, A., Lee, G.: A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams. In: Kim, T.-H., et al. (eds.) ASEA/DRBC/EL 2011. CCIS, vol. 257, pp. 85–96. Springer, Heidelberg (2011)

    Google Scholar 

  18. Borba, C.F., da Silva, A.E.A.: Knowledge-Based System for the Maintenance Registration and Consistency among UML Diagrams. In: da Rocha Costa, A.C., Vicari, R.M., Tonidandel, F. (eds.) SBIA 2010. LNCS, vol. 6404, pp. 51–61. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  19. Dubauskaite, R., Vasilecas, O.: The approach of ensuring consistency of UML model based on rules. In: Proc. of the 11th International Conference on Computer Systems and Technologies (CompSysTech 2010), vol. 471. ACM Press (2010)

    Google Scholar 

  20. Vitiutinas, R., Silingas, D., Telksnys, L.: Model-driven plug-in development for UML based modelling systems. Information Technology and Control 40(3), 191–201 (2011)

    Article  Google Scholar 

  21. IEEE, IEEE Standard Glossary of Software Engineering Terminology. IEEE Std. 610.12 (1990)

    Google Scholar 

  22. Sommerville, I.: Software Engineering, 8th edn. Edinburgh (2007)

    Google Scholar 

  23. Bennet, S., McRobb, S., Farmer, R.: Object-Oriented Systems Analysis and Design Using UML, 4th edn., London (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Vilnius Gediminas Technical University, Sauletekio al. 11, LT-10223, Vilnius, Lithuania

    Diana Kalibatiene, Olegas Vasilecas & Ruta Dubauskaite

Authors
  1. Diana Kalibatiene
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olegas Vasilecas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ruta Dubauskaite
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Business Informatics, University of Gdansk, ul. Piaskowa 9, 81-864, Sopot, Poland

    Stanisław Wrycza

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kalibatiene, D., Vasilecas, O., Dubauskaite, R. (2013). Rule Based Approach for Ensuring Consistency in Different UML Models. In: Wrycza, S. (eds) Information Systems: Development, Learning, Security. SIGSAND/PLAIS 2013. Lecture Notes in Business Information Processing, vol 161. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40855-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40855-7_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40854-0

  • Online ISBN: 978-3-642-40855-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation