Linking Data and BPMN Processes to Achieve Executable Models

Giacomo, Giuseppe De; Oriol, Xavier; Estañol, Montserrat; Teniente, Ernest

doi:10.1007/978-3-319-59536-8_38

Cited by 27 publications

(32 citation statements)

References 22 publications

(37 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In a parallel research line more conventional, activity-centric approaches, such as the de-facto standard BPMN, have been extended towards data support, mainly focusing on conceptual modeling and enactment [22,9,7], but not on verification. At the same time, several formalisms have been brought forward to capture multi-perspective processes based on Petri nets enriched with various forms of data: from data items locally carried by tokens [27,20], to case data with different data types [10], and/or persistent relational data manipulated with the full power of FOL/SQL [11,23].…”

Section: Introductionmentioning

confidence: 99%

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN

Calvanese

Ghilardi

Gianola

et al. 2019

Lecture Notes in Computer Science

View full text Add to dashboard Cite

We propose DAB -a data-aware extension of BPMN where the process operates over case and persistent data (partitioned into a read-only database called catalog and a read-write database called repository). The model trades off between expressiveness and the possibility of supporting parameterized verification of safety properties on top of it. Specifically, taking inspiration from the literature on verification of artifact systems, we study verification problems where safety properties are checked irrespectively of the content of the read-only catalog, and accepting the potential presence of unboundedly many tuples in the catalog and repository. We tackle such problems using an array-based backward reachability procedure fully implemented in MCMT -a state-of-the-art arraybased SMT model checker. Notably, we prove that the procedure is sound and complete for checking safety of DABs, and single out additional conditions that guarantee its termination and, in turn, show decidability of checking safety.

show abstract

Section: Introductionmentioning

confidence: 99%

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN

Calvanese

Ghilardi

Gianola

et al. 2019

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…[71]) or even emerge (cf. [16]). Note that these papers are just a few that have been published after completing the SLR in 2017.…”

Section: Discussionmentioning

confidence: 99%

DALEC: a framework for the systematic evaluation of data-centric approaches to process management software

et al. 2018

View full text Add to dashboard Cite

The increasing importance of data in business processes has led to the emergence of data-centric business process management, which deviates from the widely used activity-centric paradigm. Data-centric approaches set their focus on data, aiming at supporting data-intensive business processes and increased process flexibility. The objective of this article is to gain profound insights into the maturity of different data-centric approaches as well as their capabilities. In particular, this article will provide a framework for systematically evaluating and comparing data-centric approaches, with regard to the phases of the business process lifecycle. To this end, a systematic literature review (SLR) was conducted with the goal of evaluating the capabilities of data-centric process management approaches. The SLR comprises 38 primary studies which were thoroughly analyzed. The studies were categorized into different approaches, whose capabilities were thoroughly assessed. Special focus was put on the tooling and software of the approaches. The article provides the empirically grounded DALEC framework to evaluate and compare data-centric approaches. Furthermore, the results of the SLR offer insights into existing data-centric approaches and their capabilities. Data-centric approaches promise better support of loosely structured and data-intensive business processes, which may not be adequately represented by activity-centric paradigms.

show abstract

“…For our purposes, we use as executable language (a subset of) the executable logic rules stated in [14]. Such rules can be executed by means of a prototype tool we call OpExec, which essentially persists the data of the process into a relational database, and checks that such data satisfy a set of user-defined integrity constraints.…”

Section: Executing the Formal Semantics For Validationmentioning

confidence: 99%

“…Regarding process executability, the approach in [14] uses a UML class diagram, a BPMN diagram and a set of OCL operation contracts to achieve process executability. Some of the advantages of [14] in contrast to our work are that it uses the de-facto standard modeling languages for data and processes, together with the fact that the OCL language has a more expressive power than structured natural language.…”

Section: Related Workmentioning

confidence: 99%

“…Some of the advantages of [14] in contrast to our work are that it uses the de-facto standard modeling languages for data and processes, together with the fact that the OCL language has a more expressive power than structured natural language. Thus, it requires that the modeler and business people know BPMN and OCL, whereas service blueprints and structured natural language are simpler and more intuitive.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Validation of Service Blueprint Models by Means of Formal Simulation Techniques

Estañol

Marcos

Oriol

et al. 2017

Service-Oriented Computing

Self Cite

View full text Add to dashboard Cite

Abstract. As service design has gained interest in the last years, so has gained one of its primary tools: the Service Blueprint. In essence, a service blueprint is a graphical tool for the design of business models, specifically for the design of business service operations. Despite its level of adoption, tool support for service design tasks is still on its early days and available tools for service blueprint modeling are mainly focused on enhancing usability and enabling collaborative edition, disregarding the formal aspects of modeling. In this paper we present a way to support the validation of service blueprint models by simulation. This approach is based on annotating the models with formal semantics, so that each task can be translated into formal logics, and from them, to executable SQL statements. This works opens a new direction in the way to bridge formal techniques and creative service design processes.

show abstract

Linking Data and BPMN Processes to Achieve Executable Models

Cited by 27 publications

References 22 publications

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN

DALEC: a framework for the systematic evaluation of data-centric approaches to process management software

Validation of Service Blueprint Models by Means of Formal Simulation Techniques

Contact Info

Product

Resources

About