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

一种基于进程代数的软件体系结构描述语言PEADL 被引量：2

PEADL:A Software Architecture Description Language Based on Pro cess Algebra
下载PDF
导出
摘要 对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA)。在此基础上进一步提出一种软件体系结构描述语言(PEADL)。介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力。 By adding some new properties of temporal and General Sophistic Contribution into PEPA(Performance Evaluation Process Algebra)a new kind of Process Algebra called ESPA(Extension Sophistic Process Algebra)is proposed.Based on the ESPA a software architecture language called PEADL(Performance Evaluation Architecture Description Language)is developed.In order to demonstrated PEADL functions,a PEADL application for3-tiger C/S is employed.
作者 赵会群 孙晶 高远
机构地区 北方工业大学计算机系 东北大学计算机科学与工程系
出处 《计算机工程与应用》 CSCD 北大核心 2003年第5期118-120,156,共4页 Computer Engineering and Applications
基金 国家自然科学基金资助(编号:60073059)
关键词 进程代数 软件体系结构 描述语言 PEADL 面向对象 软件工程 Software Architecture,Process Algebra,ADL
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献3

  • 1[1]N Medvidovic,R N Taylor. A Classification and Comparison Framework for Software Architecture Description Languages[J].IEEE ,2000;26( 1 ): 148～156
  • 2[2]J Hillston,M Ribaudo. Stochastic process algebra:a new approach to performance modeling,Modeling and Simulation of Advanced Computer Systems. Gordon Breach, 1998:235～255
  • 3[3]M Ribaudo. On the Relationship between Stochastic Process Algebra and Stochastic Petri Nets[D].PhD thesis. University of Torino, 1995

同被引文献96

  • 1杨芙清.软件工程技术发展思索[J].软件学报,2005,16(1):1-7. 被引量：266
  • 2张勇,黄涛,魏峻,陈宁江.基于容器中间件的组件系统体系结构性能评价[J].软件学报,2006,17(6):1328-1337. 被引量：6
  • 3[29]M Bernardo,P Ciancarini,L Donatiello.EMPA:A process algebra description language for the performance analysis of software architectures.In:Proc of the 2nd Int'l Workshop Software and Performance.New York:ACM Press,2000.1-11
  • 4[30]S Balsamo,M Bernardo,M Simeoni.Combining stochastic process algebra and queuing networks for software architecture analysis.In:Proc of the 3rd Int'l Workshop Software and Performance.New York:ACM Press,2002.190-202
  • 5[31]S Gilmore,J Hillston,L Kloul,et al.Software performance modeling using PEPA nets.In:Proc of the 4th Int'l Workshop Software and Performance.New York:ACM Press,2004.13-23
  • 6[32]C Canevet,S Glimode,J Hillston,et al.Analyzing UML 2.0 activity diagrams in the software performance engineering process.In:Proc of the 4th Int'l Workshop Software and Performance.New York:ACM Press,2004.74 -78
  • 7[33]M De Miguel,T Lmbolais,M Hannouz,et al.UML extensions for the specification and evaluation of latency constraints in architectural models.In:Proc of the 2nd Int'l Workshop Software and Performance.New York:ACM Press,2000.83-88
  • 8[34]L B Arief,N A Speirs.A UML tool for an automatic generation of simulation programs.In:Proc of the 2nd Int'l Workshop Software and Performance.New York:ACM Press,2000.71-76
  • 9[35]V Grassi,R Mirandola.Towards automatic compositional performance analysis of component-based systems.In:Proc of the 4th Int'l Workshop Software and Performance.New York:ACM Press,2004.59-63
  • 10[36]N Dumitrascu,S Murphy,L Murphy.A methodology for predicting the performance of component-based applications.In:Proc of the 8th Int'l Workshop Component-Oriented Programming (WCOP2003).Berlin:Springer-Verlag,2003

引证文献2

二级引证文献2

计算机工程与应用
2003年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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