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

DOI10.1007/978-3-319-15545-6_33zbMath1398.68092MaRDI 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

68T05: Learning and adaptive systems in artificial intelligence

68Q42: Grammars and rewriting systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation, 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

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