Fernández-y-Fernández, C.A. and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2018) An algebra to represent task flow models. Journal of Advance Computational Research, 3 (2). 1. pp. 63-74. ISSN 2277-5781
Abstract
This paper presents the algebra representation for the Task Flow model in the Discovery Method. This metamodel is based on simple and compound tasks structured using operators such as sequence, selection, and parallel composition. Recursion and encapsulation are also considered. The axioms of the algebra are presented as well as a set of examples showing a combination of basic elements in the expressions.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © Year The Author(s). This is an Open Access article distributed under the terms of the Creative Commons Attribution Licence (http://creativecommons.org/licenses/by/3.0) |
Keywords: | Formal specification; software modelling; lightweight formal methods |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 28 Jul 2023 13:35 |
Last Modified: | 28 Jul 2023 13:35 |
Published Version: | https://www.theaspd.com/resources/JACR/2018/JACR-3... |
Status: | Published |
Publisher: | Academic Science Publications and Distributions |
Refereed: | Yes |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:201955 |