Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Software architecture styles as graph grammars
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
ADLs and dynamic architecture changes
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Self organising software architectures
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Graph grammars and constraint solving for software architecture styles
ISAW '98 Proceedings of the third international workshop on Software architecture
Algebraic software architecture reconfiguration
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Dynamic coordination architecture through the use of reflection
Proceedings of the 2001 ACM symposium on Applied computing
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Exploiting architectural design knowledge to support self-repairing systems
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Self-organising software architectures for distributed systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
An Architecture-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Event-Based Execution Architectures for Dynamic Software Systems
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Specification and Refinement of Dynamic Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Component technology: what, where, and how?
Proceedings of the 25th International Conference on Software Engineering
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems
Proceedings of the 17th IEEE international conference on Automated software engineering
On the Role of Software Architectures in Runtime System Reconfiguration
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Describing dynamic software architectures using an extended UML model
Proceedings of the 2006 ACM symposium on Applied computing
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Task-driven automated component deployment for ambient intelligence environments
Pervasive and Mobile Computing
Towards Multiple Access in Generic Component Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Towards Re-engineering Legacy Systems for Assured Dynamic Adaptation
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Mixed-Mode Adaptation in Distributed Systems: A Case Study
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
A framework for supporting dynamic systems co-evolution
Automated Software Engineering
Runtime adaptation in safety-critical automotive systems
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Modeling collaborations with dynamic structural adaptation in mechatronic UML
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Comparing architecture description languages for mobile software systems
Proceedings of the 1st international workshop on Software architectures and mobility
Modelling Dynamic Software Architectures using Typed Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Assurance of dynamic adaptation in distributed systems
Journal of Parallel and Distributed Computing
Autonomous functional configuration of a network robot system
Robotics and Autonomous Systems
Managing Dynamic Evolution of Architectural Types
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
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
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Resilience through dynamic reconfiguration in agent systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Context-Driven Autonomic Adaptation of SLA
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Self-adaptive software: Landscape and research challenges
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
A Need for Biologically Inspired Architectural Description: The Agent Ontogenesis Case
Agent Computing and Multi-Agent Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
Modeling Dimensions of Self-Adaptive Software Systems
Software Engineering for Self-Adaptive Systems
Model-Driven Assessment of QoS-Aware Self-Adaptation
Software Engineering for Self-Adaptive Systems
A declarative formal approach to dynamic reconfiguration
Proceedings of the 1st international workshop on Open component ecosystems
SM@RT: towards architecture-based runtime management of Internetware systems
Proceedings of the First Asia-Pacific Symposium on Internetware
Correct Execution of Reconfiguration for Stateful Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Brief announcement: towards modular verification of stabilisation in self-adaptive embedded systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Dynamic system reconfiguration via service composition for dependable computing
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Dynamic adaptation of aspect-oriented components
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Modeling and analyzing architectural change with alloy
Proceedings of the 2010 ACM Symposium on Applied Computing
Formal analysis of policy-based self-adaptive systems
Proceedings of the 2010 ACM Symposium on Applied Computing
From model-based design to formal verification of adaptive embedded systems
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Editorial: Commentary on 'Software architectures and mobility: A Roadmap'
Journal of Systems and Software
Design in CommUnity with extension morphisms
Formal methods and hybrid real-time systems
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling the asynchronous dynamic evolution of architectural types
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
A formal approach to enforcing consistency in self-adaptive systems
ECSA'10 Proceedings of the 4th European conference on Software architecture
Towards dynamic adaptation of probabilistic systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Reusing dynamic communication protocols in self-adaptive embedded component architectures
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Ten years of analyzing actors: Rebeca experience
Formal modeling
Context-based behavioral equivalence of components in self-adaptive systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Utilising alternative application configurations in context- and qos-aware mobile middleware
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Modeling and enforcing invariants of dynamic software architectures
Software and Systems Modeling (SoSyM)
Specifying self-configurable component-based systems with fractoy
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Modeling composition in dynamic programming environments with model transformations
SC'06 Proceedings of the 5th international conference on Software Composition
Evolution on-the-fly with paradigm
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Distributed adaption of dining philosophers
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Modeling dynamic virtualized resource landscapes
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Towards modeling reconfiguration in hierarchical component architectures
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Property networks allowing oracle-based mode-change propagation in hierarchical components
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
A feedback-based decentralised coordination model for distributed open real-time systems
Journal of Systems and Software
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Dynamic adaptive search based software engineering
Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study
Journal of Systems and Software
LossEstimate: Distributed failure estimation in wireless networks
Journal of Systems and Software
Stitch: A language for architecture-based self-adaptation
Journal of Systems and Software
Dynamic reconfiguration of software architectures through aspects
ECSA'07 Proceedings of the First European conference on Software Architecture
The quest for runware: on compositional, executable and intuitive models
Software and Systems Modeling (SoSyM)
Modeling and verifying dynamic communication structures based on graph transformations
Computer Science - Research and Development
Self-adaptation for mobile robot algorithms using organic computing principles
ARCS'13 Proceedings of the 26th international conference on Architecture of Computing Systems
A discipline-spanning development process for self-adaptive mechatronic systems
Proceedings of the 2013 International Conference on Software and System Process
High-quality specification of self-adaptive software systems
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
On self-adaptation in systems-of-systems
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems
Hi-index | 0.00 |
As dynamic software architecture use becomes more widespread, a variety of formal specification languages have been developed to gain a better understanding of the foundations of this type of software evolutionary change. In this paper we survey 14 formal specification approaches based on graphs, process algebras, logic, and other formalisms. Our survey will evaluate the ability of each approach to specify self-managing systems as well as the ability to address issues regarding expressiveness and scalability. Based on the results of our survey we will provide recommendations on future directions for improving the specification of dynamic software architectures, specifically self-managed architectures.