Retraction notice to ‘‘Specification and Verification of Dynamic Evolution of Software Architectures” [SYSARC 56 (10) (2010) 523–533]

2012 ◽  
Vol 58 (8) ◽  
pp. 338
Author(s):  
Xu Hongzhen ◽  
Zeng Guosun
Keyword(s):  
Dynamic Evolution ◽  
Software Architectures ◽  
Specification And Verification ◽  
Retraction Notice

MODELING AND VERIFYING COMPOSITE DYNAMIC EVOLUTION OF SOFTWARE ARCHITECTURES USING HYPERGRAPH GRAMMARS

2013 ◽  
Vol 23 (06) ◽  
pp. 775-799 ◽  
Author(s):  
HONGZHEN XU ◽  
GUOSUN ZENG
Keyword(s):  
Data Structures ◽  
Formal Method ◽  
Graphical Representation ◽  
General Structure ◽  
Software Systems ◽  
Dynamic Evolution ◽  
Software Architectures ◽  
Model Composite ◽  
Verification Algorithms ◽  
Data Structures And Algorithms

As software systems become more and more complex, there is need to consider not only data structures and algorithms but also the general structure or architecture of the system. Many researchers have presently focused on dynamic evolution of software architectures. Most of them usually emphasized on describing and analyzing the dynamic evolution process of software architectures, while lacking formally modeling and verifying composite dynamic evolution of software architectures. In this paper, we propose a formal method of modeling and verifying composite dynamic evolution of software architectures using hypergraph grammars. We represent software architectures with hypergraphs, give out corresponding composite evolution rules of software architectures, and then model composite dynamic evolution of software architectures according to those rules. At last we verify the liveness property of composite dynamic evolution of software architectures using model checking, and give out corresponding verification algorithms. Our approach provides a graphical representation for composite dynamic evolution of software architectures, and displays a formal theoretical basis on grammars.

Sign in / Sign up

Export Citation Format

Share Document