アクションを共有するワークフローネットに対する振る舞い継承と健全性を満たす合成規則

摘要

This paper deals with composition of workflow nets (WF-nets for short) which share actions. We first propose a rule to compose WF-nets. Next we show that the rule preserves soundness and behavioral inheritance. Then we illustrate that the rule is useful to integrate actual workflows.%企業の合併や企業内の事業再編はワークフローの統合をともなう．本稿ではワークフローを統合するためのワークフロー（WF）ネットの合成について議論する．合成後のWFネットは合成前のWFネットの振る舞いを継承すべきであり，さらに健全でなければならない．複数のWFネットには同一のアクションが含まれることがあり，それらは統合の際に一つにまとめられるべきである．まずWFネットの合成規則を提案し，その合成によって得られるWFネットは健全性と振る舞い継承を維持することを示す．さらに，その合成が実用的なワークフローの統合に適用できることを示す．