Authors:
Wang Zhaoxia
;
Wang Jianmin
;
Wen Lijie
and
Liu Yingbo
Affiliation:
Tsinghua University, China
Keyword(s):
Process model, Business object, Object life cycle, Workflow Coloured Petri Net, Operation net.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Business Process Management
;
e-Business
;
Enterprise Engineering
;
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Knowledge Management and Information Sharing
;
Knowledge-Based Systems
;
Modeling Concepts and Information Integration Tools
;
Modeling Formalisms, Languages and Notations
;
Symbolic Systems
Abstract:
Process model defines the business object operation orders. It is necessary to validate that the business object operation sequences are consistent with the reference business object life cycle. In this paper we propose an approach for deriving the canonical business object operation nets from process models which are modelled with workflow coloured Petri net, i.e. WFCP-net. Our approach consists of 3 steps. First, the tasks, which access a certain business object, are modelled with task operation nets. Second, the WFCP-net is rewritten with these task operation nets. Third, the business object operation net is reduced to the canonical one.