Pages that link to "Item:Q1859984"
From MaRDI portal
The following pages link to A formal framework for business process modelling and design (Q1859984):
Displaying 10 items.
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
- Algorithm for formal verification of business process templates (Q464876) (← links)
- A rigorous methodology for specification and verification of business processes (Q1037243) (← links)
- Formal methods to improve public administration business processes (Q2889178) (← links)
- A Multi-perspective Methodology for Modelling Inter-enterprise Business Processes (Q4411492) (← links)
- Formalising Feasibility and Correctness of Distributed Business Processes (Q4411497) (← links)
- Verification and Validation of Formal Data-Centric Business Models (Q4621198) (← links)
- (Q4795347) (← links)
- Four Steps Towards Sound Business Process Models (Q5392156) (← links)
- Algorithmical approaches to business process design (Q5955965) (← links)