基于反射Petri网的基于服务的自适应软件系统流程一致性判定方法研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

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

项目名称：基于反射Petri网的基于服务的自适应软件系统流程一致性判定方法研究
项目类别：青年科学基金项目
批准号：61202085
申请代码：F020201
项目来源：国家自然科学基金
研究期限：2013-01-01-2015-12-31

项目负责人：刘莹
依托单位：东北大学
批准年度：2012

中文摘要：

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

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

结论摘要：

英文主题词ASBS；Reflective Petri Nets；Web Service Complex Network；Adaptive Strategy；

成果综合统计