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

DOI10.1080/00207160.2013.820282MaRDI QIDQ2921900zbMATH OpenOpenAlexFDO

Authors Leo Freitas, Paul Watson

Publication date 14 October 2014

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207160.2013.820282

zbMATH Keywords

Bell-Lapadulafederated cloudsformal proofHaskellZ/EVES

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Design and validation of cloud storage systems using formal methods
• scientific article; zbMATH DE number 7234801
• WorkflowFM: a logic-based framework for formal process specification and composition
• On the efficiency of several VM provisioning strategies for workflows with multi-threaded tasks on clouds
• Clustering coefficient-based workflow slicing and multi-cloud scheduling

Cites work

• Proving Theorems About JML Classes

Describes a project that uses

Uses Software

• Haskell
• Z/EVES
• GraphWiz
• Z

This page was built for publication: Formalizing workflows partitioning over federated clouds: multi-level security and costs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2921900)