Paper Info
Title
Towards a Formal Approach for Prototyping and Verifying Self-Adaptive Systems.
Abstract
Software adaptation is becoming increasingly important as more and more applications need to dynamically adapt their structure and behavior to cope with changing contexts, available resources and user requirements. Maude is a high-performance reflective language and system, supporting both equational and rewriting logic specification and programming for a wide range of applications. In this paper we describe our experience in using Maude for prototyping and verifying self-adaptive systems. In order to illustrate the benefits of adopting a formal approach based on Maude to develop self-adaptive systems we present a case study in the robotics domain.
Year
DOI
Venue
2013
10.1007/978-3-642-38490-5_39
ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS (CAISE)
Keywords
Field
DocType
Self-Adaptive Systems,Prototyping,Maude,VML
Programming language,Systems engineering,Computer science,Software adaptation,Self adaptive,Rewriting,Artificial intelligence,User requirements document,Robotics
Conference
Volume
ISSN
Citations 
148
1865-1348
2
PageRank 
References 
Authors
0.38
9
2
Name
Order
Citations
PageRank
Juan F. Inglés-Romero1123.14
Cristina Vicente-chicote216022.28