SZodixStudyAcademic Library

Shelves Open access

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

Correctness-Preserving Configuration of Business Process Models · Study

WorkCorrectness-Preserving Configuration of Business Process Models

Wil M. P. van der Aalst2008

Work2008

Correctness-Preserving Configuration of Business Process Models

Wil M. P. van der Aalst · Marlon Dumas · Florian Gottschalk · Arthur H. M. ter Hofstede · Marcello La Rosa · Jan Mendling

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

References

1997Verification of workflow nets 2005A configurable reference modelling language 2002Inheritance of workflows: an approach to tackling problems related to change 2001Diagnosing Workflow Processes using Woflan 2004Specification and validation of process constraints for flexible workflows 1997Sap R/3 Business Blueprint: Understanding the Business Process Reference Model 2008CONFIGURABLE WORKFLOW MODELS 2007Questionnaire-driven Configuration of Reference Process Models

Cited by

2012Propagating changes between aligned process models 2019Applying process mining and semantic reasoning for process model customisation in healthcare 2014Lifecycle Management of Business Process Variants 2010Extended Workflow Flexibility using Rule-Based Adaptation Patterns with Eventing Semantics.2013Secure and Compliant Implementation of Business Process-Driven Systems 2016A Linear Program for Optimal Configurable Business Processes Deployment into Cloud Federation

Related works

Explore the map →

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

2009Preserving correctness during business process model configurationarticle · 7 shared references 2009Managing variability in process-aware information systemsthesis · 7 shared references 2010Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesisother · 6 shared references 2011Ensuring correctness during process configuration via partner synthesisarticle · 6 shared references 2007Protos2CPN: using colored Petri nets for configuring and testing business processesarticle · 6 shared references 2010Efficient Consistency Measurement Based on Behavioral Profiles of Process Modelsarticle · 4 shared references

Details

Year2008

Typeother

Published2008-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations62

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-540-78743-3_4

openalex_workW2163229252

Links

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

2016Domain-driven actionable process model discovery

2010Preserving Data Flow Correctness in Process Adaptation