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 条

[41] Formal specification and verification of decentralized self-adaptive systems using symmetric nets
Matteo Camilli
Lorenzo Capra
Discrete Event Dynamic Systems, 2021, 31 : 609 - 657
[42] A Formal Model for Self-Adaptive and Self-Healing Organizations
Haesevoets, Robrecht
Weyns, Danny
Holvoet, Tom
Joosen, Wouter
2009 ICSE WORKSHOP ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, 2009, : 116 - 125
[43] Towards Self-Adaptive Game Logic
Fredericks, Erik M.
DeVries, Byron
Moore, Jared M.
2022 IEEE/ACM 6TH INTERNATIONAL WORKSHOP ON GAMES AND SOFTWARE ENGINEERING (GAS 2022), 2022, : 24 - 29
[44] Towards Self-adaptive Cloud Collaborations
Gohad, Atul
Ponnalagu, Karthikeyan
Narendra, Nanjangud C.
Rao, Praveen S.
PROCEEDINGS OF THE 2013 IEEE INTERNATIONAL CONFERENCE ON CLOUD ENGINEERING (IC2E 2013), 2013, : 54 - 61
[45] SELF-ADAPTIVE CONTROL SYSTEMS
DIPROSE, KV
AERONAUTICAL JOURNAL, 1968, 72 (688): : 367 - &
[46] Towards a Self-Adaptive Middleware for Building Reliable Publish/Subscribe Systems
Duan, Sisi
Sun, Jingtao
Peisert, Sean
INTERNET AND DISTRIBUTED COMPUTING SYSTEMS, IDCS 2015, 2015, 9258 : 157 - 168
[47] Towards a Self-Adaptive Architecture for Federated Learning of Industrial Automation Systems
Franco, Nicola
Van, Hoai My
Dreiser, Marc
Weiss, Gereon
2021 INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2021), 2021, : 210 - 216
[48] An Approach to Predictive Analysis of Self-Adaptive Systems in Design Time
Araujo de Oliveira, Patricia
Duran, Francisco
Pimentel, Ernesto
SERVICE-ORIENTED COMPUTING - ICSOC 2017 WORKSHOPS, 2018, 10797 : 363 - 368
[49] A Correct by Construction Approach For Modeling and Formalizing Self-adaptive Systems
Hachicha, Marwa
Dammak, Emna
Ben Halima, Riadh
Kacem, Ahmed Hadj
2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2016, : 379 - 384
[50] Self-adaptive material systems
Arnaut, LR
ADVANCES IN ELECTROMAGNETICS OF COMPLEX MEDIA AND METAMATERIALS, 2002, 89 : 421 - 438

← 1 2 3 4 5 →