Deciding Behaviour Compatibility of Complex Correspondences between Process Models

No abstract is available for this paper.

• Publication year

  2010

• Venue

  International Conference on Business Process Management

• Publication date

  2010-09-13

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-15618-2_8
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Efficient Consistency Measurement Based on Behavioral Profiles of Process Models

  2011cited by this paper
• Computation of Behavioural Profiles of Processes Models

  2010cited by this paper
• The ICoP Framework: Identification of Correspondences between Process Models

  2010cited by this paper
• Aligning Business Process Models

  2009cited by this paper
• Similarity Search of Business Process Models

  2009cited by this paper
• Measuring Similarity between Business Process Models

  2008cited by this paper
• Quantifying process equivalence based on observed behavior

  2008cited by this paper
• Semantics and analysis of business process models in BPMN

  2008cited by this paper
• Matching and Merging of Statecharts Specifications

  2007cited by this paper
• A Feature-Complete Petri Net Semantics for WS-BPEL 2.0

  2007cited by this paper
• On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I

  2006cited by this paper
• Verified Reference Implementations of WS-Security Protocols

  2006cited by this paper
• Simulation-Based Graph Similarity

  2006cited by this paper
• Evaluation of Technical Measures for Workflow Similarity Based on a Pilot Study

  2006cited by this paper
• Service-Oriented Design: A Multi-Viewpoint Approach

  2004cited by this paper
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• Tool support for verifying UML activity diagrams

  2004cited by this paper
• A Three-Level Process Framework for Contract-Based Dynamic Service Outsourcing

  2003cited by this paper
• Fundamentals of control flow in workflows

  2003influential reference
• Petri Net Technology for Communication-Based Systems

  2003cited by this paper
• Inheritance of Business Processes: A Journey Visiting Four Notorious Problems

  2003cited by this paper
• Behavior-consistent specialization of object life cycles

  2002cited by this paper
• ON ARCHITECTURAL SUPPORT FOR BEHAVIOUR REFINEMENT IN DISTRIBUTED SYSTEMS DESIGN

  2002cited by this paper
• Refinement of actions and equivalence notions for concurrent systems

  2001cited by this paper
• Inheritance of behavior

  2001influential reference
• A survey of approaches to automatic schema matching

  2001cited by this paper
• Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

  2000cited by this paper
• The Application of Petri Nets to Workflow Management

  1998influential reference
• Verification of Workflow Nets

  1997influential reference
• Application and Theory of Petri Nets 1997

  1997cited by this paper
• Lectures on Petri Nets I: Basic Models

  1996cited by this paper
• The State Explosion Problem

  1996cited by this paper
• Free choice Petri nets

  1995cited by this paper
• A polynomial algorithm to compute the concurrency relation of free-choice Signal Transition Graphs

  1995cited by this paper
• A survey of behaviour and equivalence preserving refinements of Petri nets

  1991cited by this paper
• Adding Action Refinement to a Finite Process Algebra

  1991cited by this paper
• Advances in Petri Nets 1990

  1987cited by this paper
• Behaviour Preserving Refinement of Petri Nets

  1986cited by this paper
• On "Software engineering"

  1985cited by this paper
• Decidability Questions for Petri Nets

  1975cited by this paper

• Reusing artifact-centric business process models: a behavioral consistent specialization approach

  2020cites this paper
• Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix

  2020cites this paper
• Measuring Business Process Consistency Across Different Abstraction Levels

  2019cites this paper
• Evaluation of process model matching techniques

  2019influential citation
• Behavior Analysis for Electronic Commerce Trading Systems: A Survey

  2019cites this paper
• Interleaving isotactics - An equivalence notion on behaviour abstractions

  2018cites this paper
• Measuring Data-Aware Process Consistency Based on Activity Constraint Graphs

  2018cites this paper
• CREST - A Continuous, REactive SysTems DSL

  2017cites this paper
• A view framework for modeling and change validation of artifact-centric inter-organizational business processes

  2015cites this paper
• Change Propagation and Conflict Resolution for the Co-Evolution of Business Processes

  2015cites this paper
• Managing Consistency of Business Process Models across Abstraction Levels

  2014cites this paper
• A case study on consistency management of business and IT process models in banking

  2014cites this paper
• Assessing the replaceability of service protocols in mediated service interactions

  2013cites this paper
• A purchase decision-making process model of online consumers and its influential factor : a cross sector analysis

  2013cites this paper
• On-the-Fly Change Propagation for the Co-evolution of Business Processes

  2013cites this paper
• Assessment of Service Protocol Adaptability Based on Novel Walk Computation

  2012cites this paper
• Perceived consistency between process models

  2012influential citation
• Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models

  2012cites this paper
• Service Protocol Adaptability Assessment for Supporting Mediated Service Interactions

  2012cites this paper
• An Empirical Study on Consistency Management of Business and IT Process Models

  2012cites this paper
• Business process model abstraction: a definition, catalog, and survey

  2012cites this paper
• Design for service compatibility

  2012cites this paper
• Behavior Alignment and Control Flow Verification of Process and Service Choreographies

  2012cites this paper
• String Comparators Based Algorithms for Process Model Matchmaking

  2012cites this paper
• A Framework for Behavior-Consistent Specialization of Artifact-Centric Business Processes

  2012cites this paper
• Matching business process workflows across abstraction levels

  2012cites this paper
• On extending support for modeling artifact-centric business processes

  2012cites this paper
• Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences

  2012cites this paper
• State Propagation in Abstracted Business Processes

  2011cites this paper
• Querying Process Models Based on the Temporal Relations between Tasks

  2011cites this paper
• Identifying refactoring opportunities in process model repositories

  2011cites this paper
• A summary-based approach for enhancing process model matchmaking

  2011cites this paper