About the journal

• Home page
• Contact information
• Aims and scope
• Indexing information
• Editorial policies
• ComSIS consortium
• Journal boards
• Managing board

For authors

• Information for contributors
• Paper submission
• Article submission through OJS
• Copyright transfer form
• Download section

For readers

• Forthcoming articles
• Current issue
• Archive

For reviewers

• View and review submissions

News

• Journal's Facebook page
• Calls for special issues
• New issue notification

DOI:10.2298/CSIS110111015S

Formalizing Business Process Specifications

Andreas Speck¹, Sven Feja¹, Sören Witt¹, Elke Pulvermüller² and Marcel Schulz³

1. Christian-Albrechts-University Kiel
   Olshausenstrasse 40, 24098 Kiel, Germany
   {aspe,svfe,swi}@informatik.uni-kiel.de
2. University of Osnabrueck
   Albrechtstr. 28, 49076 Osnabrueck, Germany
   elke.pulvermueller@informatik.uni-osnabrueck.de
3. Intershop Communications AG
   Intershop Tower, 07740 Jena, Germany
   marcel.schulz@intershop.com

Abstract

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.

Key words

Formal business process rules, temporal logic, model checking, Extended Graphical-CTL.

Digital Object Identifier (DOI)

https://doi.org/10.2298/CSIS110111015S

Publication information

Volume 8, Issue 2 (May 2011)
Advances in Formal Languages, Modeling and Applications
Year of Publication: 2011
ISSN: 2406-1018 (Online)
Publisher: ComSIS Consortium

Full text

Available in PDF
Portable Document Format

How to cite

Speck, A., Feja, S., Witt, S., Pulvermüller, E., Schulz, M.: Formalizing Business Process Specifications. Computer Science and Information Systems, Vol. 8, No. 2, 427-446. (2011), https://doi.org/10.2298/CSIS110111015S