講演名 2010-01-22
タスクの順序に基づくビジネスプロセスの検証方法の提案(一般)
村田 大二郎, 三部 良太, 磯部 祥尚,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 情報システムの上流設計情報の検証を目的として,複数の部分的なビジネスプロセス図を順序制約へ変換し,それらの無矛盾性や詳細化関係を検証して,一つのビジネスプロセスに合成する方法を提案する.本方法によって,パッケージ利用や設計流用の場合のように,既存の設計に新たな条件が追加され続ける場合にも,過去の要件を満たしつつ,より具体的なビジネスプロセス図を段階的に合成することを目指す.
抄録(英) To verify upstream design information of an information system, we propose a method transforming partial business process diagrams to partial orders, verifying consistency and refinement relation of them, and synthesizing a business process. Using this method, we aim to synthesize gradually more concrete business process diagrams meeting existing requirements, in the case of adding conditions to existing designs, such as using package software or reusing designs.
キーワード(和) ビジネスプロセス / 部分順序 / BPMN / 合成
キーワード(英) Business Process / Partial Order / BPMN / Synthesis
資料番号 CST2009-49
発行日

研究会情報
研究会 CST
開催期間 2010/1/14(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Concurrent System Technology (CST)
本文の言語 JPN
タイトル(和) タスクの順序に基づくビジネスプロセスの検証方法の提案(一般)
サブタイトル(和)
タイトル(英) Proposal of a Business Process Verification Method using Orders of Tasks
サブタイトル(和)
キーワード(1)(和/英) ビジネスプロセス / Business Process
キーワード(2)(和/英) 部分順序 / Partial Order
キーワード(3)(和/英) BPMN / BPMN
キーワード(4)(和/英) 合成 / Synthesis
第 1 著者 氏名(和/英) 村田 大二郎 / Daijiro MURATA
第 1 著者 所属(和/英) 株式会社日立製作所システム開発研究所
Systems Development Laboratory, Hitachi, Ltd.
第 2 著者 氏名(和/英) 三部 良太 / Ryota MIBE
第 2 著者 所属(和/英) 株式会社日立製作所システム開発研究所
Systems Development Laboratory, Hitachi, Ltd.
第 3 著者 氏名(和/英) 磯部 祥尚 / Yoshinao ISOBE
第 3 著者 所属(和/英) 産業技術総合研究所
National Institute of Advanced Industrial Science and Technology
発表年月日 2010-01-22
資料番号 CST2009-49
巻番号(vol) vol.109
号番号(no) 367
ページ範囲 pp.-
ページ数 6
発行日