期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

进程代数在性能评价中的应用研究 被引量：2

Application Research of Process Algebras on Performance Evaluation
下载PDF
导出
摘要 介绍了使用随机进程代数作为性能建模的一种方法,着重介绍了Hillston提出的性能评价进程代数(PEPA),主要论述了使用PEPA模型性能评价方法及特点,讨论资源利用率系统性能分析方法,最后归纳了性能评价进程代数(PEPA)研究的应用领域,并对未来研究方向提出了展望. This paper introduces stochastic process algebras as an approach for performance modelling, In particular we focus on Hillston＇s Performance Evaluation Process Algebra （PEPA）. And we primarily discuss the methods and the attractive features for performance evaluation using PEPA in detail. And we consider a simple resource usage system to specify performance analysis with PEPA model. At the end of this paper we summarize the application areas for this research work and open up prospects for this area,
作者 马梁 李明 宋洁 顾军华
机构地区 河北工业大学计算机科学与软件学院
出处 《河北工业大学学报》 CAS 2006年第4期35-39,共5页 Journal of Hebei University of Technology
关键词 随机进程代数 性能评价 性能评价进程代数 马尔可夫进程 连续时间马尔可夫链 stochastic process algebras performance evaluation PEPA markov process CTMC
分类号 TP39 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献11

  • 1Hermanns,H,Ribaudo.M Exploiting symmetries in stochastic process algebras[Z].Proceedings of the European Simulation Multiconference ESM'98,SCS Europe 1998,763-770 http://citeseemjneccom/context/552192/114690.
  • 2BPlateau.KAtifStochastic automata network for modeling parallel systemsIEEE Trans[J].Software Engineering,1991,17 (10):1 093-1 108.
  • 3JHillston A compositional approach to performance modeling[D].University of Edinburgh,1994:42-50 CST-107-94http://wwwdcsedacuk/home/stg/PEPA/papershtml
  • 4Bernardo M.R Gorrieri A Tutorial on EMPA:A Theory of Concurrent Processes with Nondeterminism,Priorities,Probabilities and Time[J].Theoretical Computer Science,1998,202 (1-2):1-54.
  • 5HHermanns,UHerzog.VMertsiotakis Stochastic process algebras as a tool for performance and dependability modeling[A].Proceedings of International Computer Performance and Dependability Symposium (IPDS' 95)[C].IEEE CS Press,1995:102-113.
  • 6GD Plotkin.An operational semantics for CSP Technical Report CSR-114-82[J].The University of Edinburgh,1982:9-28.
  • 7林闯,魏丫丫.随机进程代数与随机Petri网[J].软件学报,2002,13(2):203-213. 被引量：26
  • 8林闯,李雅娟,王忠民.性能评价形式化方法的现状和发展[J].电子学报,2002,30(12A):1917-1922. 被引量：17
  • 9赵会群,徐凌宇,王国仁,高远.基于随机进程代数的软件体系结构建模与性能评价[J].东北大学学报（自然科学版）,2002,23(1):16-19. 被引量：3
  • 10Hillston J,Ribaudo M.Stochastic process algebras:a new approach to performance modeling In K Bagchi and G Zobrist,editors,Modeling and Simulation of Advanced Computer Systems[J].Gordon Breach,1998,23 (2):235-253.

二级参考文献59

  • 1Buchholz, P. Lumpability and nearly-lumpability in hierarchical queueing networks. In: Computer Performance and Dependability Symposium. 1995. 82～91. http://www.ieee.org.
  • 2Brinksma, Ed. Stochastic process algebras: Linking process descriptions with performance. 1999 IFIP TC6/WG6.1 Joint International Conference (FORTE/PSTV'99) on Formal Description Techniques (FORTE XLL) for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (PSTV XIX). 1999.
  • 3Hachtel, G., Macii, E., Padro, A., et al. Markovian analysis of large finite-state machines. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1996,15(12):1479～1493.
  • 4Bolognesi, T., Lucidi, F., Trigila, S. Converging towards a timed LOTOS standard. Computer Standards and Interfaces, 1994,16(2): 87～118.
  • 5Leonard, L., Leduc, G. An introduction to ET-LOTOS for the description of time sensitive systems. Computer Networks and ISDN Systems, 1997,29(3):271～292.
  • 6Schneider, S. An operational semantics for timed CSP. Information & Computation, 1995,116(2):193～213.
  • 7Moller, F., Tofts, C. A temporal calculus of communicating systems. In: Baeten, J.C.M., Klop, J-W., eds. Proceedings of Concur'90: Theories of Concurrency-Unification and Extension. LNCS 458, Amsterdam: Springer-Verlag, 1990. 401～415.
  • 8Wang, Y. Real-Time behaviour of asynchronous agents. In: Baeten, J.C.M., Klop, J-W., eds. Concur'90: Theories of Concurrency- Unification and Extension. LNCS 458, Amsterdam: Springer-Verlag, 1990. 502～520.
  • 9Herzog, U. Formal description, time and performance analysis: a framework. Technical Report 15/90. IMMD VII, Friedrich- Alexander-universitat, Erlangen-Nurnberg, Germany, 1990.
  • 10Gilmore, S., Hillston,J. The PEPAWorkbench: a tool to support a process algebra-based approach to performance modeling. In: Haring, G., Kotsis, G., eds. Proceedings of Modeling Techniques and Tools for Computer Performance Evaluation. LNCS794, 1994.

共引文献41

同被引文献16

  • 1李大建,王凤山.基于Petri网的防空C^3I决策系统的建模分析[J].系统工程与电子技术,2005,27(9):1600-1602. 被引量：4
  • 2焦利明,杨建立.防空旅指挥自动化系统Petri网决策组织结构[J].火力与指挥控制,2007,32(4):69-71. 被引量：3
  • 3郭辉.进程代数及其在性能评价中的应用综述[J].微计算机应用,2007,28(9):901-905. 被引量：3
  • 4罗雪山,罗爱民,张耀鸿,等.Pe砸网在ISR系统建模、仿真和分析中的应用[M].长沙:国防科技大学出版社,2007.
  • 5Hillston J. A Compositional Approach to Performance Mod- elling, PhD. Thesis [ D ]. University of Edinburgh, 1994.
  • 6Edwards J. Process Algebras for Protocol Validation and Analysis [EB/OL]. http://www.cs.bris.ac.uk/_edwards/, 2005.
  • 7Fourneau J M, Kloul L, Valois F. Performance Modelling of Hierarchical Cellular Networks using PEPA [ J ]. Performance Evaluation , 2002 , 50(3 ): 83 - 99.
  • 8Holton D R W. A PEPA Speci_cation of an Industrial Produc- tion Cell[ J ]. The Computer Journal, 1995,38(5 ) : 16-21.
  • 9Gilmorel S,Kloull L,Piazza D . Modelling Role-Playing Games Using PEPA Nets [C]//ISCIS 2004, LNCS 3280, 2004:523-532.
  • 10Gilmore S ,Ramsey S. Modelling BitTorrent in PEPA[C]//4th Year Project Report Artificial Intelligence and Computer Science, 2005.

引证文献2

二级引证文献11

河北工业大学学报
2006年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部