ペトリネットによるワークフローのリファクタリングとシステム開発における活用の可能性

抄録

システム開発において対象のワークフローの正しさを保つことは，古くからの普遍的課題である．ペトリネットのサブクラスであるワークフローネットは，ワークフローのモデル化に適しており，その中でも構造がシンプルなものに対しては，各種の正しさを検証する解析技法が開発されている．本稿では，ワークフローネットの振舞いを保ったままシンプルな構造へ変換し，解析技法の適用を促すリファクタリング技術について解説する．また応用例やシステム開発との連携についても示す．