ワークフローネットの合成規則の結合性とその応用について(一般,コンカレントシステム及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
ワークフローネット(以下WFネットと略す)を合成するための規則として,「プレースの詳細化」と「WFネットの選択合成」,「WFネットの並列合成」が提案されている.一般に合成が複数回行われる場合,合成順序を入れ替えると,異なる振舞いのWFネットが得られる.合成順序に関わらず同じ振舞いのWFネットを得るような規則を結合的と呼ぶ.本稿では,「プレースの詳細化」と「WFネットの選択合成」,それらの組み合わせが結合的であること,「WFネットの並列合成」は結合的でないことを示す.さらに合成規則の結合性の応用例として,WFネットベースのソフトウェアプロダクトライン開発における合成支援機能を紹介する.
- 2011-01-13
著者
関連論文
- 自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて
- 自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて
- A-12-1 Well-Structuredワークフローネットへのリファクタリングの提案(A-12.コンカレント工学,一般セッション)
- アクションを共有するワークフローネットに対する振る舞い継承と健全性を満たす合成規則(ペトリネット,離散事象システム,一般)
- ワークフローネットの健全性判定に対するモデル検査法について
- トークン分布に依存した停止性のSWITCH-lessネットに対する判定について(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- A-12-2 Acyclic well-structuredワークフローネットに対する直列化可能性判定法の提案(A-12.コンカレント工学,一般セッション)
- A-12-3 ワークフローネットにおける関心事とその強調法について(A-12.コンカレント工学,一般セッション)