Petri nets: an introduction
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Model-based adaptation for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
The Vision of Autonomic Computing
Computer
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Quality driven web services composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Style-Based Refinement of Dynamic Software Architectures
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
An approach for QoS-aware service composition based on genetic algorithms
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
A Service Discovery Framework for Service Centric Systems
SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
Policy Based Adaptive Services for Mobile Commerce
WMCS '05 Proceedings of the Second IEEE International Workshop on Mobile Commerce and Services
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Using Architecture Models for Runtime Adaptability
IEEE Software
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Autonomic computing: Architectural approach and prototype
Integrated Computer-Aided Engineering
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Self-healing BPEL processes with Dynamo and the JBoss rule engine
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Modeling Dimensions of Self-Adaptive Software Systems
Software Engineering for Self-Adaptive Systems
Engineering Self-Adaptive Systems through Feedback Loops
Software Engineering for Self-Adaptive Systems
Towards an assume-guarantee theory for adaptable systems
SEAMS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Model checking dynamic states in GROOVE
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
RETRACTED: Specification and verification of dynamic evolution of software architectures
Journal of Systems Architecture: the EUROMICRO Journal
A framework for evaluating quality-driven self-adaptive software systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
QoS contract-aware reconfiguration of component architectures using e-graphs
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Distributed adaption of dining philosophers
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
A conceptual framework for adaptation
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
AGG 2.0 --- new features for specifying and analyzing algebraic graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Hi-index | 0.00 |
Self-healing (SH-)systems are characterized by an automatic discovery of system failures, and techniques how to recover from these situations. In this paper, we show how to model SH-systems using algebraic graph transformation. These systems are modeled as typed graph grammars enriched with graph constraints. This allows not only for formal modeling of consistency and operational properties, but also for their analysis and verification using the tool AGG. We present sufficient static conditions for self-healing properties, deadlock-freeness and liveness of SH-systems. The overall approach is applied to a traffic light system case study, where the corresponding properties are verified.