SZodixStudyAcademic Library

Shelves Open access

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

Verification and Validation of UML Artifact-Centric Business Process Models · Study

WorkVerification and Validation of UML Artifact-Centric Business Process Models

Montserrat Estañol2015

OA

Workgreen2015

Verification and Validation of UML Artifact-Centric Business Process Models

Montserrat Estañol · María-Ribera Sancho · Ernest Teniente

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

References

2008Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges 2007Specification and Verification of Artifact Behaviors in Business Process Models 2010Beyond soundness: on the verification of semantic business process models 2013Barcelona: A Design and Runtime Environment for Declarative Artifact-Centric BPM 2014Verifiable UML Artifact-Centric Business Process Models 2013Verification of Artifact-Centric Systems: Decidability and Modeling Issues

Cited by

2018Conformance checking in UML artifact-centric business process models 2020Verifying the manipulation of data objects according to business process and data models

Related works

Explore the map →

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

2018Conformance checking in UML artifact-centric business process modelsarticle · 4 shared references 2015Automating correctness verification of artifact-centric business process modelsarticle · 3 shared references 2009Automatic construction of simple artifact-based business processesother · 2 shared references 2010A Process View Framework for Artifact-Centric Business Processesother · 2 shared references 2013Enabling the Analysis of Cross-Cutting Aspects in Ad-Hoc Processesother · 2 shared references 2014A view framework for modeling and change validation of artifact-centric inter-organizational business processesarticle · 2 shared references

Details

Year2015

Typeother

Published2015-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations21

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-319-19069-3_27

openalex_workW936074059

Links

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