ASBS适应行为稳定性分析  

Stability Analysis of ASBS Adaptation Behavior

作　　者：葛亮[1] 张斌[1] 张长胜[1] 赵秀涛[1] 

机构地区：[1]东北大学信息科学与工程学院,辽宁沈阳110819

出　　处：《东北大学学报（自然科学版）》2013年第1期25-29,共5页Journal of Northeastern University(Natural Science)

基　　金：国家自然科学基金资助项目(61073062;61100028;60903008);辽宁省自然科学基金资助项目(20102061);沈阳市科技计划项目(F11-264-1-35)

摘　　要：研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.The stability analysis of adaptive behavior in adaptive strategy construction of adaptive service based software system was investigated.Reflective Petri net based analysis method was adopted,where business behavior and adaptive behavior were modeled in different levels separately and the business behavior model was unaware of the adaptive behavior model.The definition of adaptive behavior stability was proposed based on system＇s reflective Petri net model.The modeling method of adaptive rules which consists the adaptive strategy was provided and stability verification method of adaptive behavior based on reflective Petri net was presented as well.Finally,an example was used to illustrate the feasibility and effectiveness of the proposed approach.

关 键 词：ASBS 反射Petri网 稳定性 规则建模 规则验证 

分 类 号：TG311.5[金属学及工艺—金属压力加工]