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

豊嶋 伊知郎; 山口 真悟

doi:10.1587/essfr.9.4_340

MSS研究会提案

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

豊嶋伊知郎, 山口真悟

著者情報

キーワード: ワークフロー, ワークフローネット, リファクタリング, システム開発, ペトリネット

ジャーナルフリー

2016 年 9 巻 4 号 p. 340-349

DOI https://doi.org/10.1587/essfr.9.4_340

詳細

抄録

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

責任著者(Corresponding author)

J-STAGEへの登録はこちら（無料）