Formalizing Business Process Specifications

DC FieldValueLanguage
dc.contributor.authorSpeck, Andreas
dc.contributor.authorFeja, Sven
dc.contributor.authorWitt, Soeren
dc.contributor.authorPulvermueller, Elke
dc.contributor.authorSchulz, Marcel
dc.date.accessioned2021-12-23T16:12:50Z-
dc.date.available2021-12-23T16:12:50Z-
dc.date.issued2011
dc.identifier.issn18200214
dc.identifier.urihttps://osnascholar.ub.uni-osnabrueck.de/handle/unios/10295-
dc.description.abstractThe 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.
dc.language.isoen
dc.publisherCOMSIS CONSORTIUM
dc.relation.ispartofCOMPUTER SCIENCE AND INFORMATION SYSTEMS
dc.subjectComputer Science
dc.subjectComputer Science, Information Systems
dc.subjectComputer Science, Software Engineering
dc.subjectEPCS
dc.subjectextended graphical-CTL
dc.subjectformal business process rules
dc.subjectMODEL CHECKING
dc.subjectTEMPORAL LOGIC
dc.subjectVERIFICATION
dc.titleFormalizing Business Process Specifications
dc.typejournal article
dc.identifier.doi10.2298/CSIS110111015S
dc.identifier.isiISI:000292705700010
dc.description.volume8
dc.description.issue2, SI
dc.description.startpage427
dc.description.endpage446
dc.publisher.placeUNIV NOVI SAD, FAC TECH SCI, TRG DOSITEJA OBRADOVICA 6, NOVI SAD, 21000, SERBIA
dcterms.isPartOf.abbreviationComput. Sci. Inf. Syst.
dcterms.oaStatusgold, Green Submitted
crisitem.author.deptInstitut für Informatik-
crisitem.author.deptidinstitute12-
crisitem.author.parentorgFB 06 - Mathematik/Informatik/Physik-
crisitem.author.grandparentorgUniversität Osnabrück-
crisitem.author.netidPuEl525-
Show simple item record

Page view(s)

4
Last Week
0
Last month
0
checked on Apr 16, 2024

Google ScholarTM

Check

Altmetric