SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Liveness and Reachability Analysis of BPMN Process Models
10 references·2 citing·50 second hop
Liveness and Reachability Analysis of BPMN Process Models (2016)Liveness and Reachability Analysis of BPM…Detecting Data-Flow Errors in BPMN 2.0 (2014)Detecting Data-Flow Errors in…BPMN 2.0 for Modeling Business Processes (2014)BPMN 2.0 for Modeling Busines…A Rigorous Semantics for BPMN 2.0 Process Diagrams (2014)A Rigorous Semantics for BPMN…From business process models to process-oriented software systems (2009)From business process models …Business Process Modeling: Perceived Benefits (2009)Business Process Modeling: Pe…Transformation of BPMN to YAWL (2008)Transformation of BPMN to YAWLPattern Identification and Classification in the Translation from BPMN to BPEL (2008)Pattern Identification and Cl…Formal Analysis of BPMN Via a Translation into COWS (2008)Formal Analysis of BPMN Via a…A Process Semantics for BPMN (2008)A Process Semantics for BPMNTranslating BPMN to BPEL (2006)Translating BPMN to BPELEvolution of BPMN and Simulation Integration: Trends, Challenges, and Future Directions (2025)Evolution of BPMN and Simulat…Comparative analysis of the main business process modeling methods: a bibliometric study (2021)Comparative analysis of the m…Reengineering the corporation: A manifesto for business revolution (1993)Reengineering the Corporation: A Manifesto for Business Revolution (1994)Workflow Patterns (2003)Deriving a Data Model from a Set of Interrelated Business Process Models (2015)A framework for context-aware heterogeneous group decision making in business processes (2016)Security Requirements Engineering Framework with BPMN 2.0.2 Extension Model for Development of Information Systems (2020)Business Process Modeling Notation (BPMN), Version 1.0 (2004)Using BPMN to Model a BPEL Process (2005)Model-driven business process security requirement specification (2008)Formalisations and applications of BPMN (2009)Semantically Enhanced Business Process Modeling Notation (2011)On Structured Workflow Modelling (2013)A Declarative Approach for Flexible Business Processes Management (2006)Workflow control-flow patterns : a revised view (2006)Business Process Management Workshops (2008)A visual token-based formalization of BPMN 2.0 based on in-place transformations (2012)A formal approach to modeling and verification of business process collaborations (2018)Correctness checking for BPMN collaborations with sub-processes (2020)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)From BPMN Process Models to BPEL Web Services (2006)Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition (2007)Token analysis of graph-oriented process models (2009)DAT: Dependency Analysis Tool for Service Based Business Processes (2014)Graph theory and model collection management: conceptual framework and runtime analysis of selected graph algorithms (2014)Verification of workflow nets (1997)Semantics and analysis of business process models in BPMN (2008)Business Process Modeling: Current Issues and Future Challenges (2009)Structuring Acyclic Process Models (2010)Business Model: What It Is and What It Is Not (2012)An Experimental Application of the DELPHI Method to the Use of Experts (1963)The Measurement of Observer Agreement for Categorical Data (1977)The Delphi method as a research tool: an example, design considerations and applications (2004)A literature review on business process modelling: new frontiers of reusability (2011)A Guidelines framework for understandable BPMN models (2017)Opportunities and Challenges for Process Mining in Organizations: Results of a Delphi Study (2021)YAWL: yet another workflow language (2004)An ECLIPSE Plug-In for Formal Verification of BPMN Processes (2010)Direct Verification of BPMN Processes through an Optimized Unfolding Technique (2012)An approach to construct formal model of business process model from BPMN workflow patterns (2014)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Transforming BPEL to Petri Nets (2005)A Guard-Driven Analysis Approach of Workflow Net with Data (2019)Hierarchical Verification for the BPMN Design Model Using State Space Analysis (2019)Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMN (2019)Checking Business Process Evolution (2017)Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT (2018)Trends on the Usage of BPMN 2.0 from Publicly Available Repositories (2021)
this work references cited by second hop

References

  • 2009From business process models to process-oriented software systems212 cited
  • 2008A Process Semantics for BPMN178 cited
  • 2009Business Process Modeling: Perceived Benefits125 cited
  • 2006Translating BPMN to BPEL109 cited
  • 2014BPMN 2.0 for Modeling Business Processes68 cited
  • 2008Formal Analysis of BPMN Via a Translation into COWS51 cited
  • 2014Detecting Data-Flow Errors in BPMN 2.034 cited
  • 2008Transformation of BPMN to YAWL33 cited
  • 2014A Rigorous Semantics for BPMN 2.0 Process Diagrams30 cited
  • 2008Pattern Identification and Classification in the Translation from BPMN to BPEL26 cited

Cited by

  • 2021Comparative analysis of the main business process modeling methods: a bibliometric study12 cited
  • 2025Evolution of BPMN and Simulation Integration: Trends, Challenges, and Future Directions9 cited

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