Tool Support for Consistency Verification of UML Diagrams

  • Salilthip Phuklang
  • Tomoyuki Yokogawa
  • Pattara Leelaprute
  • Kazutami Arimoto
Conference paper
First Online:
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10611)

Abstract

Manual verification of the consistency between UML state machine diagrams and sequence diagrams is labor-intensive and prone to make mistakes. We provide an automatic tool written in Java that performs the verification by translating UML diagrams into a process description of CSP\(_M\) language. The tool takes in a PlantUML file and verifies the consistency with a model-checker FDR.

Keywords

Formal verification UML CSP FDR 
This is a preview of subscription content, log in to check access.

References

  1. 1.
    Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37, 188–204 (2011)CrossRefGoogle Scholar
  2. 2.
    Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.L.: Consistency problems in UML-based software development. In: Jardim Nunes, N., Selic, B., da Silva, A.R., Rodrigues, A., Toval Alvarez, A. (eds.) UML 2004. LNCS, vol. 3297, pp. 1–12. Springer, Heidelberg (2005). doi: 10.1007/978-3-540-31797-5_1 CrossRefGoogle Scholar
  3. 3.
    Lucas, F.J., Molina, F., Toval, A.: A systematic review of UML model consistency management. Inf. Softw. Technol. 51(12), 1631–1645 (2009). http://dx.doi.org/10.1016/j.infsof.2009.04.009 CrossRefGoogle Scholar
  4. 4.
    Miyazaki, H., Yokogawa, T., Amasaki, S., Asada, K., Sato, Y.: Synthesis and refinement check of sequence diagrams. IEICE Trans. Inf. Syst. E E95–D(9), 2193–2201 (2012)CrossRefGoogle Scholar
  5. 5.
    Petre, M.: UML in practice. In: Proceedings on International Conference on Software Engineering (ICSE 2013), pp. 722–731 (2013)Google Scholar
  6. 6.
    Torre, D., Labiche, Y., Genero, M.: UML consistency rules: a systematic mapping study. In: Proceedings of the 18th on International Conference on Evaluation and Assessment in Software Engineering (EASE 2014), pp. 1–10 (2014)Google Scholar
  7. 7.
    Yokogawa, T., Amasaki, S., Okazaki, K., Sato, Y., Arimoto, K., Miyazaki, H.: Consistency verification of UML diagrams based on process bisimulation (fast abstract). In: Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013), pp. 126–127 (2013)Google Scholar
  8. 8.
    Zhao, Xiangpeng, Long, Quan, Qiu, Zongyan: Model checking dynamic UML consistency. In: Liu, Zhiming, He, Jifeng (eds.) ICFEM 2006. LNCS, vol. 4260, pp. 440–459. Springer, Heidelberg (2006). doi: 10.1007/11901433_24 CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Salilthip Phuklang
    • 1
  • Tomoyuki Yokogawa
    • 2
  • Pattara Leelaprute
    • 1
  • Kazutami Arimoto
    • 2
  1. 1.Kasetsart UniversityBangkokThailand
  2. 2.Okayama Prefectural UniversitySojaJapan

Personalised recommendations