| 基于UML的软件结构规范与精化 |
| |
| 引用本文： | 孙猛,杨红丽,张乃孝,裘宗燕.基于UML的软件结构规范与精化[J].北京大学学报(自然科学版),2007,43(1):1-10. |
| |
| 作者姓名： | 孙猛 杨红丽 张乃孝 裘宗燕 |
| |
| 作者单位： | 北京大学数学科学学院,北京,100871;北京大学数学科学学院,北京,100871;北京大学数学科学学院,北京,100871;北京大学数学科学学院,北京,100871 |
| |
| 摘 要： | 提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构.UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型.还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性.
|
| 关 键 词： | 软件结构 规范 精化 CSP UML |
| 修稿时间： | 2006-02-152006-09-01 |
Using UML for Specification and Refinement of Software Architectures |
| |
| SUN Meng,YANG Hongli,ZHANG Naixiao,QIU Zongyan.Using UML for Specification and Refinement of Software Architectures[J].Acta Scientiarum Naturalium Universitatis Pekinensis,2007,43(1):1-10. |
| |
| Authors: | SUN Meng YANG Hongli ZHANG Naixiao QIU Zongyan |
| |
| Institution: | LMAM, School of Mathematical Science, Peking University, Beijing, 100871 |
| |
| 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. |
| |
| Keywords: | CSP UML software architecture specification refinement CSP UML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
