Workflow Modelling and Analysis Based on the Construction of Task Models
We describe the structure of a workflow as a graph whose vertices represent tasks and the arcs are associated to workflow transitions in this paper. To each task an input/output logic operator is associated. Furthermore, we associate a Boolean term to each transition present in the workflow. We stil...
Main Author: | |
---|---|
Format: | Online |
Language: | English |
Published: |
Hindawi Publishing Corporation
2015
|
Online Access: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4326341/ |