Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

A Survey of Formal Verification for Business Process Modeling

3 references·15 citing·43 second hop

FromToDepth

this work references cited by second hop

References

1978The New Science of Management Decision3,200 cited
1960The new science of management decision.2,439 cited
2005Transforming BPEL to Petri Nets294 cited

Cited by

2017Formal verification of complex business processes based on high-level Petri nets73 cited
2011Formal verification of business processes with temporal and resource constraints58 cited
2018A formal approach to modeling and verification of business process collaborations50 cited
2021A formal approach for the analysis of BPMN collaboration models49 cited
2013Automated runtime repair of business processes45 cited
2020Correctness checking for BPMN collaborations with sub-processes44 cited
2017BProVe: A formal verification framework for business process models36 cited
2019Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions27 cited
2011Conceptual framework for business processes compositional verification26 cited
2015Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach26 cited
2013Verification of Artifact-Centric Systems: Decidability and Modeling Issues26 cited
2010

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

Business Processes Verification for e-Government Service Delivery

22 cited

2010Developer-friendly verification of process-based systems20 cited

2014Business Process Verification: The Application of Model Checking and Timed Automata20 cited

2010Transdisciplinary Approach to Service Design Based on Consumer's Value and Decision Making15 cited