检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:高俊[1] 沈才梁[1] 郑美芳[1] 李长云[2]
机构地区:[1]浙江工业职业技术学院,浙江绍兴312008 [2]湖南工业大学计算机与通信学院,湖南株洲412008
出 处:《计算机应用研究》2010年第5期1796-1801,共6页Application Research of Computers
基 金:国家自然科学基金资助项目(60773110);湖南省教育厅优秀青年科研项目(06B023)
摘 要:从构件角度出发,结合软件agent技术,提出一种能表示根据需求和环境的变化实施自主行为的E-BDI构件模型。基于高阶多型π演算理论,在现有的动态体系结构描述语言D-ADL基础上,提出一种能从运行时角度描述自适应构件的动态行为的体系结构描述语言SOS-ADL。利用SOS-ADL形式化描述E-BDI结构的自适应构件行为,使构件能根据变化的环境和需求,自主推导自身的行为,达到实现软件自适应的目的。案例说明了面向自适应软件系统的体系结构描述语言SOS-ADL的应用。From component perspective, combined with the technology of agent, this paper presented an component model called E-BDI, which was able to adapt itself to the requirements’ and runtime environment’s variability. Based on the higher-order polytypic π-calculus theory, through the way of extended the existing researching achievement D-ADL, it presented an architecture description language SOS-ADL which could descript the self-adaptive component’s dynamic behavior from the runtime perspective. To reach the goal of self-adaptive software’s implement, depicied the self-adaptive component of E-BDI structure was formally with SOS-ADL, which could deduce itself behavior according to the variability of the environment and the requirement. At last, illustrated the software oriented self-adaptive architecture description language’s application through a case.
关 键 词:软件体系结构 自适应 体系结构描述语言 动态行为 高阶多型π演算
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.16.10.2