基于UML的软件结构规范与精化
Using UML for Specification and Refinement of Software Architectures作者机构：北京大学数学科学学院北京100871
出 版 物：《北京大学学报（自然科学版）》 (Acta Scientiarum Naturalium Universitatis Pekinensis)
年 卷 期：2007年第43卷第1期
页 面：1-10页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金(60473056和60573081)资助项目
摘 要：提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。
维普期刊数据库
同方期刊数据库