This paper presents the Eclipse plug-ins for the Task Flow model in the Discovery Method. These plug-ins provide an IDE for the Task Algebra compiler and the model-checking tools. The Task Algebra is the formal representation for the Task Model and it is based on simple and compound tasks. The model-checking techniques were developed to validate Task Models represented in the algebra.
Cite
@article{arxiv.1107.2683,
title = {An IDE to Build and Check Task Flow Models},
author = {Carlos Alberto Fernandez-y-Fernandez and Jose Angel Quintanar Morales and Hermenegildo Fernandez Santos},
journal= {arXiv preprint arXiv:1107.2683},
year = {2011}
}