首页> 中文期刊>云南民族大学学报（自然科学版） >形式化表示UML顺序图的结构操作语义

形式化表示UML顺序图的结构操作语义

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件.

著录项

来源
《云南民族大学学报（自然科学版）》|2013年第4期|299-301|共3页
作者
陈寿文;
展开▼
作者单位

滁州学院数学科学学院,安徽滁州239000;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
形式化表示; UML顺序图; 结构操作语义;

相似文献

中文文献
外文文献
专利

1. 关于UML顺序图的结构化操作语义描述的研究 [J] . 杨洋 ,金暐 . 福建电脑 . 2007,第011期
2. UML顺序图的结构化操作语义研究 [J] . 黄陇 ,于洪敏 ,陈致明 . 计算机应用 . 2005,第002期
3. 基于时序描述逻辑的UML顺序图形式化研究 [J] . 冉婕 ,谢树云 ,漆丽娟 . 计算机系统应用 . 2018,第8期
4. UML顺序图形式化语义的研究综述 [J] . 郭艳燕 ,张楠 ,童向荣 . 计算机科学 . 2017,第002期
5. 基于Timed-UML顺序图的RBC交接形式化建模与分析 [J] . 安越 ,李国宁 . 铁道标准设计 . 2016,第006期
6. UML2.0顺序图的形式化建模 [C] . . 中国电子学会电子系统工程分会第十五届信息化理论学术研讨会 . 2008
7. UML顺序图的形式化描述方法研究 [A] . 阮彦锐 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号