ASBS适应行为稳定性分析.pdfVIP

Vo l. 34 ,No.l 东北大学学报(自然科学版) 第 34卷第1 期 Journal of Northeastern University( Natural Science) Jan. 2013 2013 年 1 月 ASBS 适应行为稳定性分析 葛亮，张斌，张长胜，赵秀涛 (东北大学信息科学与工程学院，辽宁沈阳 110819 ) 摘 要:研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了 基于反射Petri 网模型的分析方法，在反射 Petri 网模型中系统的业务行为与适应行为在不同的层次分离建 摸，适应行为模型相对业务行为模型透明.结合系统的反射 Petri 网模型提出了适应行为稳定性的具体定义， 给出了适应策略中适应规则的建模方法以及应用反射Pe创网模型对系统适应行为进行稳定性验证的方法， 并通过一个实例对方法的可行性以及有效性进行了说明. 关键词: ASBS;反射Petri 网;稳定性;规则建模;规则验证 中固分类号:TG311. 5 文献标志码:A 文章编号: 1∞15 -3026(2013)01 -∞，25 -05 Stability Analysis of ASBS Adaptation Behavior GE Liα略， ZHANG Bin , ZHANG Chang-sheng , ZHAO Xiu-tao g (Sch∞，1 of Infonnation Science Engineeri吨， Northeastem University , Shenyang 110819 ， α血lÌn随a. Cωorresp归on毗ldi曲din吨E珞 a剧u仕由10创f: ZHANG B旭 , E-mail: 址langbin@ mail. neu. edu. cn) Abstract:τhe stability analysis of adaptive behavior in adaptive strategy construction of adaptive service based so位ware system was investigated. Reflective Petri net based analysis method was adopted , where business behavior and adaptive behavior were modeled in different levels sep缸ately and the business behavior model was unaware of the adaptive behavior model. Tbe definition of adaptive behavior stability was propo四d based on system s reflective Pe位i net model. The modeling method of adaptive rules which consists the adaptive strategy w凶 provided and stab副ty verification method of adaptive behavior based on reflective Pe回 net w副 presen能d 部 well. Finally , an example w创 used to illustrate 出e fe描ib温ty and e旺ectiveness of the proposed approach. Key words: ASB