loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Author: Joseph Barjis

Affiliation: Georgia Southern University, United States

ISBN: 978-972-8865-90-0

Keyword(s): Model checking, business process simulation, modeling method, Petri net application.

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 ; Methodologies, Processes and Platforms ; Model-Driven Software Development ; Modeling Formalisms, Languages and Notations ; Requirements Analysis And Management ; Software Engineering ; Symbolic Systems ; Systems Engineering

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 b usiness process modeling, and developing a framework (guidelines) applying the proposed method. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.171.45.91

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

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

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

TY - CONF

JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: 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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.