SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Formalising Business Process Execution with Bigraphs and Reactive XML
4 references·0 citing·19 second hop
Formalising Business Process Execution with Bigraphs and Reactive XML (2006)Formalising Business Process Execution wi…Using the π-Calculus for Formalizing Workflow Patterns (2005)Using the π-Calculus for Form…Essential Business Process Modeling (2005)Essential Business Process Mo…A Petri Net Semantics for BPEL (2005)A Petri Net Semantics for BPELWorkspaces: a Web-based workflow management system (2002)Workspaces: a Web-based workf…Process modeling (1992)Business Process Management: The Third Wave (2003)Workflow Patterns (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)The interdisciplinary study of coordination (1994)SWAP: leveraging the Web to manage workflow (1999)XML-enabled workflow management for e-services across heterogeneous platforms (2001)A framework and coordination technologies for peer-to-peer based decentralised workflow systems (2004)XFlow: An XML-Based Document-Centric Workflow (2005)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Production Workflow - Concepts and Techniques (2000)Formal Semantics and Verification of BPMN Transaction and Compensation (2008)A new verification technique for large processes based on identification of relevant tasks (2014)The relationship between workflow graphs and free-choice workflow nets (2014)A static compliance-checking framework for business process models (2007)A computer scientist's introductory guide to business process management (BPM) (2009)A conceptualized investment model of crowdfunding (2013)
this work references cited by second hop

References

  • 2005Essential Business Process Modeling295 cited
  • 2005Using the π-Calculus for Formalizing Workflow Patterns142 cited
  • 2005A Petri Net Semantics for BPEL69 cited
  • 2002Workspaces: a Web-based workflow management system26 cited

Cited by

No citing works inside the corpus for this window.

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