Compatibility is the precondition to ensure the correct interaction among components in composition process, how to make the mismatch components coordinate correctly is a vital problem in component composition. This p...Compatibility is the precondition to ensure the correct interaction among components in composition process, how to make the mismatch components coordinate correctly is a vital problem in component composition. This paper first modeled component behavior by LTS and expressed action mapping as synchronous vector then defined the sequential relationship among synchronous vectors as adaptation contract. Thirdly we analyzed the different mismatch situations and corresponding adaptation strategies. At last designed adaptation algorithm to produce adaptor specification automatically and ensured the mismatch components can correct interaction under the mediation of adaptor and verified the validity of proposed method through an application system.展开更多
A dynamic object behavior model based on computational reflection is proposed. This model consists of function level and meta level, the meta objects in meta level manage the base objects and behaviors in function lev...A dynamic object behavior model based on computational reflection is proposed. This model consists of function level and meta level, the meta objects in meta level manage the base objects and behaviors in function level, including dynamic binding and unbinding of base object and behavior. We implement this model with RoleJava Language,which is our self linguistic extension of the Java Language.Meta Objects are generated automatically at compile\|time,this makes the reflecton mechanism transparent to programmers.Finally an example applying this model to a banking system is presented.展开更多
随着网络应用的快速发展,传统网络面临诸多挑战,难以满足新型应用的服务质量QoS(Quality of Service)需求,网络管理变得极其复杂,迫切要求网络具备认知能力.文中提出了一种面向认知网络的QoS路由协议.为了满足不同应用的QoS需求,路由请...随着网络应用的快速发展,传统网络面临诸多挑战,难以满足新型应用的服务质量QoS(Quality of Service)需求,网络管理变得极其复杂,迫切要求网络具备认知能力.文中提出了一种面向认知网络的QoS路由协议.为了满足不同应用的QoS需求,路由请求对应不同业务类型和服务等级,映射到相应的QoS参数.文中赋予路由节点感觉、活动感、记忆、查找、决策、执行、推理、解释等认知行为,设计了与这些行为相对应的协议报文,支持节点之间通过这些报文进行交互,从而具备认知能力.节点只收集和维护局部邻居和链路状态信息,通过使用和维护经验路段信息提高路由效率.文中对所提出的路由协议在原型系统上进行了实现,对协议的多项性能指标进行了评价.实验结果表明,文中所提出的路由协议是可行和有效的.展开更多
文摘Compatibility is the precondition to ensure the correct interaction among components in composition process, how to make the mismatch components coordinate correctly is a vital problem in component composition. This paper first modeled component behavior by LTS and expressed action mapping as synchronous vector then defined the sequential relationship among synchronous vectors as adaptation contract. Thirdly we analyzed the different mismatch situations and corresponding adaptation strategies. At last designed adaptation algorithm to produce adaptor specification automatically and ensured the mismatch components can correct interaction under the mediation of adaptor and verified the validity of proposed method through an application system.
基金Supported by the National Natural Science Foundation of China(60373086)
文摘A dynamic object behavior model based on computational reflection is proposed. This model consists of function level and meta level, the meta objects in meta level manage the base objects and behaviors in function level, including dynamic binding and unbinding of base object and behavior. We implement this model with RoleJava Language,which is our self linguistic extension of the Java Language.Meta Objects are generated automatically at compile\|time,this makes the reflecton mechanism transparent to programmers.Finally an example applying this model to a banking system is presented.
文摘对复杂实时构件系统行为进行形式化描述和相容性验证,可以有效提高系统的正确性、可靠性。分析了学术界和工业界的主流构件模型及常见时间行为的形式化描述方法,对构件行为协议BP(Behavior Protocol)进行了扩展,提出了时间行为协议TBP(Ti med Behavior Protocol),分析了构件组合中常见的相容性错误类型,给出了基于时间行为协议的构件组合相容性验证算法。TBP应用简洁、方便、易于验证。结合具体例子给出了应用示例。
文摘随着网络应用的快速发展,传统网络面临诸多挑战,难以满足新型应用的服务质量QoS(Quality of Service)需求,网络管理变得极其复杂,迫切要求网络具备认知能力.文中提出了一种面向认知网络的QoS路由协议.为了满足不同应用的QoS需求,路由请求对应不同业务类型和服务等级,映射到相应的QoS参数.文中赋予路由节点感觉、活动感、记忆、查找、决策、执行、推理、解释等认知行为,设计了与这些行为相对应的协议报文,支持节点之间通过这些报文进行交互,从而具备认知能力.节点只收集和维护局部邻居和链路状态信息,通过使用和维护经验路段信息提高路由效率.文中对所提出的路由协议在原型系统上进行了实现,对协议的多项性能指标进行了评价.实验结果表明,文中所提出的路由协议是可行和有效的.
