[1]刘妮娜 周枫.基于用例和Z的一种软件体系结构建模的方法[J].计算机技术与发展,2012,(02):37-40.
　LIU Ni-na,ZHOU Feng.A Modeling Method of Software Architecture Based on Use Case and Z Specification[J].,2012,(02):37-40.
点击复制

基于用例和Z的一种软件体系结构建模的方法()
分享到：

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

卷:
期数:
2012年02期
页码:
37-40
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
A Modeling Method of Software Architecture Based on Use Case and Z Specification
文章编号:
1673-629X（2012）02-0037-04
作者:
刘妮娜 周枫
昆明理工大学信息工程与自动化学院
Author(s):
LIU Ni-na; ZHOU Feng
Faculty of Information Engineering and Automation,Kunming University of Science and Technology
关键词:
软件体系结构; 用例; Z语言; 迭代增量; 形式化
Keywords:
software architecture;  use case;  Z specification;  iterative increment;  formalization
分类号:
TP311.5
文献标志码:
A
摘要:
随着计算机软硬件技术和网络技术的发展和应用的不断深入,软件复用技术,特别是软件体系结构的设计和复用是克服软件危机行之有效的手段。用例在面向对象的软件开发过程中起着重要的作用,但它是一种半形式化的方法,缺乏精确的语义描述,难以保证软件体系结构模型的正确性,形式化的方法恰好能够弥补这方面的不足。针对如何构建软件体系结构的问题,提出了一种基于用例和Z语言的形式化构建软件体系结构的方法,将迭代增量技术运用到体系结构的设计开发中,并就相关问题进行了分析探讨
Abstract:
With the development and deepgoing application of computer hardware and software technology,the technology of software reuse,especially the design and reuse of the software architecture,was an effective method to overcome the crisis of software.The use case played an important role in the object-oriented software development process,but it was a half-formal representation,and it lacked of precise semantics description.The use case can＇t assure the accuracy of the software architecture model,but the formal method can make up for this deficiency.On how to construct the software architecture,it gives a kind of method based on the use case and the formal Z specification to construct the software architecture.This method adopts the technology of iterative increment during the design and development of the software architecture,and discusses the related issues

相似文献/References:

[1]郭广义 李代平 梅小虎.Z语言与软件体系结构风格的形式化[J].计算机技术与发展,2009,(05):140.
　GUO Guang-yi,LI Dai-ping,MEI Xiao-hu.Z Language and Formalization of Software Architecture Style[J].,2009,(02):140.
[2]丁静 韩强.随机Petri网性能计算软件关键技术的研究[J].计算机技术与发展,2009,(11):57.
　DING Jing,HAN Qiang.Study of Visualized Performance Computation Software Models for Stochastic Petri Net[J].,2009,(02):57.
[3]崔文凯 卢再奇.ATR信息处理的软件体系结构[J].计算机技术与发展,2009,(01):46.
　CUI Wen-kai,LU Zai-qi.Software Architecture of ATR Information Processing[J].,2009,(02):46.
[4]汪贵生 夏阳.基于UML的MIS研究与设计[J].计算机技术与发展,2009,(04):69.
　WANG Gui-sheng,XIA Yang.Research and Design of MIS Based on UML[J].,2009,(02):69.
[5]何频捷 李伟 李玉龙 李长云.软件体系结构中接口连接规则研究[J].计算机技术与发展,2008,(08):121.
　HE Pin-jie,LI Wei,LI Yu-long,et al.Research on Interface Connecting Rule in Software Architecture[J].,2008,(02):121.
[6]李伟 李长云.软件体系结构求精研究[J].计算机技术与发展,2008,(09):79.
　LI Wei,LI Chang-yun.Research on Software Architecture Refinement[J].,2008,(02):79.
[7]李玉龙 李长云.软件动态演化技术[J].计算机技术与发展,2008,(09):83.
　LI Yu-long,LI Chang-yun.Dynamic Evolution Technology of Software[J].,2008,(02):83.
[8]王一宾 刘奎 汪洋.软件体系结构研究与实践[J].计算机技术与发展,2007,(09):142.
　WANG Yi-bin,LIU Kui,WANG Yang.Research and Practice of Software Architecture[J].,2007,(02):142.
[9]方木云 戴小平.生物软件和种植生产的初步研究[J].计算机技术与发展,2007,(02):35.
　FANG Mu-yun,DAI Xiao-ping.A Rudimentary Study on Biology Software and Plant Development[J].,2007,(02):35.
[10]袁红超 郝克刚 葛玮.用例技术的研究和应用[J].计算机技术与发展,2006,(02):96.
　YUAN Hong-chao,HAO Ke-gang,GE Wei.Research and Application on Use Case[J].,2006,(02):96.

备注/Memo

备注/Memo:
云南省教育科学研究基金（07C10799）刘妮娜（1985-），女，湖北随州人，硕士研究生，主要研究方向为软件工程及其应用；周枫，副教授，硕士，主要研究方向为软件工程及其应用
更新日期/Last Update: 1900-01-01