面向网构软件的过程演化技术研究

网构软件环境下的过程系统常常面临用户需求和计算环境同时发生变化的情况，因此网构软件需要采用一种统一融合应对用户需求和运行环境变化的过程演化技术。本项目拟针对这种技术需求，研究面向网构软件的分层过程演化模型、方法和技术，在适合网构软件的过程迁移技术、策略制导的过程演化技术方面取得进展与突破，并逐步将其引入到主流的软件开发和运行支撑技术中去，为下一代支持网构软件在线演化服务的中间件系统的研制提供技术准备。

给出了一套支持“正向过程实例迁移、反向过程策略制导”为特征的过程动态演化技术，在基于对象Petri网的分层过程建模和形式化分析技术、过程实例迁移判定和执行机制、基于过程挖掘和行为一致性分析的策略制导的过程演化技术方面取得进展与突破；增加了基于流程（程序）依赖关系的可追踪性技术的研究，并取得一定成果；在研究上述技术的基础上，面向水利行业应用领域研制了过程演化支撑系统Artemis-ABPM，为下一代支持网构软件在线演化服务的中间件系统的研制提供技术准备。