Sciweavers

WICSA
2008

Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs

13 years 5 months ago
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments and design objectives. To deal with reconfigurable software architectures, the formal method should be presented to describe software architectures and express their changes so that these changes on the evolutions of software architectures could be reasoned about. However, current formal methods for reconfigurable software architectures are difficult to represent hierarchy and model contextaware systems. In this paper, we use and extend Bigraph as a formal method to describe reconfigurable software architecture. By providing graphic elements and term languages, extended bigraphs can survey static and dynamic architectures easily. Then we represent basic architectural operations based on extended bigraphs, through a case describe reconfigurations with constraints and context-aware information by reaction rule...
Zhiming Chang, XinJun Mao, Zhichang Qi
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2008
Where WICSA
Authors Zhiming Chang, XinJun Mao, Zhichang Qi
Comments (0)