Towards a Formal Approach for Prototyping and Verifying Self-Adaptive Systems

被引：0

作者：

Ingles-Romero, Juan F. ^{[1
]}

Vicente-Chicote, Cristina ^{[2
]}

机构：

[1] Univ Politecn Cartagena, Dept Tecnol Informac & Comunicac, Edificio Antigones, Cartagena 30202, Spain

[2] Univ Extremadura, Quercus Software Engn Grp QSEG, Caceres 10003, Spain

来源：

ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS (CAISE) | 2013年 / 148卷

关键词：

Self-Adaptive Systems; Prototyping; Maude; VML; SOFTWARE;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：432 / 446

页数：15

共 50 条

[21] Towards a Code of Ethics for Autonomous and Self-Adaptive Systems
Weyns, Danny
2020 IEEE/ACM 15TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, SEAMS, 2020, : 163 - 164
[22] Towards Self-Adaptive Systems with Hierarchical Decentralised Control
Yonbawi, Saud
Calinescu, Radu
2018 IEEE 3RD INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), 2018, : 14 - 16
[23] Towards Fully Decentralized Self-Adaptive Reactive Systems
Caporuscio, Mauro
ICPE'17: COMPANION OF THE 2017 ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING, 2017, : 17 - 17
[24] Recovery nets: Towards self-adaptive workflow systems
Hamadi, R
Benatallah, B
WEB INFORMATION SYSTEMS - WISE 2004, PROCEEDINGS, 2004, 3306 : 439 - 453
[25] Self-adaptive systems: A middleware managed approach
Gjorven, Eli
Eliassen, Frank
Lund, Ketil
Eide, Viktor S. Wold
Staehli, Richard
SELF-MANAGED NETWORKS, SYSTEMS, AND SERVICES, PROCEEDINGS, 2006, 3996 : 15 - 27
[26] Towards a Framework for Self-adaptive Systems Conceptual Modeling
da Silva, Joao Pablo S.
Pimenta, Marcelo S.
Ecar, Miguel
Giordano, Douglas Montanha
Chagas, Jonas M.
Otokovieski, Marina B.
Dias, Bruna de Abreu
Forrati, Samuel Mueller
PROCEEDINGS OF THE 19TH BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS, 2023, : 325 - 331
[27] SOTA: Towards a General Model for Self-Adaptive Systems
Abeywickrama, Dhaminda B.
Bicocchi, Nicola
Zambonelli, Franco
2012 IEEE 21ST INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2012, : 48 - 53
[28] Towards Self-adaptive MPSoC Systems with Adaptivity Throttling
Quan, Wei
Pimentel, Andy D.
PROCEEDINGS INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS - ARCHITECTURES, MODELING AND SIMULATION (SAMOS XV), 2015, : 157 - 164
[29] FESAS: Towards a Framework for Engineering Self-Adaptive Systems
Krupitzer, Christian
VanSyckel, Sebastian
Becker, Christian
2013 IEEE 7TH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS (SASO), 2013, : 263 - 264
[30] Towards Self-Adaptive Software-Intensive Systems
Mueller, Hausi A.
IWPSE-EVOL 09: ERCIM WORKSHOP ON SOFTWARE EVOLUTION (EVOL) AND INTERNATIONAL WORKSHOP ON PRINCIPLES OF SOFTWARE EVOLUTION (IWPSE), 2009, : 7 - 7

← 1 2 3 4 5 →