-
题名基于π-ADL的软件体系结构描述
- 1
-
-
作者
王小刚
李玉龙
韩虎
-
机构
兰州交通大学数理与软件工程学院
-
出处
《兰州交通大学学报》
CAS
2010年第6期99-101,共3页
-
基金
甘肃省自然科学基金(2008GS02625)
甘肃省教育厅科研基金资助项目(0804-01)
-
文摘
为便于软件体系结构的形式化描述,在π-ADL的语法基础上,简化其连接,增加了连接件的角色描述,并给出描述体系结构及元素的基本句法.通过一个例子展示了π-ADL的使用方法.最后说明在π-ADL描述基础上软件体系结构的求精.
-
关键词
软件体系结构
体系结构描述语言
π-adl
形式化
-
Keywords
software architecture
architecture description language
π-adl
formalization
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种形式化的动态体系结构描述语言
被引量：33
- 2
-
-
作者
李长云
李赣生
何频捷
-
机构
浙江大学计算机软件研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2006年第6期1349-1359,共11页
-
基金
国家自然科学基金
湖南省自然科学基金
霍英东青年教师基金~~
-
文摘
描述动态体系结构的关键在于如何刻画软件的动态行为.基于高阶多型π演算理论,提出了动态体系结构描述语言D-ADL(dynamicarchitecturedescriptionlanguage).在D-ADL中,构件、连接件和体系结构风格被模型化为高阶多型π演算中的抽象(abstraction)类型,系统行为被模型化为进程(process),构件和连接件的交互点则被模型化为通道(channel).为方便系统变更逻辑的编写、修改和理解,D-ADL将动态行为从计算行为中分离出来,显式、集中地表达.由于动态行为可形式化为高阶π演算进程,其结果因此能够被预先推导.在D-ADL规约框架下,给出了将π演算的行为模拟和等价理论用于系统联机演化和体系结构模型求精的规则.实际案例说明了D-ADL的应用.
-
关键词
软件体系结构
ADL
构件
高阶多型π演算
动态行为
-
Keywords
software architecture
ADL
component
high-order multi-type π calculus
dynamic behavior
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种面向自适应软件系统的体系结构描述语言
被引量：4
- 3
-
-
作者
高俊
沈才梁
郑美芳
李长云
-
机构
浙江工业职业技术学院
湖南工业大学计算机与通信学院
-
出处
《计算机应用研究》
CSCD
北大核心
2010年第5期1796-1801,共6页
-
基金
国家自然科学基金资助项目(60773110)
湖南省教育厅优秀青年科研项目(06B023)
-
文摘
从构件角度出发,结合软件agent技术,提出一种能表示根据需求和环境的变化实施自主行为的E-BDI构件模型。基于高阶多型π演算理论,在现有的动态体系结构描述语言D-ADL基础上,提出一种能从运行时角度描述自适应构件的动态行为的体系结构描述语言SOS-ADL。利用SOS-ADL形式化描述E-BDI结构的自适应构件行为,使构件能根据变化的环境和需求,自主推导自身的行为,达到实现软件自适应的目的。案例说明了面向自适应软件系统的体系结构描述语言SOS-ADL的应用。
-
关键词
软件体系结构
自适应
体系结构描述语言
动态行为
高阶多型π演算
-
Keywords
software architecture
self-adaptive
ADL
dynamic behavior
higher-order polytypic π-calculus
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
