Consistency Check Between UML Sequence Diagram and Statechart
Wanfeng Dou · Jisuanji gongcheng · 2008
UML can be used to accomplish the system modeling from different views.There are information redundancy in different views, so that the views may be inconsistent.This paper proposes an approach to analyze sequence diagram which has many different logical semantics.To deal with the hierarchy structure of statechart, finite state automata is used in this paper, and an automata decomposition algorithm is proposed to get an automata tree.A new model consistency criterion of sequence diagram and statechart, as well as a new structure of Promela is proposed.Model consistency is checked between sequence diagram and statechart with the model checker SPIN.