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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2015-01-01
|
| Series: | The Scientific World Journal |
| Online Access: | http://dx.doi.org/10.1155/2015/481767 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832553389898072064 |
|---|---|
| author | Glória Cravo |
| author_facet | Glória Cravo |
| author_sort | Glória Cravo |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-41d75683120545f8b46335350616f43e |
| institution | Kabale University |
| issn | 2356-6140 1537-744X |
| language | English |
| publishDate | 2015-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | The Scientific World Journal |
| spelling | doaj-art-41d75683120545f8b46335350616f43e2025-02-03T05:54:09ZengWileyThe Scientific World Journal2356-61401537-744X2015-01-01201510.1155/2015/481767481767Workflow Modelling and Analysis Based on the Construction of Task ModelsGlória Cravo0Center for Linear Structures and Combinatorics, University of Lisbon, 1649-003 Lisbon, PortugalWe 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.http://dx.doi.org/10.1155/2015/481767 |
| spellingShingle | Glória Cravo Workflow Modelling and Analysis Based on the Construction of Task Models The Scientific World Journal |
| title | Workflow Modelling and Analysis Based on the Construction of Task Models |
| title_full | Workflow Modelling and Analysis Based on the Construction of Task Models |
| title_fullStr | Workflow Modelling and Analysis Based on the Construction of Task Models |
| title_full_unstemmed | Workflow Modelling and Analysis Based on the Construction of Task Models |
| title_short | Workflow Modelling and Analysis Based on the Construction of Task Models |
| title_sort | workflow modelling and analysis based on the construction of task models |
| url | http://dx.doi.org/10.1155/2015/481767 |
| work_keys_str_mv | AT gloriacravo workflowmodellingandanalysisbasedontheconstructionoftaskmodels |