Formalizing business process specifications | Zendy

Andreas Speck | Zendy; Sven Feja | Zendy; Sören Witt | Zendy; Elke Pulvermüller | Zendy; Marcel Schulz | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formalizing business process specifications

Author(s) -

Andreas Speck,

Sven Feja,

Sören Witt,

Elke Pulvermüller,

Marcel Schulz

Publication year - 2011

Publication title -

computer science and information systems

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.244

H-Index - 24

eISSN - 2406-1018

pISSN - 1820-0214

DOI - 10.2298/csis110111015s

Subject(s) - computer science , rotation formalisms in three dimensions , business process model and notation , notation , business process , ctl* , formalism (music) , business rule , business process modeling , programming language , artifact centric business process model , software engineering , temporal logic , process modeling , semantics (computer science) , theoretical computer science , work in process , mathematics , art , musical , biochemistry , chemistry , visual arts , geometry , arithmetic , cytotoxic t cell , marketing , business , in vitro

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 specializes 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research