Automatic verification of data-centric business processes

Deutsch, Alin; Hull, Richard; Patrizi, Fabio; Vianu, Victor

doi:10.1145/1514894.1514924

Cited by 163 publications

(189 citation statements)

References 53 publications

Supporting

Mentioning

187

Contrasting

Order By: Relevance

“…Also, the model used here assumes that all relevant data is held within the artifact. A useful extension would be to study the natural case in which there is also an external, basically fixed database that the conditions can refer to (for example, in the spirit of [5]). It is also of interest to study other types of performers, characterized by restrictions on the policy they may adopt.…”

Section: Discussionmentioning

confidence: 99%

Artifact-Centric Workflow Dominance

Calvanese

Giacomo

Hull³

et al. 2009

Service-Oriented Computing – ICSOC 2007

Self Cite

View full text Add to dashboard Cite

Abstract. In this paper we initiate a study on comparing artifactcentric workflow schemas, in terms of the ability of one schema to emulate the possible behaviors of another schema. Artifact-centric workflows are centered around "business artifacts", which contain both a data schema, which can hold all of the data about a key business entity as it passes through a workflow, along with a lifecycle schema, which specifies the possible ways that the entity can evolve through the workflow. In this paper, the data schemas for artifact types are finite sets of attribute-value pairs, and the lifecycle schemas are specified as sets of condition-action rules, where the condition is evaluated against the current snapshot of the artifact, and where the actions are external services (or "tasks"), which read a subset of the attributes of an artifact, which write onto a subset of the attributes, and which are performed by an entity outside of the workflow system (often a human). The services are also characterized by pre-and post-conditions, in the spirit of semantic web services. To compare artifact-centric workflows, we introduce the notion of "dominance", which intuitively captures the fact that all executions of a workflow can be emulated by a second workflow. (In the current paper, the emulation is focused only on the starting and ending snapshots of the possible enactments of the two workflows.) In fact, dominance is a parametric notion that depends on the characterization of the policies that govern the execution of the services invoked by the workflows. In this paper, we study in detail the case of "absolute dominance", in which this policy places no constraints on the possible service executions. We provide decidability and complexity results for bounded and unbounded workflow executions in the cases where the values in an artifact range over an infinite structure, such as the integers, the rationals, or the reals, possibly with order, addition, or multiplication.

show abstract

Section: Discussionmentioning

confidence: 99%

Artifact-Centric Workflow Dominance

Calvanese

Giacomo

Hull³

et al. 2009

Service-Oriented Computing – ICSOC 2007

Self Cite

View full text Add to dashboard Cite

show abstract

“…Interestingly, while we have verification tools that are quite good for dealing with data and processes separately, when we consider them together, we get infinite-state transition systems, which resist classical model checking approaches to verification. Lately, there has been some work on developing verification techniques that can deal with such infinite-state processes [1,2,4,19]. In particular [2,4] brings forth the idea of exploiting state boundedness to get decidability for verification of infinite-state dataaware systems.…”

Section: Related Workmentioning

confidence: 99%

Progression and Verification of Situation Calculus Agents with Bounded Beliefs

et al. 2015

Self Cite

View full text Add to dashboard Cite

Abstract.We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently, it has been shown that verifying temporal properties over such theories is decidable. We take a first-person view and use the theory to capture what the agent believes about the domain of interest and the actions affecting it. In this paper, we study verification of temporal properties over online executions. These are executions resulting from agents performing only actions that are feasible according to their beliefs. To do so, we first examine progression, which captures belief state update resulting from actions in the situation calculus. We show that, for bounded action theories, progression, and hence belief states, can always be represented as a bounded first-order logic theory. Then, based on this result, we prove decidability of temporal verification over online executions for bounded action theories.

show abstract

“…Service invocation on artifact may result in a state change of the artifact, and/or update artifact's content. Services can be specified with preconditions and post-conditions [11,12,13].…”

Section: Lifecyclementioning

confidence: 99%

A Survey on Approaches to Modeling Artifact-Centric Business Processes

Kunchala

Yongchareon

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Business Process Modeling using artifact-centric approach has gained increasing interest over the past few years. The ability to put data and process aspects on an equal footing has made it a powerful tool for efficient business process modeling. The artifact-centric approach is based on key business-relevant entities called business artifacts, which are central for guiding business operations as they navigate through the business operations. The artifact-centric modeling approach can be laid in a four dimensional framework called BALSA for defining business processes, where the four dimensions include business artifacts, lifecycles, services and associations. Based on this data-centric paradigm, several artifact-centric meta-models have been emerged in the recent years. Although all the proposed models claim to support the artifact-centric approach, their support in specifying the BALSA elements of artifacts was not clearly described in the existing literature. This paper reviews all existing approaches to artifact-centric modeling and also discuss to what extent they align with the BALSA framework.

show abstract

Automatic verification of data-centric business processes

Cited by 163 publications

References 53 publications

Artifact-Centric Workflow Dominance

Artifact-Centric Workflow Dominance

Progression and Verification of Situation Calculus Agents with Bounded Beliefs

A Survey on Approaches to Modeling Artifact-Centric Business Processes

Contact Info

Product

Resources

About