Presentation	2010-01-22 Proposal of a Business Process Verification Method using Orders of Tasks Daijiro MURATA, Ryota MIBE, Yoshinao ISOBE,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	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.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)	Business Process / Partial Order / BPMN / Synthesis
Paper #	CST2009-49
Date of Issue

Conference Information
Committee	CST
Conference Date	2010/1/14(1days)
Place (in Japanese)	(See Japanese page)
Place (in English)
Topics (in Japanese)	(See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To	Concurrent System Technology (CST)
Language	JPN
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	Proposal of a Business Process Verification Method using Orders of Tasks
Sub Title (in English)
Keyword(1)	Business Process
Keyword(2)	Partial Order
Keyword(3)	BPMN
Keyword(4)	Synthesis
1st Author's Name	Daijiro MURATA
1st Author's Affiliation	Systems Development Laboratory, Hitachi, Ltd.()
2nd Author's Name	Ryota MIBE
2nd Author's Affiliation	Systems Development Laboratory, Hitachi, Ltd.
3rd Author's Name	Yoshinao ISOBE
3rd Author's Affiliation	National Institute of Advanced Industrial Science and Technology
Date	2010-01-22
Paper #	CST2009-49
Volume (vol)	vol.109
Number (no)	367
Page	pp.pp.-
#Pages	6
Date of Issue