-
题名基于高阶多型π演算的可生存系统认知模型研究
被引量：1
- 1
-
-
作者
赵国生
张楠
王健
-
机构
哈尔滨师范大学计算机科学与信息工程学院
哈尔滨理工大学计算机科学与技术学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2016年第2期275-282,共8页
-
基金
国家自然科学基金(61202458
61403109)
高等学校博士学科点专项科研基金(20112303120007)
-
文摘
提出一个具有多层感知能力的可生存系统认知模型。基于高阶多型π演算把认知模型的形式化建模与认知能力的量化分析同步结合,通过对系统运行状态和系统业务及内部结构形式化建模后进行认知能力的量化评估。提出一个具有多层感知能力的可生存系统认知模型;基于高阶多型π演算对可生存系统认知模型从两个角度进行形式化建模;利用MWB工具实现对不同攻击场景下的系统可用性、瞬时可用性、稳态可用性和高优先级任务吞吐量的试验。
-
关键词
可生存系统
认知模型
高阶多型π演算
形式化建模
-
Keywords
survivable system
cognitive model
high-order multi-type π calculus
formal modeling
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
-
题名一种形式化的动态体系结构描述语言
被引量：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
[自动化与计算机技术—计算机软件与理论]
-
