SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
A visual token-based formalization of BPMN 2.0 based on in-place transformations
7 references·9 citing·37 second hop
A visual token-based formalization of BPMN 2.0 based on in-place transformations (2012)A visual token-based formalization of BPM…Formalisations and applications of BPMN (2009)Formalisations and applicatio…Semantics and analysis of business process models in BPMN (2008)Semantics and analysis of bus…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 BPMNTransformation of BPMN Models for Behaviour Analysis (2007)Transformation of BPMN Models…Workflow Patterns (2003)Workflow PatternsVerification of workflow nets (1997)Verification of workflow netsFormalising and animating multiple instances in BPMN collaborations (2019)Formalising and animating mul…Transformation of Business Process Model and Notation models onto Petri nets and their analysis (2018)Transformation of Business Pr…Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support (2018)Animating Multiple Instances …BProVe: A formal verification framework for business process models (2017)BProVe: A formal verification…Aligning Event Logs to Task-Time Matrix Clinical Pathways in BPMN for Variance Analysis (2017)Aligning Event Logs to Task-T…An Operational Semantics of BPMN Collaboration (2016)An Operational Semantics of B…BPMN Conformance in Open Source Engines (2015)BPMN Conformance in Open Sour…BPMN Formalization and Verification using Maude (2014)BPMN Formalization and Verifi…BPMN 2.0 Serialization - Standard Compliance Issues and Evaluation of Modeling Tools. (2013)BPMN 2.0 Serialization - Stan…A Declarative Approach for Flexible Business Processes Management (2006)Workflow control-flow patterns : a revised view (2006)Business Process Management Workshops (2008)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)Business Process Modeling Notation (BPMN), Version 1.0 (2004)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)Soundness of workflow nets: classification, decidability, and analysis (2010)Verifying Timed BPMN Processes Using Maude (2017)A rewriting logic approach to resource allocation analysis in business process models (2019)Scientific workflow management and the Kepler system (2005)Formal verification of complex business processes based on high-level Petri nets (2017)A formal approach for the analysis of BPMN collaboration models (2021)YAWL: yet another workflow language (2004)The ProM Framework: A New Era in Process Mining Tool Support (2005)Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008)Opportunities and constraints: the current struggle with BPMN (2010)Similarity of business process models: Metrics and evaluation (2010)Business processes—attempts to find a definition (2003)How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation (2008)Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT (2018)Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions (2019)BPMN 2.0 OR-Join Semantics: Global and local characterisation (2021)Reengineering the Corporation: A Manifesto for Business Revolution (1994)Business Process Change: A Study of Methodologies, Techniques, and Tools* (1997)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Business Process Management: A Survey (2003)Formalization and verification of event-driven process chains (1999)Analyzing process models using graph reduction techniques (2000)Inheritance of workflows: an approach to tackling problems related to change (2002)Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems (2009)Checking business process evolution (2018)Stochastic analysis of BPMN with time in rewriting logic (2018)
this work references cited by second hop

References

  • 2003Workflow Patterns2,613 cited
  • 1997Verification of workflow nets802 cited
  • 2008Semantics and analysis of business process models in BPMN727 cited
  • 2008A Process Semantics for BPMN178 cited
  • 2009Formalisations and applications of BPMN78 cited
  • 2007Transformation of BPMN Models for Behaviour Analysis78 cited
  • 2008Formal Analysis of BPMN Via a Translation into COWS51 cited

Cited by

  • 2018Transformation of Business Process Model and Notation models onto Petri nets and their analysis40 cited
  • 2017BProVe: A formal verification framework for business process models36 cited
  • 2014BPMN Formalization and Verification using Maude31 cited
  • 2015BPMN Conformance in Open Source Engines24 cited
  • 2017Aligning Event Logs to Task-Time Matrix Clinical Pathways in BPMN for Variance Analysis22 cited
  • 2019Formalising and animating multiple instances in BPMN collaborations22 cited
  • 2016An Operational Semantics of BPMN Collaboration21 cited
  • 2018Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support21 cited

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

2013
BPMN 2.0 Serialization - Standard Compliance Issues and Evaluation of Modeling Tools.
20 cited