Rule-based modeling and static analysis of self-adaptive systems by graph transformation

DOI10.1007/978-3-319-15545-6_33MaRDI QIDQ5256370zbMATH OpenOpenAlexFDO

Authors Antonio Bucchiarone, Hartmut Ehrig, Patrizio Pelliccione, Olga Runge, Claudia Ermel

Publication date 22 June 2015

Published in Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15545-6_33

Mathematics Subject Classification ID

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

Recommendations

• Multi-valued logic in graph transformation theory and self-adaptive systems
• Formal modeling of evolving self-adaptive systems
• Modelling dynamic software architectures using typed graph grammars
• Model-based dependable composition of self-adaptive systems
• scientific article; zbMATH DE number 1958166

Cites work

• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• Rule-based modeling and static analysis of self-adaptive systems by graph transformation
• Structured algebraic specifications: A kernel language
• Types of software evolution and software maintenance

Cited in

(8)

• Formal modeling of evolving self-adaptive systems
• Multi-valued logic in graph transformation theory and self-adaptive systems
• Model-based dependable composition of self-adaptive systems
• Reconfiguring system hierarchies with multi-valued logic
• scientific article; zbMATH DE number 1958166 (Why is no real title available?)
• 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
• Analysing adaption processes of Hornets

Describes a project that uses

Uses Software

• AGG
• JBoss

This page was built for publication: Rule-based modeling and static analysis of self-adaptive systems by graph transformation

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