Consistency verification of UML diagrams based on process bisimulation

被引：1

作者：

Yokogawa, Tomoyuki ^{[1
]}

Amasaki, Sousuke ^{[1
]}

Okazaki, Keisuke ^{[1
]}

Sato, Yoichiro ^{[1
]}

Arimoto, Kazutami ^{[1
]}

Miyazaki, Hisashi ^{[2
]}

机构：

[1] Okayama Prefectural Univ, Soja, Okayama, Japan

[2] Kawasaki Univ Med Welf, Kurashiki, Okayama, Japan

来源：

2013 IEEE 19TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2013) | 2013年

关键词：

D O I：

10.1109/PRDC.2013.25

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：126 / 127

页数：2

共 5 条

[1]

Bernardi S., 2002, PROC 3 INT WORKSHOP, P35

[2] Automatically Detecting and Tracking Inconsistencies in Software Design Models [J].

Egyed, Alexander .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2011, 37 (02) :188-203

[3]

Magee J., 1999, CONCURRENCY STATE MO

[4]

Milner R, 1982, CALCULUS COMMUNICATI

[5] Synthesis and Refinement Check of Sequence Diagrams [J].

Miyazaki, Hisashi ;

Yokogawa, Tomoyuki ;

Amasaki, Sousuke ;

Asada, Kazuma ;

Sato, Yoichiro .

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (09) :2193-2201

← 1 →