全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

一种基于PEPA流近似方法的动态自省模型

Keywords: 自省,自律计算,性能评价进程代数,常微分方程

Full-Text   Cite this paper   Add to My Lib

Abstract:

现有的基于自然语言或框图的自省模型已不能满足系统验证和分析的需求.本文采用流近似方法将PEPA转化为常微分方程组(ODEs),提出了一种基于性能评价进程代数(PEPA)语言的动态自省模型,且具有形式化推理验证和量化分析的功能,避免传统马尔可夫链求解方法状态空间爆炸的问题.分析结果显示,缩减被管理组件检测过程的延迟时间、减小执行指令序列长度对于自省效率的提高具有重要作用.

References

[1]  STERRITTR,PARASHAR M,TIANFIELD H,et al.A concise introduction to autonomic computing[J].Advan-cedEngineering Informatics,2005,19(3):181-187.
[2]  ANTHONY R,PELC M,WARD P,et al.A Run-Time Configurable Software Architecture for Self-Managing Systems[C]∥The 5th IEEE International Conference on Autonomic Computing.Chicago:IEEE Computer Society Press,2008:207-208.
[3]  马晓星,张小蕾,吕建.自省的动态软件体系结构描述与实现[J].南京大学学报:自然科学版,2004,40(2):146-155.MA Xiao-xing,ZHANG Xiao-lei,LV Jian.Description and implementation of dynamic software architectures:a reflectiveapproach[J].Journal of Nanjing University:Natural Science,2004,40(2):146-155.(in Chinese)
[4]  WANG Hui-qiang,LV Hong-wu,Feng Guang-sheng.A self-reflection model for autonomic computing systems based onπ-calculus[C]∥The Third Internatio-nal Conference on Network and System Security(NSS 2009).Gold Cost:IEEEComputer Society Press,2009:310-315.
[5]  STRASSNER J,SAMUDRALA S,COX G,et al.The design of a new context-aware policy model for autonomic networking[C]∥The 5th IEEE International Conference on Autonomic Computing.Chicago:IEEE Computer Society Press,2008:119-128.
[6]  HILLSTON J.Tuning systems:From composition to performance[J].Computer Journal,2005,48(4):385-400.
[7]  HILLSTON J.Fluid flowapproximation of PEPAmodels[C]∥Proceedings of the 2nd International Conference on QuantitativeEvaluation of Systems,Torino:IEEE Computer Society Press,2005:33-42.
[8]  BRADLEY J T,GILMORE S T,HILLSTON J.Analysing distributed Internet worm attacks using continuous state-spaceapproximation of process algebra models[J].Journal of Computer and System Sciences,2008,74:1013-1032.
[9]  HAYDEN R A,BRADLEY J T.Fluid semantics for passive stochastic process algebra cooperation[C]∥InternationalConference on Performance Evaluation Methodologies and Tools,Athens:ACM Press,2008:1-10.
[10]  PEPA Club.The PEPA Eclipse Plug-in[OL].[2009-05-05].http:∥www.dcs.ed.ac.uk/pepa/tools/

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133