SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Automatic Verification of Data-Centric Business Processes · Study

WorkAutomatic Verification of Data-Centric Business Processes

Elio Damaggio2011

Work2011

Automatic Verification of Data-Centric Business Processes

Elio Damaggio · Alin Deutsch · Richard B. Hull · Victor Vianu

49 citations·0/0 files stored·Lecture notes in computer science

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Software Testing and Debugging Techniques Formal Methods in Verification

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 49 citations exist upstream.

References

2003Business artifacts: An approach to operational specification 2007Towards Formal Analysis of Artifact-Centric Business Process Models 2009Automatic verification of data-centric business processes 2011Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles 2011Business artifacts with guard-stage-milestone lifecycles 2007Generation of Business Process Models for Object Life Cycle Compliance 2007Artifact-centered operational modeling: Lessons from customer engagements 2008On the Duality of Information-Centric and Activity-Centric Models of Business Processes

Cited by

2012Techniques for a Posteriori Analysis of Declarative Processes 2014Monitoring data-aware business constraints with finite state automata 2013Artifact-Centric Business Process Models in UML 2014A view framework for modeling and change validation of artifact-centric inter-organizational business processes 2013Verification of Artifact-Centric Systems: Decidability and Modeling Issues

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2014A view framework for modeling and change validation of artifact-centric inter-organizational business processesarticle · 14 shared references 2009Automatic construction of simple artifact-based business processesother · 9 shared references 2011Entity-centric operations modeling for business process management — A multidisciplinary review of the state-of-the-artother · 8 shared references 2010Transforming Activity-Centric Business Process Models into Information-Centric Models for SOA Solutionsarticle · 8 shared references 2011On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecyclesother · 7 shared references 2011On Lifecycle Constraints of Artifact-Centric Workflowsother · 7 shared references

Details

Year2011

Typeother

Published2011-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations49

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-23059-2_3

openalex_workW279525992

Links

Imported from OpenAlex (CC0) — nothing here is generated.

2011

Entity-centric operations modeling for business process management — A multidisciplinary review of the state-of-the-art

2016Semantical Vacuity Detection in Declarative Process Mining