SZodixStudyAcademic Library

Shelves Open access

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

Specification and Verification of Artifact Behaviors in Business Process Models · Study

WorkSpecification and Verification of Artifact Behaviors in Business Process Models

Çağdaş Evren Gerede2007

Work2007

Specification and Verification of Artifact Behaviors in Business Process Models

Çağdaş Evren Gerede · Jianwen Su

118 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 Formal Methods in Verification Model-Driven Software Engineering Techniques

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 — 118 citations exist upstream.

References

2004Case handling: a new paradigm for business process support 2003Business artifacts: An approach to operational specification 2007Towards Formal Analysis of Artifact-Centric Business Process Models 2007Modeling Business Contexture and Behavior Using Business Artifacts

Cited by

2009Towards Object-Aware Process Management Systems: Issues, Challenges, Benefits 2009Automatic construction of simple artifact-based business processes 2011Object-Aware Business Processes 2008Runtime Monitoring of Message-Based Workflows with Data 2012Process and Data: Two Sides of the Same Coin?2010Artifact-Centric Choreographies 2011Automatic Verification of Data-Centric Business Processes 2011A Modeling Paradigm for Integrating Processes and Data at the Micro Level

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 · 4 shared references 2010Transforming Activity-Centric Business Process Models into Information-Centric Models for SOA Solutionsarticle · 4 shared references 2011Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecyclesother · 3 shared references 2011Business artifacts with guard-stage-milestone lifecyclesother · 3 shared references 2008On the Duality of Information-Centric and Activity-Centric Models of Business Processesother · 3 shared references 2013Foundations of data-aware process analysisother · 3 shared references

Details

Year2007

Typeother

Published2007-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations118

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-540-74974-5_15

openalex_workW2154702004

Links

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