[1]郭广义 李代平 梅小虎.Z语言与软件体系结构风格的形式化[J].计算机技术与发展,2009,(05):140-146.
　GUO Guang-yi,LI Dai-ping,MEI Xiao-hu.Z Language and Formalization of Software Architecture Style[J].,2009,(05):140-146.
点击复制

Z语言与软件体系结构风格的形式化()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2009年05期
页码:
140-146
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Z Language and Formalization of Software Architecture Style
文章编号:
1673-629X（2009）05-0140-03
作者:
郭广义 李代平 梅小虎
广东工业大学计算机学院
Author(s):
GUO Guang-yi;  LI Dai-ping;  MEI Xiao-hu
Computer Academy of Guangdong University of Technology
关键词:
软件体系结构; 管道-过滤器; Z语言; 形式化
Keywords:
software architecture;  pipe - filters;  Z language;  formalization
分类号:
TP311
文献标志码:
A
摘要:
软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的模型，也称为构建模式。形式化则是一种基于数学的严谨的描述方式和方法。形式化不仅能够清晰地描述软件体系结构风格，并且为软件体系结构的设计提供了一种易于交流和理解的途径，因此形式化是现在软件体系结构研究的主要课题之一。文中通过Z语言描述管道一过滤器这一软件体系结构风格静态性质和动态行为来说明如何运用z语言形式化的描述软件体系结构风格，从中可以看出Z语言的严谨、清晰、简洁
Abstract:
The style of software architecture is the designers of software who sum up from their experiences. It is fit for one kind of model of software, in the other word , also all construction mode. Formalization is one kind of precise description way which is b

相似文献/References:

[1]丁静 韩强.随机Petri网性能计算软件关键技术的研究[J].计算机技术与发展,2009,(11):57.
　DING Jing,HAN Qiang.Study of Visualized Performance Computation Software Models for Stochastic Petri Net[J].,2009,(05):57.
[2]崔文凯 卢再奇.ATR信息处理的软件体系结构[J].计算机技术与发展,2009,(01):46.
　CUI Wen-kai,LU Zai-qi.Software Architecture of ATR Information Processing[J].,2009,(05):46.
[3]何频捷 李伟 李玉龙 李长云.软件体系结构中接口连接规则研究[J].计算机技术与发展,2008,(08):121.
　HE Pin-jie,LI Wei,LI Yu-long,et al.Research on Interface Connecting Rule in Software Architecture[J].,2008,(05):121.
[4]李伟 李长云.软件体系结构求精研究[J].计算机技术与发展,2008,(09):79.
　LI Wei,LI Chang-yun.Research on Software Architecture Refinement[J].,2008,(05):79.
[5]李玉龙 李长云.软件动态演化技术[J].计算机技术与发展,2008,(09):83.
　LI Yu-long,LI Chang-yun.Dynamic Evolution Technology of Software[J].,2008,(05):83.
[6]王一宾 刘奎 汪洋.软件体系结构研究与实践[J].计算机技术与发展,2007,(09):142.
　WANG Yi-bin,LIU Kui,WANG Yang.Research and Practice of Software Architecture[J].,2007,(05):142.
[7]方木云 戴小平.生物软件和种植生产的初步研究[J].计算机技术与发展,2007,(02):35.
　FANG Mu-yun,DAI Xiao-ping.A Rudimentary Study on Biology Software and Plant Development[J].,2007,(05):35.
[8]刘妮娜 周枫.基于用例和Z的一种软件体系结构建模的方法[J].计算机技术与发展,2012,(02):37.
　LIU Ni-na,ZHOU Feng.A Modeling Method of Software Architecture Based on Use Case and Z Specification[J].,2012,(05):37.
[9]赵会群 申宁.Web服务组合编辑器的设计与实现[J].计算机技术与发展,2012,(12):153.
　ZHAO Hui-qun,SHEN Ning.Design and Implementation of Web Services Composition Editor[J].,2012,(05):153.
[10]曾东海,陈国华.基于MVC模式的三维几何画板的设计[J].计算机技术与发展,2013,(12):240.
　ZENG Dong-hai[],CHEN Guo-hua[].Design of 3D Geometer's Sketchpad Based on MVC Mode[J].,2013,(05):240.

备注/Memo

备注/Memo:
广西自然科学基金项目（0229009）郭广义（1984-），男，福建龙海人，硕士研究生，研究方向为智能卡操作系统李代平，博士，教授，研究方向为软件体系结构、并行计算、智能卡操作系统。
更新日期/Last Update: 1900-01-01