Computer Science ›› 2009, Vol. 36 ›› Issue (9): 127-130.
Previous Articles Next Articles
REN Hong-min, ZHANG Jing-zhou, YANG Zhi-ying
Online:
Published:
Abstract: Dynamic software architecture is one of the important research subjects in software architecture. This paper discussed issues in modeling and analyzing dynamic software architectures, proposed a modeling method of dynamic software architectures based on π-calculus, and developed an algorithm for reasoning about the semantics of dynamic architectural configuration. The π-calculus based modeling method is able to specify many aspects of dynamic architecture,including cause,time,operations and non-instantaneous change,etc.
Key words: Software architecture,Dynamic software architecture,Architecture description language,π-calculus
REN Hong-min, ZHANG Jing-zhou, YANG Zhi-ying. Research on Dynamic Software Architecture Based on π-Calculus[J].Computer Science, 2009, 36(9): 127-130.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2009/V36/I9/127
Cited