SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Soundness Verification of Business Processes Specified in the Pi-Calculus
8 references·4 citing·33 second hop
Soundness Verification of Business Processes Specified in the Pi-Calculus (2007)Soundness Verification of Business Proces…Business Process Modeling Notation (2008)Business Process Modeling Not…Investigations on Soundness Regarding Lazy Activities (2006)Investigations on Soundness R…Using the π-Calculus for Formalizing Workflow Patterns (2005)Using the π-Calculus for Form…Workflow Patterns (2003)Workflow PatternsBusiness Process Management: A Survey (2003)Business Process Management: …Workflow Management (2002)Workflow ManagementRelaxed Soundness of Business Processes (2001)Relaxed Soundness of Business…Verification of workflow nets (1997)Verification of workflow netsCorrectness checking for BPMN collaborations with sub-processes (2020)Correctness checking for BPMN…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…Business process modeling with continuous validation (2010)Business process modeling wit…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Formalization and verification of event-driven process chains (1999)Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003)Verification of EPCs: Using Reduction Rules and Petri Nets (2005)Detection and Prediction of Errors in EPC Business Process Models. (2007)Process modeling (1992)Business Process Management: The Third Wave (2003)On the Formal Semantics of Change Patterns in Process-Aware Information Systems (2008)Workflow Time Patterns for Process-Aware Information Systems (2010)Enterprise Modelling and Information Systems Architectures (2012)YAWL: yet another workflow language (2004)Designing routines: On the folly of designing artifacts, while hoping for patterns of action (2008)BPMN: An introduction to the standard (2011)Business Process Management: A Comprehensive Survey (2013)Business processes—attempts to find a definition (2003)How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation (2008)Semantics and analysis of business process models in BPMN (2008)Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions (2019)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Scientific workflow management and the Kepler system (2005)Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Business Process Model and Notation (2011)Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations (2020)Towards a Formal Framework for Reuse in Business Process Modeling (2008)Process instantiation (2009)Formal verification of complex business processes based on high-level Petri nets (2017)Business process management (BPM) standards: a survey (2009)Business process management with the user requirements notation (2009)Business process modeling languages (2010)Analyzing process models using graph reduction techniques (2000)Inheritance of workflows: an approach to tackling problems related to change (2002)Process mining: a research agenda (2003)Design Science in Information Systems Research1 (2004)
this work references cited by second hop

References

  • 2003Workflow Patterns2,613 cited
  • 2003Business Process Management: A Survey1,349 cited
  • 1997Verification of workflow nets802 cited
  • 2002Workflow Management744 cited
  • 2008Business Process Modeling Notation430 cited
  • 2005Using the π-Calculus for Formalizing Workflow Patterns142 cited
  • 2001Relaxed Soundness of Business Processes137 cited
  • 2006Investigations on Soundness Regarding Lazy Activities73 cited

Cited by

  • 2020Correctness checking for BPMN collaborations with sub-processes44 cited
  • 2017BProVe: A formal verification framework for business process models36 cited
  • 2010Business process modeling with continuous validation36 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