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

摘要：

对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA).在此基础上进一步提出一种软件体系结构描述语言(PEADL).介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力.

关键词：软件体系结构、进程代数、软件体系结构描述语言

所属期刊栏目：39

分类号：TP312(计算技术、计算机技术)

资助基金：国家自然科学基金60073059

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：118-120,156