On Modeling Approach for Dynamic Software Architecture

Zhenhua Yu,Yuanli Cai,Haiping Xu
DOI: https://doi.org/10.3321/j.issn:0253-987X.2007.02.009
2007-01-01
Abstract:Aiming at the defects of existing methods for modeling of dynamic software architecture, a novel software architecture abstract model (SAAM) is presented, in which two complementary formalisms, namely object-oriented Petri nets (OPN) and π-calculus, are adopted as formal theory bases. The OPN are employed to visualize initial architecture as well as system behaviors; while π-calculus is used to describe software architecture evolutions. These two formal methods are integrated in the SAAM, and the SAAM can be analyzed and verified by the corresponding supporting tools. Furthermore, the evolving strategy of components and the consistency among components can also be analyzed using π-calculus so as to detect the design errors in early software design stage and significantly improve the quality of software. A classical gas station example is used to show that SAAM is intuitional and effectively describes dynamic software architecture.
What problem does this paper attempt to address?