Graph grammars and constraint solving for software architecture styles
ISAW '98 Proceedings of the third international workshop on Software architecture
Acme: architectural description of component-based systems
Foundations of component-based systems
Communicating sequential processes
Communications of the ACM
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
A Formal Approach to Software Architectures
Proceedings of the IFIP 12th World Computer Congress on Algorithms, Software, Architecture - Information Processing '92, Volume 1 - Volume I
ABC/ADL: An ADL Supporting Component Composition
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and 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
Rapide: A Language and Toolset for Simulation of Distributed Systems by Partial Orderings of Events.
Rapide: A Language and Toolset for Simulation of Distributed Systems by Partial Orderings of Events.
PRISMA: Towards Quality, Aspect Oriented and Dynamic Software Architectures
QSIC '03 Proceedings of the Third International Conference on Quality Software
ACM SIGSOFT Software Engineering Notes
Using UML2.0 and GG for Describing the Dynamic of Software Architectures
ICITA '05 Proceedings of the Third International Conference on Information Technology and Applications (ICITA'05) Volume 2 - Volume 02
A Unified Formal Model for Supporting Aspect-Oriented Dynamic Software Architecture
ICCIT '07 Proceedings of the 2007 International Conference on Convergence Information Technology
Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL
ICSEA '08 Proceedings of the 2008 The Third International Conference on Software Engineering Advances
Automated adaptations to dynamic software architectures by using autonomous agents
Engineering Applications of Artificial Intelligence
QSIC '10 Proceedings of the 2010 10th International Conference on Quality Software
RETRACTED: Specification and verification of dynamic evolution of software architectures
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |
Compared to the traditional software architecture, Dynamic Software Architectures (DSAs) should be able to describe the changes of the system and to effect modifications during system execution, especially for dynamic evolution. To reflect the changes during system execution, we present a formalism for describing architecture structure and interaction behavior, and we also specify four evolution rules for software architecture. Our work expands the idea in three directions. The first is to formalize the architecture structure and interaction behavior including components, connectors and an architectural reference model. The second direction is that we formalize four dynamic evolution rules which DSAs should support, that is, addition, removal, replacement and reconfiguration. Another direction is that we verify software architecture consistency and integrity after dynamic evolution. We use a client/server application as a running example throughout the paper to demonstrate our approach. Our work provides a precise formal specification for software architecture and a rigorous verification for dynamic evolution.