SZodixStudyAcademic Library

Dashboard Shelves Open access My library Inbox Notes Write Learn Alerts

More

Ask your library Notifications Quick cite Review

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

Ensuring correctness during process configuration via partner synthesis · Study

ArticleShelves

ArticleEnsuring correctness during process configuration via partner synthesis

Wil M. P. van der Aalst2011

Article2011

Ensuring correctness during process configuration via partner synthesis

Wil M. P. van der Aalst · Niels Lohmann · Marcello La Rosa

50 citations·0/0 files stored·Information Systems

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2000Production Workflow - Concepts and Techniques 2004A review and analysis of supply chain operations reference (SCOR) model 2005A configurable reference modelling language 2002Inheritance of workflows: an approach to tackling problems related to change 2000Analyzing process models using graph reduction techniques 2010Soundness of workflow nets: classification, decidability, and analysis 2009Modern Business Process Automation

Cited by

2015Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns 2016Analyzing E-Commerce Business Process Nets via Incidence Matrix and Reduction 2012Creating Sound and Reversible Configurable Process Models Using CoSeNets 2014Development and validation of customized process models 2013Diagnosing correctness of semantic workflow models 2018Petri net-based methods for analyzing structural security in e-commerce business processes

Related works

Explore the map →

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

2010Mining process model variants : challenges, techniques, examplesthesis · 12 shared references 2013Configuration vs. adaptation for business process variant maintenance: An empirical studyarticle · 12 shared references 2010Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesisother · 11 shared references 2010Configurable Services in the Cloud: Supporting Variability While Enabling Cross-Organizational Process Miningother · 10 shared references 2014Lifecycle Management of Business Process Variantschapter · 10 shared references 2011Business Process Configuration in the Cloud: How to Support and Analyze Multi-tenant Processes?other · 9 shared references

Details

Year2011

Typearticle

Published2011-09-06

VenueInformation Systems

ISSN-L0306-4379

Languageen

Citations50

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1016/j.is.2011.08.004

openalex_workW2113280469

Links

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

2016A Linear Program for Optimal Configurable Business Processes Deployment into Cloud Federation

2019Development of Collaborative Business Processes: A Correctness Enforcement Approach