首页 | 本学科首页   官方微博 | 高级检索  
     

UML2.0顺序图的XYZ/E时序逻辑语义研究
引用本文:黄正宝,张广泉.UML2.0顺序图的XYZ/E时序逻辑语义研究[J].计算机科学,2006,33(8):249-251.
作者姓名:黄正宝  张广泉
作者单位:1. 苏州大学计算机科学与技术学院,苏州215006
2. 苏州大学计算机科学与技术学院,苏州215006;中国科学院计算机科学国家重点实验室,北京100080
基金项目:国家自然科学基金;国家重点实验室基金;江苏省高校自然科学基金;重庆市科技计划
摘    要:UML2.0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为,但由于UML2.0顺序图的语义不够精确,使得它的描述结果不利于进一步的分析和验证。基于此,本文在定义UML2.0顺序图的语法和语法约束的基础上,给出了UML2.0顺序图的XYZ/E时序逻辑语义,为使用UML2.0顺序图与XYZ/E相结合的方式来描述软件体系结构的动态交互行为奠定了基础。

关 键 词:时序逻辑  形式化语义  顺序图

Semantics of UML 2.0 Sequence Diagrams in XYZ/E
HUANG Zheng-Bao,ZHANG Guang-Quan.Semantics of UML 2.0 Sequence Diagrams in XYZ/E[J].Computer Science,2006,33(8):249-251.
Authors:HUANG Zheng-Bao  ZHANG Guang-Quan
Affiliation:1.School of Computer Science and Technology, Soochow University, Suzhou 215006 ;2. Key Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080
Abstract:
Keywords:UML 2  0  XYZ/E
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号