| UML活动图的时序逻辑语义 |
| 其他题名 | a temporal logic semantics for uml activity diagrams
|
| 朱雪阳; 唐稚松
|
| 2005
|
| 发表期刊 | 计算机研究与发展
 |
| ISSN | 1000-1239
|
| 卷号 | 42期号:9页码:1478-1484 |
| 摘要 | UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XYZ/E是一可执行线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,用它对活动图形式化后,就可在统一的逻辑框架下分析活动图的性质.定义了一个有向图结构用以表示UML活动图,再给出其XYZ/E语义,并用一个例子说明活动图到XYZ/E的语义转换,为进一步的分析提供形式化基础. |
| 收录类别 | wanfang
; cnki
; ei
|
| 关键词 | Uml
活动图
形式化语义
时序逻辑
Xyz/e
活动图
线性时序逻辑语言
逻辑语义
Uml Activity Diagrams
形式化
系统行为
语义转换
行为建模
描述系统
逻辑框架
动态行为
图结构
控制流
可表示
程序性
基础
|
| 部门归属 | 中国科学院软件研究所计算机科学重点实验室,北京,100080;中国科学院软件研究所计算机科学重点实验室,北京,100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12342
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
朱雪阳,唐稚松. UML活动图的时序逻辑语义[J]. 计算机研究与发展,2005,42(9):1478-1484.
|
| APA |
朱雪阳,&唐稚松.(2005).UML活动图的时序逻辑语义.计算机研究与发展,42(9),1478-1484.
|
| MLA |
朱雪阳,et al."UML活动图的时序逻辑语义".计算机研究与发展 42.9(2005):1478-1484.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论