Description and Verification of Dynamic Software Architectures for Distributed Systems

摘要

Continuing growth and increasing complexity ofdistributed software systems make them be more flexible,adaptive and easily extensible. Dynamic evolution orreconfiguration of distributed software systems is onepossible solution to meet these demands. However, there aresome challenges for building dynamically evolvingdistributed software systems at runtime, where dynamicsoftware architectures for them is one of the most crucialproblems. In this paper, we proposed a formal method ofdescribing and verifying dynamic software architectures fordistributed systems using hypergraph grammars. We firstlygave out reconfiguration production rules and operationsfor software architectures based on hypergraph grammars,and then described dynamic reconfiguration of softwarearchitectures for distributed systems according to thoserules. At last we verified the invariant property of dynamicsoftware architectures for those systems using modelchecking, and gave out corresponding verificationalgorithms.