Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation

DOI10.1007/978-3-319-15545-6_33zbMath1398.68092OpenAlexW2180163204MaRDI QIDQ5256370

Olga Runge, Patrizio Pelliccione, Antonio Bucchiarone, Hartmut Ehrig, 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

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

Related Items (4)

Reconfiguring system hierarchies with multi-valued logic ⋮ Formal modeling of evolving self-adaptive systems ⋮ Multi-valued logic in graph transformation theory and self-adaptive systems ⋮ Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation

Uses Software

• AGG
• JBoss

Cites Work

• Unnamed Item
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Structured algebraic specifications: A kernel language
• Fundamentals of algebraic graph transformation
• Types of software evolution and software maintenance
• Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation

This page was built for publication: Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation