Logo des Repositoriums
 

Formalizing Dependencies in Business Process Models Using Constraint Satisfaction

dc.contributor.authorRunte, Wolfgang
dc.contributor.editorFähnrich, Klaus-Peter
dc.contributor.editorFranczyk, Bogdan
dc.date.accessioned2019-01-11T10:29:08Z
dc.date.available2019-01-11T10:29:08Z
dc.date.issued2010
dc.description.abstractCompliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management [Sch00], we propose and describe the use of constraint satisfaction problems [Dec03] as a formal mean for representing these dependencies [Run09, REK09]. To achieve this result, the notion of a finite system is formalized and the rules for sequential and parallel system composition are provided. The reciprocal interaction is captured by the protocol concept. Being part of a larger supersystem is shown not to be a property which can be attributed to the system itself but depends on the context of its interaction, namely whether its interactions determine its behavior or not. The result seems to be especially relevant in Information Systems and eCommerce, as it raises concerns about what end-to-end for example in a security context in a system theoretic sense really means. It also demonstrates the tight connection between our system and our function notion and thereby contributes to a better understanding, why approaches that rest mainly on the function notion struggle so much with networklike interacting systems and the necessary ”loose coupling” in the sense of a sensible interaction with only little information about the internal state of the other actors.en
dc.identifier.isbn978-3-88579-270-3
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/19292
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofINFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-176
dc.titleFormalizing Dependencies in Business Process Models Using Constraint Satisfactionen
dc.typeText/Conference Paper
gi.citation.endPage610
gi.citation.publisherPlaceBonn
gi.citation.startPage610
gi.conference.date27.09.-01.10.2010
gi.conference.locationLeipzig
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
610.pdf
Größe:
53.88 KB
Format:
Adobe Portable Document Format