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

摘要

情報システムを開発する際サービスと呼ばれるシステムの部品単位を組み合わせ，要求仕様を実現する方法論をサービス指向アーキテクチャ（SOA）と呼ぶ．本論文ではSOAに基づくシステム開発をサポートするための枠組みとしてコミュニケーション図からステートマシン図への変換アルゴリズムを提案する．その際に中間生成物であるペトリネットのT-Tブリッジ除去に注目する．