-
题名离散服务化的网管体系结构研究与实现
- 1
-
-
作者
陈福
杨家海
徐月梅
-
机构
北京外国语大学计算机科学与技术系
清华大学信息科学与技术国家实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2016年第15期126-134,共9页
-
基金
国家自然科学基金(No.61170209
No.61502038)
+1 种基金
教育部新世纪优秀人才支持计划资助(No.NCET-13-0676)
北京外国语大学2011重点课题(No.BFSU2011-ZD04)
-
文摘
提出了一种基于服务的网络管理体系结构模型及其初步实现。定义了面向网管的领域本体库,提出了一种可语义搜索、跨域调用、按需组合和P2P模式网管服务发布的网管体系结构。
-
关键词
对等网络(P2P)
跨域管理
语义网管
网管本体库
网管体系结构
-
Keywords
Peer to Peer(P2P)
cross-domain management
semantic network management
network ontology
network
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名网络服务行为的进程代数验证方法研究及其应用
被引量：1
- 2
-
-
作者
陈福
杨家海
杨扬
王元卓
贾美英
-
机构
北京外国语大学计算机科学与技术系
清华大学信息科学与技术国家实验室
北京科技大学计算机科学与技术系
中国科学院计算技术研究所网络重点实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
2011年第9期1660-1668,共9页
-
基金
国家"八六三"高技术研究发展计划项目基金(2009AA01Z251
2008AA01A303)
+6 种基金
国家"九七三"重点基础研究发展规划项目基金(2009CB320505)
国家科技支撑项目(2008BAH37B05)
国家自然科学基金(60873192
61070182
60873193
60803123)
中央高校基本科研业务费专项资金(2010XJ025)资助~~
-
文摘
通过形式化建模分析了系统特点,确认系统行为,从而尽可能避免系统的冲突等情况.文中提出了一种使用进程代数描述网络服务组件的行为建模方法,包括强模拟、强互模拟、时效性、触发器、服务环境等网络服务交互行为描述方法,然后给出了P2P节点的节点发现、防火墙穿越等行为的描述,提出了适用于托管的RCMMS网络自管理协议,并使用代数的方法描述协议行为,确认其合理性,从而验证文中所提出的方法.
-
关键词
进程代数
Π演算
服务行为
交互系统演算
-
Keywords
process algebra
π calculus, service behavior
interactive systems calculus
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
