SZodixStudyAcademic Library

Shelves Open access

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

Deciding Behaviour Compatibility of Complex Correspondences between Process Models · Study

WorkDeciding Behaviour Compatibility of Complex Correspondences between Process Models

Matthias Weidlich2010

Work2010

Deciding Behaviour Compatibility of Complex Correspondences between Process Models

Matthias Weidlich · Remco Dijkman · Mathias Weske

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 1997Verification of workflow nets 2008Semantics and analysis of business process models in BPMN 2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques 2008Measuring Similarity between Business Process Models 2003Fundamentals of control flow in workflows 2010Efficient Consistency Measurement Based on Behavioral Profiles of Process Models 2010The ICoP Framework: Identification of Correspondences between Process Models

Cited by

2014A view framework for modeling and change validation of artifact-centric inter-organizational business processes 2012Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences 2012A Framework for Behavior-Consistent Specialization of Artifact-Centric Business Processes 2013A case study on consistency management of business and IT process models in banking 2021A New Method for Measuring the Behavioral Consistency Degree of WF-Net Systems

Related works

Explore the map →

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

2010Efficient Computation of Causal Behavioural Profiles Using Structural Decompositionother · 8 shared references 2013Querying process models by behavior inclusionarticle · 8 shared references 2010Perceived consistency between process modelsarticle · 7 shared references 2012Propagating changes between aligned process modelsarticle · 6 shared references 2011A Foundational Approach for Managing Process Variabilityother · 6 shared references 2011Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldingsother · 6 shared references

Details

Year2010

Typeother

Published2010-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations32

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-15618-2_8

openalex_workW1530492661

Links

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

2012

Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models

2018Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix