Quantifying the parallelism in BPMN processes using model checking

Mateescu, Radu; Salaün, Gwen; Ye, Lina

doi:10.1145/2602458.2602473

Cited by 13 publications

(13 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The degree of parallelism is then computed by using model checking techniques and dichotomic search. The main difference with respect to the approach presented in this work is that the subset of BPMN considered in [13] does not support timing features.…”

Section: Related Workmentioning

confidence: 90%

See 1 more Smart Citation

Computing the Parallelism Degree of Timed BPMN Processes

Durán

Rocha

Salaün

2018

Software Technologies: Applications and Foundations

Self Cite

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 90%

“…In [13], the authors propose an approach to automatically measure the degree of parallelism for BPMN processes. They rely on a formal model for BPMN processes defined in terms of Labelled Transition Systems, obtained through process algebra encodings.…”

Section: Related Workmentioning

confidence: 99%

Computing the Parallelism Degree of Timed BPMN Processes

Durán

Rocha

Salaün

2018

Software Technologies: Applications and Foundations

Self Cite

View full text Add to dashboard Cite

“…BPMN is an ISO/IEC standard since 2013 but its semantics is only described informally in official documents [3,4]. Therefore, several attempts have been made for providing BPMN with a formal semantics, e.g., [5,6,7,8,9]. In this paper, we abstract the features of BPMN related to data and we focus on the core features of BPMN, i.e., its control flow constructs, which is the subset of interest with respect to the properties we propose to formally analyse in this paper.…”

Section: Bpmnmentioning

confidence: 99%

Checking business process evolution

Krishna

Poizat²,

Salaün³

2019

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

Business processes support the design and implementation of software as workflows of local and inter-organization activities. Tools provide the business process designer with modelling and execution facilities, but they barely provide formal analysis techniques. When one makes a process evolve, for example by refactoring it or by adding new features in it, it is important to be able to check whether, and how, this process has changed, and possibly correct evolution flaws. To reach this objective, we first present a model transformation from the BPMN standard notation to the LNT process algebra and LTS formal models. 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. We also support BPMN processes containing unbalanced structures among gateways. In order to make the checking of evolution convenient for business process designers, we have implemented tool support for our approach as a web application.

show abstract

“…BPMN is an ISO/IEC standard since 2013 but its semantics is only described informally in official documents [24,16]. Therefore, several attempts have been made for providing BPMN with a formal semantics, e.g., [10,33,25,18,22]. In this paper, we abstract from the features of BPMN related to data and we focus on the core features of BPMN, that is, its control flow constructs, which is the subset of interest with respect to the properties we propose to formally analyze in this paper.…”

Section: Bpmn In a Nutshellmentioning

confidence: 99%

“…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

Self Cite

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

Quantifying the parallelism in BPMN processes using model checking

Cited by 13 publications

References 22 publications

Computing the Parallelism Degree of Timed BPMN Processes

Computing the Parallelism Degree of Timed BPMN Processes

Checking business process evolution

Checking Business Process Evolution

Contact Info

Product

Resources

About