DEVELOPING EXECUTABLE MODELS OF BUSINESS SYSTEMS

Joseph Barjis

2007

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.

Download


Paper Citation


in Harvard Style

Barjis J. (2007). DEVELOPING EXECUTABLE MODELS OF BUSINESS SYSTEMS . In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-90-0, pages 5-13. DOI: 10.5220/0002369200050013

in Bibtex Style

@conference{iceis07,
author={Joseph Barjis},
title={DEVELOPING EXECUTABLE MODELS OF BUSINESS SYSTEMS},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2007},
pages={5-13},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002369200050013},
isbn={978-972-8865-90-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - DEVELOPING EXECUTABLE MODELS OF BUSINESS SYSTEMS
SN - 978-972-8865-90-0
AU - Barjis J.
PY - 2007
SP - 5
EP - 13
DO - 10.5220/0002369200050013