An IDE to Build and Check Task Flow Models
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2011
- DOI:
- 10.48550/arXiv.1107.2683
- arXiv:
- arXiv:1107.2683
- Bibcode:
- 2011arXiv1107.2683F
- Keywords:
-
- Computer Science - Software Engineering
- E-Print:
- Fernandez-y-Fernandez, C.A., Quintanar Morales, J.A and Fernandez Santos, H. An IDE to Build and Check Task Flow Models. Advances in Computer Science and Applications, Research in Computer Science 53, 2011, pp. 23-33