Lookup NU author(s): Dr Leo Freitas,
Professor Paul Watson
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This paper presents an formalization of federated cloud workflows using the Z notation. It is an abstract specification with properties of interest being observed by the possible deployments, which are symbolically calculated by the Z/EVES theorem prover. Mathematical rules are used to define these properties by restricting valid options for security, cost, dependability, etc. A Haskell implementation of these proved properties is also presented. We have a Haskell implementation of the approach that is used to generate valid workflow deployment options, given the user workflow input and the security and cost properties of interest. The result is a set of (sub)-workflows as GraphWiz files respecting these properties.
Author(s): Freitas L, Watson P
Publication type: Article
Publication status: Published
Journal: International Journal of Computer Mathematics
Print publication date: 01/05/2014
Online publication date: 20/08/2013
Acceptance date: 24/06/2013
ISSN (print): 0020-7160
ISSN (electronic): 1029-0265
Publisher: Taylor & Francis
Altmetrics provided by Altmetric