ASBS适应行为稳定性分析

作     者：葛亮 张斌 张长胜 赵秀涛 GE Liang;ZHANG Bin;ZHANG Chang-sheng;ZHAO Xiu-tao

作者机构：东北大学信息科学与工程学院辽宁沈阳110819 

出 版 物：《东北大学学报（自然科学版）》 (Journal of Northeastern University(Natural Science))

年 卷 期：2013年第34卷第1期

页      面：25-29页

核心收录：

学科分类：0810[工学-信息与通信工程] 080503[工学-材料加工工程] 08[工学] 0805[工学-材料科学与工程（可授工学、理学学位）] 0802[工学-机械工程] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 080201[工学-机械制造及其自动化] 

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

主　　题：ASBS 反射Petri网 稳定性 规则建模 规则验证 

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