东北大学学报（自然科学版）

东北大学学报:自然科学版 ›› 2013, Vol. 34 ›› Issue (1): 25-29.DOI: -

• 论著 • 上一篇    下一篇

ASBS适应行为稳定性分析

葛亮，张斌，张长胜，赵秀涛   

  1. (东北大学信息科学与工程学院，辽宁沈阳110819)
  • 收稿日期:2012-07-10 修回日期:2012-07-10 出版日期:2013-01-15 发布日期:2013-01-26
  • 通讯作者: 葛亮
  • 作者简介:葛亮(1982-)，男，辽宁大连人，东北大学博士研究生；张斌(1964-)，男，辽宁开原人，东北大学教授，博士生导师.
  • 基金资助:
    国家自然科学基金资助项目(61073062，61100028，60903008)；辽宁省自然科学基金资助项目(20102061)；沈阳市科技计划项目(F11-264-1-35).

Stability Analysis of ASBS Adaptation Behavior

GE Liang， ZHANG Bin， ZHANG Chang-sheng， ZHAO Xiu-tao   

  1. School of Information Science ＆ Engineering， Northeastern University， Shenyang 110819， China.
  • Received:2012-07-10 Revised:2012-07-10 Online:2013-01-15 Published:2013-01-26
  • Contact: ZHANG Bin
  • About author:-
  • Supported by:
    -

RichHTML

1

PDF (PC)

718

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

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

Abstract: 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.

Key words: ASBS(adaptive service-based software), reflective Petri net, stability, rule modeling, rule verification

中图分类号: