Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

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

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes

4 references·3 citing·29 second hop

FromToDepth

this work references cited by second hop

References

2010Structuring Acyclic Process Models183 cited
2011Formal verification of business processes with temporal and resource constraints58 cited
2011Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes53 cited
2013Toward a Time-centric modeling of Business Processes in BPMN 2.046 cited

Cited by

2019A modular approach to the specification and management of time duration constraints in BPMN19 cited
2016Formal Verification of Time-Aware Cloud Resource Allocation in Business Process18 cited
2018Managing Decision Tasks and Events in Time-Aware Business Process Models16 cited

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