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 Watson

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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

URL: http://dx.doi.org/10.1080/00207160.2013.820282

DOI: 10.1080/00207160.2013.820282


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share