云计算环境下双模型驱动的面向软件动态演化的建模与分析

项目名称： 云计算环境下双模型驱动的面向软件动态演化的建模与分析

项目编号： No.61379032

项目类型： 面上项目

立项/批准年度： 2013

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

项目作者： 李彤

作者单位： 云南大学

项目金额： 73万元

中文摘要： 云计算环境下，一方面，软件动态演化的重要性和迫切性更加凸显；另一方面，云计算为软件动态演化的研究带来了新机遇。项目拟采用Petri网和ACP为主形式化方法，提出一种双模型驱动的面向软件动态演化的建模与分析方法。首先，针对云计算开放、动态和多变的新环境，提出面向动态演化的SaaS双模型建模方法：该方法从演算模型和结构模型两个视角对SaaS软件进行建模，并以行为映射为准则保证两类模型的可追踪性；其次，云计算的出现使得大量软件运行在集中的服务器上，本项目将其继续延伸：利用云服务化的各种功能开展动态演化的分析和实施，这些功能被集成到PaaS平台的服务之中，对其抽象提出面向PaaS的云演化管程机制模型；最后，基于云演化管程机制、由双模型驱动，提出解决动态演化分析和实施过程中的部件相关性分析和一致性保持两大问题，进而为保证云计算环境下软件动态演化实施的可靠性奠定基础。

中文关键词： 软件动态演化；云计算；双模型；Petri网；通信进程代数

英文摘要： Under the background of cloud computing, the significance and urgency of software dynamic evolution has been much highlighted; meanwhile, cloud computing has brought opportunities for the research of software dynamic evolution. By applying to Petri Nets a

英文关键词： Software Dynamic Evolution；Cloud Computing;；Double-Model；Petri Nets；ACP