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

DOI10.1007/S00165-016-0371-5zbMath1345.68021OpenAlexW2339731235MaRDI QIDQ315283

Roxana-Maria Holom, Paolo Arcaini, 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

verificationdistributed systemsabstract state machinesvalidationcloud computingmodel refinementmodeling process

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• The ASM refinement method
• Algebraic simulations
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• The High Road to Formal Validation:
• The B-Book
• Abstract State Machines
• Modelling Systems
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Frontiers of Combining Systems
• Sequential abstract-state machines capture sequential algorithms

Related Items (1)

The ASMETA approach to safety assurance of software systems

Uses Software

• SPIN
• Maude
• CoMA
• AsmetaSMV

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