基于π-ADL的软件体系结构描述

摘要：

为便于软件体系结构的形式化描述,在π-ADL的语法基础上,简化其连接,增加了连接件的角色描述,并给出描述体系结构及元素的基本句法.通过一个例子展示了7π-ADL的使用方法.最后说明在π-ADL描述基础上软件体系结构的求精.

关键词：软件体系结构、体系结构描述语言、π-ADL、形式化

所属期刊栏目：29

分类号：TP311.5(计算技术、计算机技术)

资助基金：甘肃省自然科学基金2008GS02625;甘肃省教育厅科研基金资助项目0804-01

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

页数：共3页

页码：99-101