计算机科学 ›› 2017, Vol. 44 ›› Issue (11): 9-14.doi: 10.11896/j.issn.1002-137X.2017.11.002

• 2016 年全国软件与应用学术会议 • 上一篇    下一篇

自适应软件的策略自动生成与演化

林华山,刘洋,焦文品   

  1. 北京大学信息科学技术学院 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871,北京大学信息科学技术学院 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871,北京大学信息科学技术学院 北京100871 北京大学高可信软件技术教育部重点实验室 北京100871
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受国家重点基础研究发展计划(973)(2015CB352200),国家自然科学基金(91318301,U1201252)资助

Automatic Generation and Evolution of Policies for Self-adaptive Software

LIN Hua-shan, LIU Yang and JIAO Wen-pin   

  • Online:2018-12-01 Published:2018-12-01

摘要: 随着软件功能的日益强大和运行环境的日益复杂,软件要求能够及时感知环境和需求的变化,并做出相应的反应。自适应系统是一种能够通过感知环境和运用自身知识决策自身行为的软件框架。策略集是自适应系统的核心知识,但是现有自适应研究都缺少对策略的生成、维护、演化等的关注。借鉴决策树算法,提出一种使用策略树来自动生成、演化和维护策略集的方法,使得自适应软件能够更好地使用知识,排除人为制定策略对自适应软件效果的影响;同时,以RubiS网站为基础,通过仿真实验验证了方法的可行性。

关键词: 自适应,策略,策略树,自动生成,演化

Abstract: With the increment of complexities of the software features and uncertainties in the software runtime environment,software requires the ability to perceive and react to the changes from the environment in time.The self-adaptive system is a software framework with the ability to choose actions according to environment and knowledge.The set of policies plays a key role in the knowledge of self-adaptive system,but there’s little research which focus on producing,management and evolution of policies.Based on the decision tree algorithm,a method of producing,management and evolution of policies was proposed,which makes the self-adaptive software perform well in using knowledge and avoiding the detrimental effect from drawing up the policies artificially.At the same time,an experiment,which is based on the RubiS website,was conducted to prove the feasibility of this method.

Key words: Self-adaptive,Policy,Policy tree,Auto-producing,Evolution

[1] LADDAGA R.Guest Editor’s Introduction:Creating Robust Software through Self-Adaptation[J].IEEE Intelligent Systems,1999,14(3):26-29.
[2] CHENG B H C,DE LEMOS R,GIESE H,et al.Software Engineering for self-Adaptive Systems[M].Springer Berlin Heidelberg,2009.
[3] CHENG B H C,DE LEMOS R,BENCOMO N,et al.Software Engineering for Self-Adaptive Systems:A Research Roadmap[M]∥Software Engineering for Self-Adaptive Systems II.Springer Berlin Heidelberg,2009:1-32.
[4] WEYNS D,MALEK S,ANDERSSON J.FORMS:a FormalReference Model for Self-adaptation[C]∥Proceedings of the 7th International Conference on Autonomic Computing (ICAC’10).ACM,New York,NY,USA,2010:205-214.
[5] WEYNS D,IFTIKHAR M U,DE LA lGLESIA D G,et al.A Survey of Formal Methods in Self-Adaptive Systems[C]∥Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering(C3S2E’12).ACM,New York,NY,USA,2012:67-79.
[6] WEYNS D,IFTIKHAR M U,MALEK S,et al.Claims and Supporting Evidence for Self-Adaptive Systems:a Literature Study[C]∥Proceedings of the 7th International Symposium on Software Engineering for Adaptive and self-Managing Systems.Piscataway,NJ,USA:IEEE,2012:89-98.
[7] IFTIKHAR M U,WEYNS D.A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System[J].Electronic Proceedings of Theoretical Computer Science,2012,91(103):45-46.
[8] IFTIKHAR M U,WEYNS D.Formal Verification of Self-Adaptive Behaviors in Decentralized Systems with Uppaal:An Initial Study[M].2012.
[9] WEYNS D,et al.On Patterns for Decentralized Control in Self-Adaptive Systmes[M]∥Software Engineering for Self-Adaptive Systems II.Springer,2012.
[10] D’LPPOLITO N R,BRABERMAN V,PITERMAN N,et al.Synthesis of live behavior models[C]∥Proceedings of the eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering.ACM,2010:77-86.
[11] KHAKPOUR N,KHOSRAVI R,SIRJANI M,et al.FormalAnalysis of Policy-Based Self-Adaptive Systems[C]∥ACM Symposium on Applied Computing.ACM,2010:2536-2543.
[12] PARUNAK H V D,SVEN A.Brueckner:Software Engineering for self-Organizing Systems[J].Knowledge Engineering Review,2015,30(4):419-434.
[13] LADDAGA R.Self Adaptive Software Problems and Projects[C]∥International IEEE Workshop on Software Evolvability (SE’06).IEEE Computer Society,2006:3-10.
[14] PARUNAK H V D,et al.Software Engineering for self-Organizing Systems[J].Knowledge Engineering Review,2015,0(4):419-434.
[15] BEAL J,KNIGHT JR T F.Analyzing composability in a Sparse Encoding Model of Memorization and Association [C]∥Procee-dings of the Seventh IEEE International Conference on Development and Learning (ICDL 2008).2008:180-185.
[16] GEORGAS J C,TAYLOR R N.Policy-Based Architectural Adap-tation Management:Robotics Domain Case Studies[C]∥ Software Engineering for Self-adaptive Systems(DBLP).2009:89-108.
[17] GERSHENSON C.Design and Control of Self-organizing Systems[J].Lap Lambert Academic Publishing,2007.
[18] LEMOS R D,GIESE H,MULLER H A,et al.Software Engineering for Self-Adaptive Systems:A second Research Roadmap[M]∥Software Engineering for Self-adaptive Systems II.Springer Berlin Heidelberg.2013:1-32.
[19] MORENO G A,CAMARA J,GARLAN D.Proactive Self-Ada-ptation under Uncertainty:A Probabilistic Model Checking Approach[C]∥Joint Meeting on Foundations of Software Engineering.ACM,2015:1-12.

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!