SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics
4 references·1 citing·18 second hop
BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics (2011)BPMN Core Modeling Concepts: Inheritance-…Formal Analysis of BPMN Models Using Event-B (2010)Formal Analysis of BPMN Model…A New Semantics for the Inclusive Converging Gateway in Safe Processes (2010)A New Semantics for the Inclu…A Method for Verifiable and Validatable Business Process Modeling (2008)A Method for Verifiable and V…Business Process Modeling Notation (BPMN), Version 1.0 (2004)Business Process Modeling Not…Deontic BPMN: a powerful extension of BPMN with a trusted model transformation (2013)Deontic BPMN: a powerful exte…Workflow Patterns (2003)On the Suitability of BPMN for Business Process Modelling (2006)Workflow control-flow patterns : a revised view (2006)A Rigorous Semantics for BPMN 2.0 Process Diagrams (2014)A formal approach to modeling and verification of business process collaborations (2018)Correctness checking for BPMN collaborations with sub-processes (2020)YAWL: yet another workflow language (2004)On the semantics of EPCs: Resolving the vicious circle (2005)Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways (2011)Rule-based Behavioral Reasoning on Semantic Business Processes (2013)BPMN 2.0 OR-Join Semantics: Global and local characterisation (2021)Auditing Business Process Compliance (2007)Modeling Control Objectives for Business Process Compliance (2007)Formal semantics and automated analysis of BPMN process models (2007)A Process Semantics for BPMN (2008)A Relative Timed Semantics for BPMN (2009)A BPMN Extension for the Modeling of Security Requirements in Business Processes (2007)Business process management (BPM) standards: a survey (2009)
this work references cited by second hop

References

  • 2004Business Process Modeling Notation (BPMN), Version 1.0472 cited
  • 2008A Method for Verifiable and Validatable Business Process Modeling52 cited
  • 2010A New Semantics for the Inclusive Converging Gateway in Safe Processes38 cited
  • 2010Formal Analysis of BPMN Models Using Event-B36 cited

Cited by

  • 2013Deontic BPMN: a powerful extension of BPMN with a trusted model transformation17 cited

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