Abstract | ||
---|---|---|
Traditionally, business processes models are constructed using graphical notations that do not lend to model checking or simulation, e.g., Flow Chart models 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 automatic analysis will hardly allow thorough insight into the dynamic behavior of the system under consideration; second, when manual checking for small models may seem trivial, it is almost impossible for complex models. In this paper we investigate two research questions that resulted in a method that allows building business process models based on formal semantics of Petri net, but using a non-conventional framework. The proposed method is theoretically based on the DEMO Transaction Concept. The questions studied in this paper concern graphical extension of Petri nets for business process modeling, and developing a framework (guidelines) applying the proposed method. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-88710-2_20 | Lecture Notes in Business Information Processing |
Keywords | Field | DocType |
Model checking,business process simulation,modeling method,Petri net application,DEMO | Artifact-centric business process model,Data mining,Petri net,Programming language,Model checking,Business process,Computer science,Process modeling,Function model,Business process modeling,Business Process Model and Notation,Database | Conference |
Volume | ISSN | Citations |
12 | 1865-1348 | 4 |
PageRank | References | Authors |
0.48 | 10 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joseph Barjis | 1 | 348 | 49.19 |