基于构件的软件系统动态演化研究

项目名称： 基于构件的软件系统动态演化研究

项目编号： No.60963007

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

立项/批准年度： 2010

项目学科： 金属学与金属工艺

项目作者： 李彤

作者单位： 云南大学

项目金额： 22万元

中文摘要： 1）软件系统属性刻画元语言：将多值逻辑与时序逻辑相结合，建立多值时序逻辑作为元语言。提出逻辑系统的语法规则、语义解释、推理规则、完备性及可靠性证明。2）基于多值时序逻辑的模型检测：建立软件系统的超协调抽象模型SAM。提出多值时序逻辑模型检测的相关算法。3）提出行为相关性分析方法。该方法确定软件系统中行为相关的子系统或构件的集合。4）设计基于构件的软件系统动态演化算法。该算法包括构件删除算法、构件添加算法、构件替换算法、构件迁移算法、连接删除算法、连接建立算法、连接重定向算法和构件属性重配置算法。5）建立演化系统的度量和基于度量的反馈驱动机制。6）建立支持基于构件的软件系统动态演化的CASE工具系统原型- - DSET。 本项目的研究不仅对于提高软件系统的开放性、自适应性、可扩展性以及构件可重用性具有重要理论意义和应用价值，同时也为网格计算、普适计算以及云计算奠定了必要的理论和技术基础。

中文关键词： 多值时序逻辑；模型检测；E-Kripke模型；动态演化算法；

英文摘要：

英文关键词： Multi-Valued Temporal Logic；Model Checking；E-Kripke Model；Dynamic Evolutionary Algorithm；