Consistency verification of UML diagrams based on process bisimulation

Tomoyuki Yokogawa
Sousuke Amasaki
Keisuke Okazaki
Yoichiro Sato
Kazutami Arimoto
Hisashi Miyazaki

In the development of a software system using UML, consistency between state machine diagrams and sequence diagrams is crucial. This study proposes a verification method for the consistency of a sequence diagram and state machine diagrams. The proposed method represents state machine diagrams and a sequence diagram as processes, and can verify the consistency by checking weak simulation of the processes. We confirms the method could detect inconsistency with an example. © 2013 IEEE.

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

IEEE Computer Society

126

127

10.1109/PRDC.2013.25

https://doi.org/10.1109/PRDC.2013.25
https://dblp.uni-trier.de/rec/conf/prdc/YokogawaAOSAM13
http://dblp.uni-trier.de/db/conf/prdc/prdc2013.html#conf/prdc/YokogawaAOSAM13