Geodesic
Formalizing Business Process Specifications
Computer Science and Information Systems, Tome 8 (2011) no. 2.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

The behavior of commercial systems is described with business process models. There are different notations and formalism to express business processes. Many of these notations such as BPMN or ARIS EPC models are widely used in commercial projects.In the paper we focus on formalisms to express rules and specifications for the business processes. Temporal logic in general is a suitable formalism to express rules for dynamic processes. CTL is one kind of temporal logic focusing on branches and paths in particular. With CTL it is possible to formulate rules about different paths in business processes. Since the textual formulae of CTL are not very suitable in the development of commercial systems we introduce a graphical notation (G-CTL) based on the business process notation ARIS EPC. Moreover, we add to the CTL semantics specializers to differentiate between the element types in business process models and provide wildcards which allow the user to check for unknown elements or elements with only partially known properties.
Keywords: Formal business process rules, temporal logic, model checking, Extended Graphical-CTL. 
@article{CSIS_2011_8_2_a9,
     author = {Andreas Speck and Sven Feja and S\"oren Witt and Elke Pulverm\"uller and Marcel Schulz},
     title = {Formalizing {Business} {Process} {Specifications}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {8},
     number = {2},
     year = {2011},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a9/}
}
TY  - JOUR
AU  - Andreas Speck
AU  - Sven Feja
AU  - Sören Witt
AU  - Elke Pulvermüller
AU  - Marcel Schulz
TI  - Formalizing Business Process Specifications
JO  - Computer Science and Information Systems
PY  - 2011
VL  - 8
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a9/
ID  - CSIS_2011_8_2_a9
ER  - 
%0 Journal Article
%A Andreas Speck
%A Sven Feja
%A Sören Witt
%A Elke Pulvermüller
%A Marcel Schulz
%T Formalizing Business Process Specifications
%J Computer Science and Information Systems
%D 2011
%V 8
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a9/
%F CSIS_2011_8_2_a9
Andreas Speck; Sven Feja; Sören Witt; Elke Pulvermüller; Marcel Schulz. Formalizing Business Process Specifications. Computer Science and Information Systems, Tome 8 (2011) no. 2. http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a9/