Institutional Repository
| UML活动图的时序逻辑语义 | |
| Alternative Title | a temporal logic semantics for uml activity diagrams |
| 朱雪阳; 唐稚松 | |
| 2005 | |
| Source | 计算机研究与发展
 |
| ISSN | 1000-1239 |
| Volume | 42Issue:9Pages:1478-1484 |
| English Abstract | UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XYZ/E是一可执行线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,用它对活动图形式化后,就可在统一的逻辑框架下分析活动图的性质.定义了一个有向图结构用以表示UML活动图,再给出其XYZ/E语义,并用一个例子说明活动图到XYZ/E的语义转换,为进一步的分析提供形式化基础. |
| Indexed Type | wanfang ; cnki ; ei |
| Keyword | Uml 活动图 形式化语义 时序逻辑 Xyz/e 活动图 线性时序逻辑语言 逻辑语义 Uml Activity Diagrams 形式化 系统行为 语义转换 行为建模 描述系统 逻辑框架 动态行为 图结构 控制流 可表示 程序性 基础 |
| Department | 中国科学院软件研究所计算机科学重点实验室,北京,100080;中国科学院软件研究所计算机科学重点实验室,北京,100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12342 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| UML活动图的时序逻辑语义.pdf（465KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment