Formal Design of Cloud Computing Systems in Maude

Meseguer, José

Permalink

https://hdl.handle.net/2142/101410 Copy

Description

Title

Formal Design of Cloud Computing Systems in Maude

Author(s)

Meseguer, José

Issue Date

2018-09-16

Keyword(s)

• specification and verification of distributed systems
• cloud computing
• rewriting logic
• Maude

Abstract

Cloud computing systems are complex distributed systems whose design is challenging for two main reasons: (1) since they are distributed systems, a correct design is very hard to achieve by testing alone; and (2) cloud computing applications have high availability and performance requirements; but these are hard to measure before implementation and hard to compare between different implementations. This paper summarizes our experience in using formal specification in Maude and model checking analysis to quickly explore the design space of a cloud computing system to achieve a high quality design that: (1) has verified correctness guarantees; (2) has better performance properties than other design alternatives so explored; (3) can be achieved before an actual implementation; and (4) can be used for both rapid prototyping and for automatic code generation.

Type of Resource

text

Language

en

Permalink

http://hdl.handle.net/2142/101410

Owning Collections