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...

Full description

Bibliographic Details
Main Author: Cravo, Glória
Format: Online
Language:English
Published: Hindawi Publishing Corporation 2015
Online Access:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4326341/