We make the measurability of our R&D results one of our primary tasks. We want to show to the world that semantic technologies are becoming reality. Find out more about our results and our spin-off companies.
Formal Frameworks for Workflow Modelling
Intitution:
DERI
Type:
Number:
Key:
Address:
Document:
Note:
We survey formal frameworks for workflow modelling. We summarise important
aspects of workflow management and approaches to evaluate current workflow management systems. We discuss a number of formalisms for workflow modelling, namely Petri nets, Temporal Logic, and Transaction Logic. We decribe how these formalisms are used specifically for workflow modelling, their possibilities and their disadvantages.
Contact person in charge.