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

Description of Software Architecture by π-ADL

作　　者：王小刚[1] 李玉龙[1] 韩虎[1] 

机构地区：[1]兰州交通大学数理与软件工程学院,甘肃兰州730070

出　　处：《兰州交通大学学报》2010年第6期99-101,共3页Journal of Lanzhou Jiaotong University

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

摘　　要：为便于软件体系结构的形式化描述,在π-ADL的语法基础上,简化其连接,增加了连接件的角色描述,并给出描述体系结构及元素的基本句法.通过一个例子展示了π-ADL的使用方法.最后说明在π-ADL描述基础上软件体系结构的求精.In order to formally describe the software architecture,the connection is simplified,the description of connector role is added,and the syntax of describing software architectures is given based on syntax of π-ADL.How π-ADL can be used for specifying architecture is illustrated through case study.The refinement of software architecture described by π-ADL is introduced.

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

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