UML活动图的时序逻辑语义
文献类型：期刊论文
| 作者 | 朱雪阳 ; 唐稚松 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2005 |
| 卷号 | 42期号:9页码:1478-1484 |
| 关键词 | UML 活动图 形式化语义 时序逻辑 XYZ/E 活动图 线性时序逻辑语言 逻辑语义 UML Activity Diagrams 形式化 系统行为 语义转换 行为建模 描述系统 逻辑框架 动态行为 图结构 控制流 可表示 程序性 基础 |
| ISSN号 | 1000-1239 |
| 其他题名 | a temporal logic semantics for uml activity diagrams |
| 中文摘要 | UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XYZ/E是一可执行线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,用它对活动图形式化后,就可在统一的逻辑框架下分析活动图的性质.定义了一个有向图结构用以表示UML活动图,再给出其XYZ/E语义,并用一个例子说明活动图到XYZ/E的语义转换,为进一步的分析提供形式化基础. |
| 收录类别 | wanfang ; cnki ; ei |
| 语种 | 中文 |
| 公开日期 | 2011-07-28 |
| 附注 | UML activity diagrams can be used to describe the control flow of different abstract levels and are very suitable for modeling system behaviors. However, the lack of precise semantics makes it difficult to analyze properties of the system they describe. I |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。