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.
CITATION STYLE
Phuklang, S., Yokogawa, T., Leelaprute, P., & Arimoto, K. (2017). Tool support for consistency verification of UML diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10611 LNCS, pp. 606–609). Springer Verlag. https://doi.org/10.1007/978-3-319-69926-4_51
Mendeley helps you to discover research relevant for your work.