计算机科学 ›› 2009, Vol. 36 ›› Issue (9): 127-130.
• 软件工程与数据库技术 • 上一篇 下一篇
任洪敏,张敬周,杨志应
出版日期:
发布日期:
基金资助:
REN Hong-min, ZHANG Jing-zhou, YANG Zhi-ying
Online:
Published:
摘要: 动态软件架构(Dynamic Software Architccturc)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,莫定了动态架构行为分析和仿真的基础,并能对动态架构的诸多要素进行建模,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等。
关键词: 软件架构,动态软件架构,架构描述语言,π演算
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
任洪敏,张敬周,杨志应. 基于π演算的动态软件架构研究[J]. 计算机科学, 2009, 36(9): 127-130. https://doi.org/
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. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2009/V36/I9/127
Cited