Paper Info
Title
Developing Executable Models of Business Systems
Abstract
Traditionally, business processes models are based on graphical artifacts that do not lend to model checking or simulation, e.g., any Flow Chart like representation or UML diagrams. To check whether business process models are syntactically correct, the models are either translated to other diagrams with formal semantics or the validation is carried out manually. This approach poses two issues: first, models not lending to execution (simulation) will hardly allow thorough insight into the dynamic behavior of the system under consideration; second, when manual checking for small models may not be too difficult, it is almost impossible for complex models. In this paper we investigate two research questions that resulted in a method allowing to build executable business process models based on formal semantics of Petri net. The proposed method is theoretically based on the Transaction Concept. The two questions further studied in this paper concern graphical extension of Petri nets for business process modeling, and developing a framework (guidelines) applying the proposed method.
Year
Venue
Keywords
2007
ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION
model checking,business process simulation,modeling method,Petri net application
Field
DocType
Citations 
Artifact-centric business process model,Business system planning,Programming language,Software engineering,Computer science,Knowledge management,Executable
Conference
10
PageRank 
References 
Authors
0.90
1
1
Name
Order
Citations
PageRank
Joseph Barjis134849.19