Consistency analysis of dynamic evolution of software architectures using constraint hypergraph grammars

Authors:
Hongzhen Xu;Bin Tang;Ying Gui
Affiliations:
Department of Computer Science and Technology, East China Institute of Technology, Fuzhou, Jiangxi Province, China and Application of Nuclear Technology Engineering Center of Ministry of Education ...;Department of Computer Science and Technology, East China Institute of Technology, Fuzhou, Jiangxi Province, China and Application of Nuclear Technology Engineering Center of Ministry of Education ...;Department of Computer Science and Technology, East China Institute of Technology, Fuzhou, Jiangxi Province, China
Venue:
ICICA'10 Proceedings of the First international conference on Information computing and applications
Year:
2010

Citing 9
Cited 0

Dynamic structure in software architectures

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Describing Software Architecture Styles Using Graph Grammars

IEEE Transactions on Software Engineering
Specification and Refinement of Dynamic Software Architectures

WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems

Proceedings of the 17th IEEE international conference on Automated software engineering
π-ADL: an Architecture Description Language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures

ACM SIGSOFT Software Engineering Notes
Software Reconfiguration Patterns for Dynamic Evolution of Software Architectures

WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Describing dynamic software architectures using an extended UML model

Proceedings of the 2006 ACM symposium on Applied computing
Modelling Dynamic Software Architectures using Typed Graph Grammars

Electronic Notes in Theoretical Computer Science (ENTCS)
Using the AADL to describe distributed applications from middleware to software components

Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

With increasing demands and changing environment on software systems, a major challenge for those systems is to evolve themselves to adapt to these variations, especially during their running, where dynamic evolution of software architectures has been a key issue of software dynamic evolution research. Most current research in this direction focuses on describing dynamic evolution process of software architectures, and lack consistency analysis of dynamic evolution of software architectures. In this paper, we propose to represent software architectures with constraint hypergraphs, model dynamic evolution of software architectures with constraint hypergraph grammars, and discuss the consistency condition and corresponding consistency decision method of dynamic evolution of software architectures. Our approach provides a formal theoretical basis and a user-friendly graphical representation for consistency analysis of dynamic evolution of software architectures.