Software architecture styles as graph grammars
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Self-adaptive software for signal processing
Communications of the ACM
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Graph grammars and constraint solving for software architecture styles
ISAW '98 Proceedings of the third international workshop on Software architecture
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
A flexible approach to decentralized software evolution
Proceedings of the 21st international conference on Software engineering
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
Configuring distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Software's Future: Managing Evolution
IEEE Software
Self-Adaptive Software for Hard Real-Time Environments
IEEE Intelligent Systems
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Specification and Refinement of Dynamic Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Analysing Dynamic Change in Software Architectures: A Case Study
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
The Challenges of Building Advanced Mechatronic Systems
FOSE '07 2007 Future of Software Engineering
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Systematic verification of multi-agent systems based on rigorous executable specifications
International Journal of Agent-Oriented Software Engineering
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
Incremental model synchronization with triple graph grammars
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model-driven development of reconfigurable mechatronic systems with MECHATRNOIC UML
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Model checking dynamic states in GROOVE
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Model-driven architectural monitoring and adaptation for autonomic systems
ICAC '09 Proceedings of the 6th international conference on Autonomic computing
A formal approach to enforcing consistency in self-adaptive systems
ECSA'10 Proceedings of the 4th European conference on Software architecture
Formal analysis and verification of self-healing systems
FASE'10 Proceedings of the 13th 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
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study
Journal of Systems and Software
Planning self-adaption with graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
| Hi-index | 0.00 |
Software is always embedded in a social and technical context which change over time and therefore also the software has to be adjusted over time to preserve its value. Self-adaptive systems provide a vision how the systems can become capable of doing a large fraction of the required adaptations autonomously. In this paper we first discuss what is required to model correct self-adaptive systems. We then present the formal model of graph transformation systems which serves most of the identified needs. Based on this findings we outline how UML class and object diagrams as well as extensions for the modeling of behavior based upon graph transformation systems can be employed to model correct self-adaptive system. An application example is used to present how the approach can be employed to model self-adaptive systems at a high level of abstraction and means to ensure its correctness are discussed.