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

PEADL:A Software Architecture Description Language Based on Pro cess Algebra

作　　者：赵会群[1] 孙晶[1] 高远[2] 

机构地区：[1]北方工业大学计算机系,北京100041 [2]东北大学计算机科学与工程系,沈阳110006

出　　处：《计算机工程与应用》2003年第5期118-120,156,共4页Computer Engineering and Applications

基　　金：国家自然科学基金资助(编号:60073059)

摘　　要：对性能评价进程代数(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.

关 键 词：进程代数 软件体系结构 描述语言 PEADL 面向对象 软件工程 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]