-
题名UML 2.0顺序图的XYZ/E时序逻辑语义研究
被引量：11
- 1
-
-
作者
黄正宝
张广泉
-
机构
苏州大学计算机科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2006年第8期249-251,共3页
-
基金
国家自然科学基金(批准号:60073020)
中国科学院计算机科学国家重点实验室开放课题(批准号:SYSKF0303)
+1 种基金
江苏省高校自然科学基金项目(批准号:05KJB520119)
重庆市科学技术研究项目(合同号:0TP803)
-
文摘
UML2.0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为,但由于UML2.0顺序图的语义不够精确,使得它的描述结果不利于进一步的分析和验证。基于此,本文在定义UML2.0顺序图的语法和语法约束的基础上,给出了UML2.0顺序图的XYZ/E时序逻辑语义,为使用UML2.0顺序图与XYZ/E相结合的方式来描述软件体系结构的动态交互行为奠定了基础。
-
关键词
时序逻辑
形式化语义
uml2.0
顺序图
XYZ/E
-
Keywords
Temporal logic, Formal semantics, UML 2. 0, sequence diagram, XYZ/E
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
