Table of Contents Author Guidelines Submit a Manuscript
The Scientific World Journal
Volume 2015, Article ID 481767, 7 pages
Research Article

Workflow Modelling and Analysis Based on the Construction of Task Models

1Center for Linear Structures and Combinatorics, University of Lisbon, 1649-003 Lisbon, Portugal
2Center of Exact Sciences and Engineering, University of Madeira, Funchal, 9020-105 Madeira, Portugal

Received 30 September 2014; Accepted 3 December 2014

Academic Editor: Dar-Li Yang

Copyright © 2015 Glória Cravo. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


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 still identify the structure of workflows and describe their dynamism through the construction of new task models. This construction is very simple and intuitive since it is based on the analysis of all tasks present on the workflow that allows us to describe the dynamism of the workflow very easily. So, our approach has the advantage of being very intuitive, which is an important highlight of our work. We also introduce the concept of logical termination of workflows and provide conditions under which this property is valid. Finally, we provide a counter-example which shows that a conjecture presented in a previous article is false.