SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Formal Analysis of BPMN Via a Translation into COWS
8 references·14 citing·46 second hop
Formal Analysis of BPMN Via a Translation into COWS (2008)Formal Analysis of BPMN Via a Translation…Business Process Management Workshops (2008)Business Process Management W…A Process Semantics for BPMN (2008)A Process Semantics for BPMNFormal semantics and automated analysis of BPMN process models (2007)Formal semantics and automate…Workflow control-flow patterns : a revised view (2006)Workflow control-flow pattern…Translating BPMN to BPEL (2006)Translating BPMN to BPELA Declarative Approach for Flexible Business Processes Management (2006)A Declarative Approach for Fl…On the semantics of EPCs: A vicious circle (2002)On the semantics of EPCs: A v…Modeling, Simulation and Analysis of Business Processes (2000)Modeling, Simulation and Anal…Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations (2020)Well-structuredness, safeness…Correctness checking for BPMN collaborations with sub-processes (2020)Correctness checking for BPMN…A formal approach to modeling and verification of business process collaborations (2018)A formal approach to modeling…BProVe: A formal verification framework for business process models (2017)BProVe: A formal verification…An Operational Semantics of BPMN Collaboration (2016)An Operational Semantics of B…A Probabilistic BPMN Normal Form to Model and Advise Human Activities (2015)A Probabilistic BPMN Normal F…An approach to construct formal model of business process model from BPMN workflow patterns (2014)An approach to construct form…Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows (2013)Precise Quantitative Analysis…A visual token-based formalization of BPMN 2.0 based on in-place transformations (2012)A visual token-based formaliz…Performance Evaluation of Business Processes through a Formal Transformation to SAN (2011)Performance Evaluation of Bus…Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways (2011)Formal Semantics and Implemen…Property specifications for workflow modelling (2010)Property specifications for w…Formal Analysis of BPMN Models Using Event-B (2010)Formal Analysis of BPMN Model…BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules (2010)BPMN 2.0 Execution Semantics …Design Patterns: Elements of Reusable Object-Oriented Software (1994)Analysis patterns: reusable objects models (1996)Proceedings of the 2002 Winter Simulation Conference (2002)YAWL: yet another workflow language (2004)Process Flexibility: A Survey of Contemporary Approaches (2008)Enabling Flexibility in Process-Aware Information Systems (2012)Business Process Modeling Notation (BPMN), Version 1.0 (2004)Using BPMN to Model a BPEL Process (2005)Modelling Security Goals in Business Processes (2008)Formalisations and applications of BPMN (2009)Semantically Enhanced Business Process Modeling Notation (2011)On Structured Workflow Modelling (2013)Reengineering the Corporation (1993)Business Process Engineering: Reference Models for Industrial Enterprises (1994)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Inter-organizational Business Process Management with XML Nets (2003)Automating the construction of supply chain key performance indicators (2008)Workflow simulation for operational decision support using event graph through process mining (2011)The first 25 years. (1973)Petri Net Transformations for Business Processes – A Survey (2009)An ontology for the Business Process Modelling Notation (2014)BPMN 2.0: The state of support and implementation (2017)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)The ProM Framework: A New Era in Process Mining Tool Support (2005)Modeling Control Objectives for Business Process Compliance (2007)Predictive Monitoring of Business Processes (2014)Workflow Patterns (2003)Transforming BPEL to Petri Nets (2005)Interaction Modeling Using BPMN (2008)BPMN 2.0 for Modeling Business Processes (2014)A framework for information systems architecture (1987)Fundamentals of Business Process Management (2013)Fundamentals of Business Process Management (2018)Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions (2019)A formal approach for the analysis of BPMN collaboration models (2021)A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models (2023)Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Semantics and analysis of business process models in BPMN (2008)Business Process Model and Notation (2011)Production Workflow - Concepts and Techniques (2000)Structural Patterns for Soundness of Business Process Models (2006)Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants (2007)Flexible evolutionary algorithms for mining structured process models (2014)Discovering Block-Structured Process Models from Event Logs - A Constructive Approach (2013)Discovering Block-Structured Process Models from Event Logs Containing Infrequent Behaviour (2014)
this work references cited by second hop

References

  • 2008Business Process Management Workshops761 cited
  • 2006Workflow control-flow patterns : a revised view517 cited
  • 2006A Declarative Approach for Flexible Business Processes Management501 cited
  • 2008A Process Semantics for BPMN178 cited
  • 2002On the semantics of EPCs: A vicious circle109 cited
  • 2006Translating BPMN to BPEL109 cited
  • 2007Formal semantics and automated analysis of BPMN process models83 cited
  • 2000Modeling, Simulation and Analysis of Business Processes70 cited

Cited by

  • 2018A formal approach to modeling and verification of business process collaborations50 cited
  • 2020Correctness checking for BPMN collaborations with sub-processes44 cited
  • 2012A visual token-based formalization of BPMN 2.0 based on in-place transformations44 cited
  • 2017BProVe: A formal verification framework for business process models36 cited
  • 2010Formal Analysis of BPMN Models Using Event-B36 cited
  • 2011Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways33 cited
  • 2010BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules31 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work

2013
Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows
25 cited
  • 2015A Probabilistic BPMN Normal Form to Model and Advise Human Activities23 cited
  • 2010Property specifications for workflow modelling23 cited
  • 2016An Operational Semantics of BPMN Collaboration21 cited
  • 2014An approach to construct formal model of business process model from BPMN workflow patterns20 cited
  • 2020Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations18 cited
  • 2011Performance Evaluation of Business Processes through a Formal Transformation to SAN17 cited