SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Simulation and Formal Analysis of Workflow Models
1 references·3 citing·13 second hop
Simulation and Formal Analysis of Workflow Models (2008)Simulation and Formal Analysis of Workflo…From business process model to consistent implementation: a case for formal verification methods (2003)From business process model t…Formal approach for compliance rules checking in business process models (2013)Formal approach for complianc…A pattern-based approach for the verification of business process descriptions (2012)A pattern-based approach for …Formal modeling of BPEL workflows including fault and compensation handling (2007)Formal modeling of BPEL workf…Workflow Management: Models, Methods, and Systems (2001)Workflow Management (2002)Transforming BPEL to Petri Nets (2005)Formalization and verification of event-driven process chains (1999)Workflow Patterns (2003)Semantics and analysis of business process models in BPMN (2008)What’s in an Electronic Business Model? (2000)A Framework for Integrating Business Processes and Business Requirements (2004)Model-driven business process recovery (2005)Integrated model-driven dashboard development (2007)Business Process Management: A Survey (2003)Process Mining and Verification of Properties: An Approach Based on Temporal Logic (2005)Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008)
this work references cited by second hop

References

  • 2003From business process model to consistent implementation: a case for formal verification methods82 cited

Cited by

  • 2007Formal modeling of BPEL workflows including fault and compensation handling11 cited
  • 2013Formal approach for compliance rules checking in business process models9 cited
  • 2012A pattern-based approach for the verification of business process descriptions9 cited

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