Toggle Main Menu Toggle Search

Open Access padlockePrints

Formalizing workflows partitioning over federated clouds: multi-level security and costs

Lookup NU author(s): Dr Leo Freitas, Professor Paul WatsonORCiD


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.

Publication metadata

Author(s): Freitas L, Watson P

Publication type: Article

Publication status: Published

Journal: International Journal of Computer Mathematics

Year: 2014

Volume: 91

Issue: 5

Pages: 881-906

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


DOI: 10.1080/00207160.2013.820282


Altmetrics provided by Altmetric


Funder referenceFunder name
EP/G066019/1Research Councils UK