Interaction-centric modeling of process choreographies

Decker, Gero; Weske, Mathias

doi:10.1016/j.is.2010.06.005

Cited by 67 publications

(54 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Several works have focused on providing formal semantics and verification techniques for business processes using Petri nets, process algebras, or abstract state machines, see, e.g., [21,26,10,33,34,9,25,14,22,18]. Those using process algebras for formalizing and verifying BPMN processes are the most related to the approach presented in this paper.…”

Section: Related Workmentioning

confidence: 99%

Checking Business Process Evolution

Poizat

Salaün

Krishna

2017

Formal Aspects of Component Software

View full text Add to dashboard Cite

Abstract. Business processes support the modeling and the implementation of software as workflows of local and inter-process activities. Taking over structuring and composition, evolution has become a central concern in software development. We advocate it should be taken into account as soon as the modeling of business processes, which can thereafter be made executable using process engines or model-to-code transformations. We show here that business process evolution needs formal analysis in order to compare different versions of processes, identify precisely the differences between them, and ensure the desired consistency. To reach this objective, we first present a model transformation from the BPMN standard notation to the LNT process algebra. We then propose a set of relations for comparing business processes at the formal model level. With reference to related work, we propose a richer set of comparison primitives supporting renaming, refinement, property-and context-awareness. Thanks to an implementation of our approach that can be used through a Web application, we put the checking of evolution within the reach of business process designers.

show abstract

Section: Related Workmentioning

confidence: 99%

Checking Business Process Evolution

Poizat

Salaün

Krishna

2017

Formal Aspects of Component Software

View full text Add to dashboard Cite

show abstract

“…Several works have focused on providing formal semantics and verification techniques for BPMN, e.g., [23,27,28,8,6,22]. The authors of [27] present a formal semantics for BPMN by encoding it into the CSP process algebra.…”

Section: Related Workmentioning

confidence: 99%

“…Thus, formal verifications can be carried out against some properties like consistency and compatibility [28]. Decker and Weske present in [6] an extension of BPMN 1.0 (iBPMN) in the direction of interaction modeling. They also propose a formal semantics for iBPMN in terms of interaction Petri nets.…”

Section: Related Workmentioning

confidence: 99%

Quantifying the parallelism in BPMN processes using model checking

Mateescu

Salaün

2014

Proceedings of the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering

View full text Add to dashboard Cite

“…In a follow-up paper on interaction BPMN [11], the basic concepts of Let's Dance were maintained, while taking advantage of the BPMN notation. Behavioral consistency of interacting processes was addressed in [12]; the results of this stream of research was surveyed and partly extended in [13].…”

Section: Modeling and Impactmentioning

confidence: 99%

Reflections on a Decade of Interorganizational Workflow Research

Aalst

Weske

2013

Seminal Contributions to Information Systems Engineering

Self Cite

View full text Add to dashboard Cite

The Public-To-Private (P2P) approach presented at CAiSE in 2001 provides a correctness-by-construction approach to realize interorganizational workflows. A behavioral inheritance notion is used to ensure correctness: organizations can alter their private workflows as long as these remain subclasses of the agreedupon public workflow. The CAiSE'01 paper illustrates the strong relationship between business process management and service-orientation. Since 2001, there is a trend from the investigation of individual process orchestrations to interacting processes, i.e., process choreographies. In this paper, we reflect on the original problem statement and discuss related work.

show abstract

Interaction-centric modeling of process choreographies

Cited by 67 publications

References 31 publications

Checking Business Process Evolution

Checking Business Process Evolution

Quantifying the parallelism in BPMN processes using model checking

Reflections on a Decade of Interorganizational Workflow Research

Contact Info

Product

Resources

About