SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support
15 references·0 citing·42 second hop
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support (2018)Animating Multiple Instances in BPMN Coll…Formal verification of complex business processes based on high-level Petri nets (2017)Formal verification of comple…An Operational Semantics of BPMN Collaboration (2016)An Operational Semantics of B…A Transformation Approach to Enact the Design-Time Simulation of BPMN Models (2014)A Transformation Approach to …Modeling and Enacting Complex Data Dependencies in Business Processes (2013)Modeling and Enacting Complex…Data-Aware Interaction in Distributed and Collaborative Workflows: Modeling, Semantics, Correctness (2012)Data-Aware Interaction in Dis…A visual token-based formalization of BPMN 2.0 based on in-place transformations (2012)A visual token-based formaliz…Process Management: A Guide for the Design of Business Processes (2011)Process Management: A Guide f…Transforming BPMN Diagrams into YAWL Nets (2008)Transforming BPMN Diagrams in…Semantics and analysis of business process models in BPMN (2008)Semantics and analysis of bus…A Process Semantics for BPMN (2008)A Process Semantics for BPMNA Method for Verifiable and Validatable Business Process Modeling (2008)A Method for Verifiable and V…YAWL: yet another workflow language (2004)YAWL: yet another workflow la…Pattern-based analysis of UML activity diagrams (2004)Pattern-based analysis of UML…Process Management (2003)Process ManagementBusiness Process Change: A Study of Methodologies, Techniques, and Tools* (1997)Business Process Change: A St…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)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)Chief executives define their own data needs. (1979)Process innovation: reengineering work through information technology (1993)The Role of Relational Information Processes and Technology Use in Customer Relationship Management (2005)Organizational Path Dependence: Opening the Black Box (2009)Service, value networks and learning (2009)The New Industrial Engineering: Information Technology and Business Process Redesign (2011)Design Patterns: Elements of Reusable Object-Oriented Software (1994)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Business Process Management: A Survey (2003)Business Process Management: A Comprehensive Survey (2013)Business Process Modeling Notation (2008)Efficient querying of large process model repositories (2012)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 Process Management Workshops (2008)Business Process Model and Notation—BPMN (2014)Transformation of Business Process Model and Notation models onto Petri nets and their analysis (2018)A formal approach for the analysis of BPMN collaboration models (2021)Business artifacts: An approach to operational specification (2003)Case handling: a new paradigm for business process support (2004)Process and deviation exploration with Inductive visual Miner (2014)The State of the Art of Business Process Management Research as Published in the BPM Conference (2015)Connecting databases with process mining: a meta model and toolset (2018)Activity labeling in process modeling: Empirical insights and recommendations (2009)From business process models to process-oriented software systems (2009)Refactoring large process model repositories (2011)Case Study and Maturity Model for Business Process Management Implementation (2009)Dimensions of Business Processes Quality (QoBP) (2009)Productivity and Performance Effects of Business Process Reengineering: A Firm-Level Analysis (2011)
this work references cited by second hop

References

  • 2004YAWL: yet another workflow language1,413 cited
  • 1997Business Process Change: A Study of Methodologies, Techniques, and Tools*985 cited
  • 2008Semantics and analysis of business process models in BPMN727 cited
  • 2011Process Management: A Guide for the Design of Business Processes319 cited
  • 2008A Process Semantics for BPMN178 cited
  • 2013Modeling and Enacting Complex Data Dependencies in Business Processes119 cited
  • 2003Process Management110 cited
  • 2017Formal verification of complex business processes based on high-level Petri nets73 cited
  • 2008Transforming BPMN Diagrams into YAWL Nets56 cited
  • 2008A Method for Verifiable and Validatable Business Process Modeling52 cited
  • 2004Pattern-based analysis of UML activity diagrams50 cited
  • 2012A visual token-based formalization of BPMN 2.0 based on in-place transformations44 cited
  • 2012Data-Aware Interaction in Distributed and Collaborative Workflows: Modeling, Semantics, Correctness29 cited
  • 2014A Transformation Approach to Enact the Design-Time Simulation of BPMN Models25 cited
  • 2016An Operational Semantics of BPMN Collaboration21 cited

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

Cited by

No citing works inside the corpus for this window.