Synthesis and Refinement Check of Sequence Diagrams

スポンサーリンク

概要

• 論文の詳細を見る

• During a software development phase where a product is progressively elaborated, it is difficult to guarantee that the refined product retains its original behaviors. In this paper, we propose a method to detect refinement errors in UML sequence diagrams using LTSA (Labeled Transition System Analyzer). The method integrates multiple sequence diagrams using hMSC (high-level Message Sequence Charts) into a sequence diagram. Then, the method translates the diagram into FSP representation, which is the input language of LTSA. The method also supports some combined fragment operators in the UML 2.0 specification. We applied the method to some examples of refined sequence diagrams and checked the correctness of refinement. As a result, we confirmed the method can detect refinement errors in practical time.

著者

• SATO Yoichiro

  Okayama Prefectural University

• MIYAZAKI Hisashi

  Kawasaki University of Medical Welfare

• YOKOGAWA Tomoyuki

  Okayama Prefectural University

• AMASAKI Sousuke

  Okayama Prefectural University

• ASADA Kazuma

  Okayama Prefectural University

関連論文

• Synthesis and Refinement Check of Sequence Diagrams

スポンサーリンク