并行程序开发平台体系结构的形式化研究  

Reseach on the Formalization of Parallel Programming Platform Architecture

作　　者：李代平[1] 罗寿文 张信一[1] 方海翔 

机构地区：[1]广东工业大学计算机学院,广东广州510090 [2]广西地质矿产勘查开发局,广西南宁530023

出　　处：《计算机应用研究》2004年第12期73-75,共3页Application Research of Computers

基　　金：广西自然科学基金资助项目(桂科自0229009)

摘　　要：用软件体系结构描述语言WRIGHT对并行程序开发平台结构进行形式化描述,指出这种描述的优点以及软件体系结构形式化研究的重要性。Gives a formal description of Parallel Programming Platform using WRIGHT, and generalizer the advantages of this description and the importance of research on the formalization of software architecture.

关 键 词：软件体系结构 软件体系结构描述语言 并行计算 形式化描述 

分 类 号：TP303[自动化与计算机技术—计算机系统结构]