基于UML的软件结构规范与精化

北京大学学报（自然科学版）

基于UML的软件结构规范与精化

孙猛, 杨红丽¹, 张乃孝, 裘宗燕

收稿日期:2006-02-15 出版日期:2007-01-20 发布日期:2007-01-20

Using UML for Specification and Refinement of Software Architectures

SUN Meng, YANG Hongli¹, ZHANG Naixiao, QIU Zongyan

Received:2006-02-15 Online:2007-01-20 Published:2007-01-20

摘要/Abstract

摘要： 提出利用UML表示软件体系结构不同的视，表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示，进一步，基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题，该精化过程可以保留系统需要的属性。

关键词: 软件结构, 规范, 精化, CSP, UML

Abstract: Different views of software architecture in UML diagrams are presented. It shows how UML can be used to model different aspects of software architecture. The semantics of UML diagrams are expressed in the notation of Communication Sequential Process(CSP). Different view models of software architectures are linked together based on the CSP semantics. The issue of refining such architectural specifications is also discussed, where software architectures can be refined in a manner that preserves desired system properties.

Key words: software architecture, specification, refinement, CSP, UML

中图分类号:

TP311.1

孙猛, 杨红丽, 张乃孝, 裘宗燕. 基于UML的软件结构规范与精化[J]. 北京大学学报（自然科学版）.

SUN Meng,YANG Hongli,ZHANG Naixiao,QIU Zongyan. Using UML for Specification and Refinement of Software Architectures[J]. Acta Scientiarum Naturalium Universitatis Pekinensis.

导出引用管理器 EndNote|Ris|BibTeX

链接本文: https://xbna.pku.edu.cn/CN/

https://xbna.pku.edu.cn/CN/Y2007/V43/I1/1

[1]	饶俊峰, 张显峰, 潘一凡. 气溶胶光学厚度及Ångström指数遥感反演的不确定性对紫外线指数计算的影响[J]. 北京大学学报（自然科学版）, 2016, 52(2): 210-218.
[2]	王伟,赵东岩,苏婷婷. C-TERN: 一种基于CFSA的军事新闻文本时间信息处理算法[J]. 北京大学学报（自然科学版）, 2014, 50(1): 9-16.
[3]	郑衍松,佟冬,李皓,庞九凤,王克义,程旭. MS Windows 兼容的系统芯片硬件核心的分析与实践[J]. 北京大学学报（自然科学版）, 2009, 45(6): 973-978.
[4]	孙钊,王勇. 芯片功能验证流的高效生成方法[J]. 北京大学学报（自然科学版）, 2007, 43(1): 92-95.
[5]	孙猛,张乃孝,Bernhard K Aichernig. UML状态机视图的RSL形式描述[J]. 北京大学学报（自然科学版）, 2005, 41(3): 344-357.
[6]	刘瑜, 林报嘉, 唐大仕. UML-G: 针对地理信息应用的面向对象建模语言[J]. 北京大学学报（自然科学版）, 2004, 40(2): 271-278.
[7]	刘瑜,张世琨,邬伦,叶燕林. 地理信息系统中的设计模式——以过滤和精化为例[J]. 北京大学学报（自然科学版）, 2001, 37(6): 797-803.
[8]	尹辉明,王炜. 横观各向同性板的精化理论[J]. 北京大学学报（自然科学版）, 2001, 37(1): 23-33.
[9]	莫小欢. CPⁿ中具有特殊常Kähler角的调和曲面之特性[J]. 北京大学学报（自然科学版）, 1995, 31(3): 277-281.