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 条

[31] Formal Modelling and Verification of Real-Time Self-Adaptive Systems
Cicirelli, Franco
Nigro, Libero
Pupo, Francesco
2019 IEEE/ACM 23RD INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), 2019, : 154 - 161
[32] Towards Self-Adaptive IDEs
Minelli, Roberto
2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), 2014, : 666 - 666
[33] Developing a Reusable Control-Based Approach to Build Self-Adaptive Software Systems with Formal Guarantees
Shevtsov, Stepan
FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 1060 - 1062
[34] Towards Requirements Engineering Process for Self-adaptive Embedded Systems
Mecibah, Zina
Boutekkouk, Fateh
SOFTWARE ENGINEERING AND ALGORITHMS IN INTELLIGENT SYSTEMS, 2019, 763 : 338 - 345
[35] Approach of self-adaptive illumination for optical imaging systems
Zhou, Sheng
Goodliffe, Jim
Cai, Hao
Zhou, Kui
Zhang, Xianglin
APPLIED OPTICS, 2014, 53 (23) : 5205 - 5210
[36] An ASSL Approach to Handling Uncertainty in Self-adaptive Systems
Vassev, Emil
Hinchey, Mike
Balasubramaniam, Dharini
Dobson, Simon
2011 34TH IEEE SOFTWARE ENGINEERING WORKSHOP (SEW 2011), 2011, : 11 - 18
[37] Formal specification and verification of decentralized self-adaptive systems using symmetric nets
Camilli, Matteo
Capra, Lorenzo
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2021, 31 (04): : 609 - 657
[38] A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems
Kachi, Fatma
Bouanaka, Chafia
Merkouche, Souheir
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (329): : 48 - 64
[39] FORMS: Unifying Reference Model for Formal Specification of Distributed Self-Adaptive Systems
Weyns, Danny
Malek, Sam
Andersson, Jesper
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2012, 7 (01)
[40] Towards Simulating Architectural Patterns for Self-Aware and Self-Adaptive Systems
Abeywickrama, Dhaminda B.
Zambonelli, Franco
Hoch, Nicklas
2012 IEEE SIXTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS (SASOW), 2012, : 133 - 138

← 1 2 3 4 5 →