Process Refinement Validation and Explanation with Ontology Reasoning

No abstract is available for this paper.

• Publication year

  2013

• Venue

  International Conference on Service Oriented Computing

• Publication date

  2013-12-02

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-642-45005-1_41
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Business process model abstraction: a definition, catalog, and survey

  2012cited by this paper
• Efficient Consistency Measurement Based on Behavioral Profiles of Process Models

  2011cited by this paper
• Process compliance analysis based on behavioural profiles

  2011cited by this paper
• Detection of Semantically Equivalent Fragments for Business Process Model Change Management

  2010cited by this paper
• Modeling and query pattern for process retrieval in OWL

  2009cited by this paper
• Instantaneous Soundness Checking of Industrial Business Process Models

  2009cited by this paper
• Equivalences of BPMN processes

  2009cited by this paper
• Constructing customized process views

  2008cited by this paper
• Analyzing interacting WS-BPEL processes using flexible model generation

  2008cited by this paper
• Diagnosing Differences between Business Process Models

  2008cited by this paper
• An Ontology Framework for Semantic Business Process Management

  2007cited by this paper
• Process Equivalence: Comparing Two Process Models Based on Observed Behavior

  2006cited by this paper
• Semantic Business Process Management : Using Semantic Web Services for Business Process Management

  2005cited by this paper
• Specification and validation of process constraints for flexible workflows

  2005cited by this paper
• Workflow modeling for virtual processes: an order-preserving process-view approach

  2003cited by this paper
• From SHIQ and RDF to OWL: the making of a Web Ontology Language

  2003cited by this paper
• Complexity of Reasoning

  2003cited by this paper
• Organizing Business Knowledge: The MIT Process Handbook

  2003cited by this paper
• Defining Specialization for Process Models

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

  2001cited by this paper
• SAP R/3 Business Blueprint: Understanding Enterprise Supply Chain Management

  1999cited by this paper
• The Modelling of Temporal Properties in a Process Algebra Framework

  1999cited by this paper
• Bisimulation for Higher-Order Process Calculi

  1994cited by this paper
• Communication and concurrency

  1989cited by this paper

• Towards FAIR protocols and workflows: the OpenPREDICT use case

  2020cites this paper
• Towards FAIR protocols and workflows: The OpenPREDICT case study

  2019cites this paper
• Reasoning with Annotated Description Logic Ontologies an

  2015cites this paper
• Ontology Reasoning for Process Models

  2013cites this paper
• Model-Driven Software Development

  2013cites this paper
• Ontology-Driven Software Development

  2012influential citation
• Exploiting Tractable Fuzzy and Crisp Reasoning in Ontology Applications

  2012influential citation