基于类型论的网构构件模型及其行为交互研究

随着Internet的日益普及，软件系统呈现出柔性可演化、连续反应式、多目标适应的特点。课题拟分析构件行为在网构软件开发中的重要地位，并针对目前构件模型的不足，结合网构环境的特点，对当前构件模型进行有益的扩展，特别是要增强构件模型对构件交互行为的描述能力，使构件可以成为组成网构软件的软件实体，同时借鉴行为类型在行为描述与验证方面的优势，扩展传统的Martin_L?f's类型论，使其可以作为研究全局环境下的网构构件交互行为的理论，并提出基于扩展Martin_L?f's类型论的面向网构软件的构件模型和语言，实现网构构件交互行为的形式化描述。在此基础上，研究全局环境下网构构件及其交互行为的兼容性和等价性理论，提出交互行为的验证方法，以支持网构构件的选择、匹配、组装、替换和演化等网构软件开发的关键技术。课题的实施对软件新构件技术发展有重大理论意义和现实价值。