ASM-based formal design of an adaptivity component for a cloud system

DOI10.1007/S00165-016-0371-5MaRDI QIDQ315283zbMATH OpenOpenAlexFDO

Authors Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene

Publication date 20 September 2016

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-016-0371-5

zbMATH Keywords

verificationvalidationcloud computingdistributed systemsabstract state machinesmodel refinementmodeling process

Mathematics Subject Classification ID

Internet topics (68M11) Distributed systems (68M14)

Recommendations

• Design and validation of cloud storage systems using formal methods
• Frontiers of Combining Systems
• scientific article; zbMATH DE number 7234801
• Distributed Adaptive Systems
• The abstract state machines method for high-level system design and analysis

Cites work

• scientific article; zbMATH DE number 1650458 (Why is no real title available?)
• scientific article; zbMATH DE number 1951195 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• ASM refinement preserving invariants
• Abstract State Machines
• Algebraic simulations
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Frontiers of Combining Systems
• Modelling Systems
• Requirements engineering.
• Sequential abstract-state machines capture sequential algorithms
• The ASM refinement method
• The B-Book
• The High Road to Formal Validation:
• Web services, formal methods, and behavioral types. 11th international workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11--12, 2014, and 12th international workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4--5, 2015. Revised selected papers

Cited in

(3)

• The ASMETA approach to safety assurance of software systems
• A verification and deployment approach for elastic component-based applications
• Design and validation of cloud storage systems using formal methods

Describes a project that uses

Uses Software

• AsmetaSMV
• CoMA
• Maude
• SPIN

This page was built for publication: ASM-based formal design of an adaptivity component for a cloud system

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