Internet环境下构件的自适应组装与验证研究

项目名称： Internet环境下构件的自适应组装与验证研究

项目编号： No.61262012

项目类型： 地区科学基金项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 张驰

作者单位： 江西财经大学

项目金额： 45万元

中文摘要： 面向构件计算模型已被视为新一代软件结构模型，但其在开放、动态、难控的Internet环境下组装的不足表现在：（1）构件接口信息量不足；（2）构件实体和体系结构不具有自适应演化能力。 拟在前期"开放环境下构件互操作"研究成果的基础上，针对接口信息量不足，基于π演算对构件接口行为协议信息进行扩展，在扩展接口基础上探讨构件匹配、适配、组装、正确性和完整性验证。在自适应性方面，对于构件实体设计具有控制层和计算层的实现结构，一方面使构件实体可根据需求和环境变化动态调整自身行为,另一方面可对构件行为进行严格描述，并依据构件在交互中承担角色提取其行为进行系统推理；对于体系结构提出基于π演算的计算行为和动态行为相分离的动态体系结构描述语言，在设计阶段可精确刻画系统交互行为并验证模型，在运行阶段可推导系统行为以支持在线演化。研究成果将应用于Internet环境下具有自适应机制的基于构件组装式的系统开发。

中文关键词： 构件；Web服务；接口；兼容性；适配

英文摘要： Component-Oriented computing model has been viewed as new software strcuture model,but in the open,dynamic and hard to control's Internet environment component composition's lacking embodied as follow:(1)information insufficient in component interface;(2)component and architecture have not ability of self-adaptation. We plan to based on research results of component interoperability in open environment,directed towards the information insufficient in component interface, extends behavior protocol information based on π calculus, then researches on component matching, adapting, and verifing the correctness and completeness of composited system. Towards the self-adaptation, we plan to design component realize structure including control layer and computing layer, in one side can make component adjust its behavior according to chang of requirment and enviroment dynamically, in another side can descript component behavior strictly，then extract the behavior according to the role its take in interaction and reason the composited system.Towards the architecture we present dynamic architecture description language, in which the computing behavior and dynamic behavior separated. The desigend architecture language can describ interaction behavior accurately and verify the model in design stage and can derivate system

英文关键词： Component；Web Services；Interface；Compatibility；Adaptation