ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法，在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模，适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义，给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法，并通过一个实例对方法的可行性以及有效性进行了说明.

Stability Analysis of ASBS Adaptation Behavior

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.