Imagen de Portada

A MAPE-K-Based Method for Architectural Conformance Checking in Self-Adaptive Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Martín, Daniel San, Angulo, Guisella, de Camargo, Valter Vieira
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A systematic mapping on quantum software development in the context of software engineering
por: Junior, Paulo Eduardo Zanni, et al.
Publicado: (2021)

A Task Taxonomy for Conformance Checking
por: Rehse, Jana-Rebecca, et al.
Publicado: (2025)

Using rule engine in self-healing systems and MAPE model
por: Yazdanparast, Zahra
Publicado: (2024)

When Web Apps Heal Themselves: A MAPE-K Based Approach to Fault Tolerance and Adaptive Recovery
por: Aribe Jr, Sales, et al.
Publicado: (2026)

A Privacy-Preserving Approach to Conformance Checking
por: Rodríguez-Flores, Luis, et al.
Publicado: (2026)

Agentic Model Checking
por: Sun, Youcheng, et al.
Publicado: (2026)

Secure Conformance Checking using Token-based Replay and Homomorphic Encryption
por: Rodríguez-Flores, Luis-Armando, et al.
Publicado: (2026)

The Runtime Dimension of Ethics in Self-Adaptive Systems
por: Autili, Marco, et al.
Publicado: (2026)

Automated Configuration Synthesis for Machine Learning Models: A git-Based Requirement and Architecture Management System
por: AlShriaf, Abdullatif, et al.
Publicado: (2024)

ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge
por: Chen, Junyong, et al.
Publicado: (2024)

SWITCH: An Exemplar for Evaluating Self-Adaptive ML-Enabled Systems
por: Marda, Arya, et al.
Publicado: (2024)

A Functional Software Reference Architecture for LLM-Integrated Systems
por: Bucaioni, Alessio, et al.
Publicado: (2025)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)
por: Beyer, Dirk, et al.
Publicado: (2024)

ReProbe: An Architecture for Reconfigurable and Adaptive Probes
por: Alessi, Federico, et al.
Publicado: (2024)

Towards Enabling An Artificial Self-Construction Software Life-cycle via Autopoietic Architectures
por: Rodriguez-Cardenas, Daniel, et al.
Publicado: (2026)

Model-Checking the Implementation of Consent
por: Pardo, Raúl, et al.
Publicado: (2024)

POLARIS: Is Multi-Agentic Reasoning the Next Wave in Engineering Self-Adaptive Systems?
por: Pandey, Divyansh, et al.
Publicado: (2025)

Combining GPT and Code-Based Similarity Checking for Effective Smart Contract Vulnerability Detection
por: Zhang, Jango
Publicado: (2024)

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
por: Chen, Boqi, et al.
Publicado: (2025)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
por: Harie, Yojiro, et al.
Publicado: (2024)

PAT-Agent: Autoformalization for Model Checking
por: Zuo, Xinyue, et al.
Publicado: (2025)

Software Self-Extension with SelfEvolve: an Agentic Architecture for Runtime Code Generation
por: Fahim, Md Asif Iqbal, et al.
Publicado: (2026)

CALM: A Self-Adaptive Orchestration Approach for QoS-Aware Routing in Small Language Model based Systems
por: Jain, Hemang, et al.
Publicado: (2026)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
por: Feng, Nick, et al.
Publicado: (2024)

A Case Study on Model Checking and Runtime Verification for Awkernel
por: Hasegawa, Akira, et al.
Publicado: (2025)

Hallucination Inspector: A Fact-Checking Judge for API Migration
por: Tileria, Marcos, et al.
Publicado: (2026)

Autonomic Microservice Management via Agentic AI and MAPE-K Integration
por: Esposito, Matteo, et al.
Publicado: (2025)

Fault-Tolerant Design and Multi-Objective Model Checking for Real-Time Deep Reinforcement Learning Systems
por: Su, Guoxin, et al.
Publicado: (2026)

AutonomyLens: A Self-Evolving Simulation-Based Testing Loop for Autonomous Systems
por: Agrawal, Ankit, et al.
Publicado: (2026)

Agile System Development Lifecycle for AI Systems: Decision Architecture
por: Gill, Asif Q.
Publicado: (2025)

A Reference Architecture for Embedding Quantum Software Into Enterprise Systems
por: Uphues, Marc, et al.
Publicado: (2025)

Architectural Design Decisions for Self-Serve Data Platforms in Data Meshes
por: van Eijk, Tom, et al.
Publicado: (2024)

Genetic Programming for Self-Adaptive Auto-Scaling of Microservices
por: Li, Jia, et al.
Publicado: (2026)

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
por: Kräuter, Tim, et al.
Publicado: (2024)

Systematic API Testing Through Model Checking and Executable Contracts
por: Ribeiro, Ana, et al.
Publicado: (2026)

SoK: Automated Vulnerability Repair: Methods, Tools, and Assessments
por: Hu, Yiwei, et al.
Publicado: (2025)

Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
por: Sun, Zeyu, et al.
Publicado: (2025)

Decision Models for Selecting Architecture Patterns and Strategies in Quantum Software Systems
por: Aktar, Mst Shamima, et al.
Publicado: (2025)

Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
por: Trinh, Hiep Hong, et al.
Publicado: (2025)

Towards a Generic Software Architecture for IoT Systems
por: Abuseta, Yousef
Publicado: (2024)