基于单子技术的网构软件构件模型及其演化研究

项目名称： 基于单子技术的网构软件构件模型及其演化研究

项目编号： No.60973046

项目类型： 面上项目

立项/批准年度： 2010

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

项目作者： 张迎周

作者单位： 南京邮电大学

项目金额： 29万元

中文摘要： 网构软件是开放、动态和难控网络环境下的分布式软件系统的一种抽象，她对传统的软件开发理论、方法、技术和平台提出了一系列的挑战。针对上述问题，本项目从另一角度探索网构构件形式化模型及其自适应演化方法。包括（1）将软件（构件）实体抽象描述成单子（monads），探索并建立一种网构软件的形式化模型，以更好地反映实体所具有的自主性等特性；（2）根据"关注点分离"思想，利用单子的可组合性，研究网络环境下网构构件（单子）的生成与协同机理；针对开放网络环境中的动态和不稳定因素，利用单子的自身可调节性及切片技术，从网构软件的实体和协同两部分研究其环境自适应方法；（3）在上述方法研究的基础上，并借助于Web 服务技术，实现网构软件系统开发的平台原型，以便通过示范案例验证软件实体的自主性、动态性和自适应演化等特性。本项目预期研究成果将提出网构软件构件的新理论和方法，从而大大拓展网构软件的研究视野、手段和方法。

中文关键词： 网构软件；构件；单子技术；余代数方法；Web服务

英文摘要：

英文关键词： Internetwares；components；monad techniques；coalgebraic methods；Web services