基于反射Petri网的基于服务的自适应软件系统流程一致性判定方法研究

项目名称： 基于反射Petri网的基于服务的自适应软件系统流程一致性判定方法研究

项目编号： No.61202085

项目类型： 青年科学基金项目

立项/批准年度： 2013

项目学科： 计算机科学学科

项目作者： 刘莹

作者单位： 东北大学

项目金额： 22万元

中文摘要： 自适应的基于服务的软件系统ASBS是目前研究的热点，是网络环境下分布式系统的一个发展方向。根据ASBS具有自适应的特点，本课题扩展现有的形式化模型反射Petri网，从外部环境、调整策略和系统自身三个方面对ASBS进行建模，对自适应的过程进行模拟和分析。本课题从分析导致ASBS自适应变化的源着手，定义环境模型，针对服务替换、补偿、和流程演化等不同场景基于ECA规则定义自适应调整的策略，研究扩展的反射Petri网的可达等性质的分析和判定方法，结合控制流和数据流提出流程一致性分析和判定方法，给出一致性分析的定理证明和一致性判定的实现算法，为建立可信的ASBS提供理论研究基础.

中文关键词： ASBS；反射Petri网；Web服务复杂网络；自适应策略；

英文摘要： Adaptive Serivce Based System is an important issue at present, and is the trend of distributed system in internet. We extend Reflective Petri Nets to model ASBS from aspects of environment, adapting policy and system, and simulate and analyze the adaptive process. The research analyzes adaptive change source, and defines environment model. We proposes adaptive policies according to different scinarios such as service subsitution, complesataion and process evolution and so on. We also research on the analysis method of extened Reflective Petri Nets, put forward consistency checking method of ASBS combined with control flow and data flow, and give theorem proving and algorithms for consistency checking. The work would set base for building reliable ASBS.

英文关键词： ASBS；Reflective Petri Nets；Web Service Complex Network；Adaptive Strategy；