引継型と請負型のインターワークフローへの動的変更の解析

摘要

This paper deals with analysis of dynamic change of workflows to interworkflows. It is known that if the interoperability pattern of an interworkflow is Chained or Nested, the interworkflow meets behavioral inheritance. Behavioral inheritance enables us to simply shift workflow instances to the interworkflow. For dynamic change to Chained and Nested interworkflows, we propose Petri net based model of two change types called SCO (Synthetic Cut-Over) and Migrate. We also give methods to calculate an evaluation measure, called worst change time, for those models.%本稿ではワークフローからインターワークフローへの動的変更の解析を議論する．インターワークフロー の連携型が引継型か請負型ならば，そのインターワークフローはワークフローの振る舞いを継承することが知られて いる．振る舞い継承はワークフローのインスタンスをインターワークフローへ単純に移行することを可能にする．引 継型と請負型のインターワークフローの動的変更に関して，SCO （Synthetic Cut-Over）とMigrate という二種類の 変更型に対するベトリネットベースのモデルを提案する．さらに，それらのモデルに対して動的変更の評価尺度の一 つである最悪変更時間を解析的に求める方法を与える．