期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
UML状态图在并行环境的应用研究
被引量：
3
1
作者
邓建波
张立臣
徐碧红
《计算机工程与设计》
CSCD
北大核心
2011年第3期945-947,1022,共4页
标准UML(unifiedmodellanguage)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性。针对此特点,提出了结合...
标准UML(unifiedmodellanguage)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性。针对此特点,提出了结合CSP的UML状态图的形式语义,同时给出在并行环境下UML状态图的合并方法。根据形式语义对UML状态图在并行环境中应用的正确性(模型检验)进行分析,通过操作系统进程调度在并行环境下运行实例的结果表明了该形式语义的正确性。
展开更多
关键词
统一建模
语言
状态图
通信序列进程语言
并行环境
形式语义
模型检验
在线阅读
下载PDF
职称材料
题名
UML状态图在并行环境的应用研究
被引量：
3
1
作者
邓建波
张立臣
徐碧红
机构
广东工业大学计算机学院
吉首大学数学与计算机科学学院
出处
《计算机工程与设计》
CSCD
北大核心
2011年第3期945-947,1022,共4页
基金
国家自然科学基金项目(60373000
60474072Z)
+2 种基金
国家自然科学基金重大发展计划项目(90818008)
广东省自然科学基金项目(07001774
04009465)
文摘
标准UML(unifiedmodellanguage)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性。针对此特点,提出了结合CSP的UML状态图的形式语义,同时给出在并行环境下UML状态图的合并方法。根据形式语义对UML状态图在并行环境中应用的正确性(模型检验)进行分析,通过操作系统进程调度在并行环境下运行实例的结果表明了该形式语义的正确性。
关键词
统一建模
语言
状态图
通信序列进程语言
并行环境
形式语义
模型检验
Keywords
unified model language
state diagram
communication sequential process
parallel environment
formal semantics
model checking
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
UML状态图在并行环境的应用研究
邓建波
张立臣
徐碧红
《计算机工程与设计》
CSCD
北大核心
2011
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
