T-T ブリッジ除去によるUML コミュニケーション図からUML 状態機械図への変換手法について

摘要

情報システムを開発する際サービスと呼ばれるシステムの部品単位を組み合わせ，要求仕様を実現する方法論をサービス指向アーキテクチャ（SOA）と呼ぶ．本論文ではSOA に基づくシステム開発をサポートするための枠組みとしてコミュニケーション図からステートマシン図への変換アルゴリズムを提案する．その際に中間生成物であるベトリネットのT-Tブリッジ除去に注目する．%Service Oriented Architecture(SOA) is an architecture style to build up a information system composing a set of system components, each of which is called a service. In this paper, we propos a method to transform UML communication diagrams into UML state machine diagrams as a framework to develop systems based on SOA. The proposed method uses Petri nets as intermediate models, and generates a UML state machine diagram directly from a Petri net by deleting T-T bridges.