Model-based dependable composition of self-adaptive systems

MaRDI QIDQ2888203zbMATH OpenFDO

Authors Javier Cubo, Carlos Canal, Ernesto Pimentel

Publication date 30 May 2012

Published in Informatica (Ljubljana) (Search for Journal in Brave)

zbMATH Keywords

adaptationcontext-awaredependable compositionerror recoveryevolutionfault tolerancemodel transformationself-adaptiveSOAtransition systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• A formal approach to adaptive software: continuous assurance of non-functional requirements
• Rule-based modeling and static analysis of self-adaptive systems by graph transformation
• scientific article; zbMATH DE number 2087292
• scientific article; zbMATH DE number 1958165
• Verification based decision-making for self-adaptive systems: a model-driven approach

Cited in

(8)

• A formal approach to adaptive software: continuous assurance of non-functional requirements
• Formal modeling of evolving self-adaptive systems
• scientific article; zbMATH DE number 2183547 (Why is no real title available?)
• scientific article; zbMATH DE number 1951516 (Why is no real title available?)
• Verification based decision-making for self-adaptive systems: a model-driven approach
• Architecture-based resilience evaluation for self-adaptive systems
• Rule-based modeling and static analysis of self-adaptive systems by graph transformation
• A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems

Describes a project that uses

Uses Software

• WSAT

This page was built for publication: Model-based dependable composition of self-adaptive systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2888203)