计算机科学 ›› 2006, Vol. 33 ›› Issue (8): 249-251.
• 计算机网络与信息安全 • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： UML2．0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为，但由于UML2．0顺序图的语义不够精确，使得它的描述结果不利于进一步的分析和验证。基于此，本文在定义UML2．0顺序图的语法和语法约束的基础上，给出了UML2．0顺序图的XYZ／E时序逻辑语义，为使用UML2．0顺序图与XYZ／E相结合的方式来描述软件体系结构的动态交互行为奠定了基础。
关键词: 时序逻辑 形式化语义 UML2．0 顺序图 XYZ／E
Abstract: UML 2.0 sequence diagrams are suitable for describing the interaction behavior among components and subcomponents of composite component, but the semantics of UML 2. 0 sequence diagram is notprecise, this makes the description of UML 20 sequence diagram c
Key words: Temporal logic, Formal semantics, UML 2. 0, Sequence diagram, XYZ/E
. UML2．0顺序图的XYZ／E时序逻辑语义研究[J]. 计算机科学, 2006, 33(8): 249-251. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I8/249
Cited
首页