Pages that link to "Item:Q549695"
From MaRDI portal
The following pages link to Property specifications for workflow modelling (Q549695):
Displaying 9 items.
- On the expressive power of behavioral profiles (Q315288) (← links)
- Formalisations and applications of BPMN (Q541678) (← links)
- Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations (Q1996863) (← links)
- A system for deduction-based formal verification of workflow-oriented software models (Q2018423) (← links)
- Cost analysis for an actor-based workflow modelling language (Q2154052) (← links)
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models (Q2423750) (← links)
- BPMN -- a logical model and property analysis (Q2902368) (← links)
- Property Specifications for Workflow Modelling (Q3605458) (← links)
- Algebraic Reasoning About Timeliness (Q6197377) (← links)