SOAに基づくシステムの設計検証のためのUMLサブセット

摘要

短期間で情報システムを構築可能なアーキテクチャとしてSOAが注目されている．SOAに基づくシステム開発の効率化のためには設計から検証までシームレスに利用可能な数理的な表現法が必要である．そこで本論文ではコミュニケーション図と状態機械を含むUMLのサブセットを提案する．これにより，同期·非同期通信が混在するコレオグラフィや，サービスの振る舞いモデルを統一的に記述することができるようになる．