可视化UML模型验证环境研究

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

可视化UML模型验证环境研究

付茂洺, 王悠

文章导航 > 电子科技大学学报 > 2010 > 39(2): 289-292,270

付茂洺, 王悠. 可视化UML模型验证环境研究[J]. 电子科技大学学报, 2010, 39(2): 289-292,270. doi: 10.3969/j.issn.1001-0548.2010.02.029

引用本文:

付茂洺, 王悠. 可视化UML模型验证环境研究[J]. 电子科技大学学报, 2010, 39(2): 289-292,270. doi: 10.3969/j.issn.1001-0548.2010.02.029

FU Mao-ming, WANG You. Research on Visual UML Model Verification Environment[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(2): 289-292,270. doi: 10.3969/j.issn.1001-0548.2010.02.029

Citation:

FU Mao-ming, WANG You. Research on Visual UML Model Verification Environment[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(2): 289-292,270. doi: 10.3969/j.issn.1001-0548.2010.02.029

可视化UML模型验证环境研究

doi: 10.3969/j.issn.1001-0548.2010.02.029

付茂洺¹,
王悠²

1.
中国民航飞行学院计算机学院四川广汉 618307;
2.
中国民航飞行学院航空工程学院四川广汉 618307

基金项目:

国家自然科学基金(60879022/F01)

作者简介:
付茂洺(1971-)，男，副教授，主要从事网络安全和软件工程等方面的研究.

中图分类号: TP311

Research on Visual UML Model Verification Environment

FU Mao-ming¹,
WANG You²

1.
Department of Computer,Civil Aviation Flight University of China Guanghan Sichuan 618307;
2.
Aeronautical Engineering Institute,Civil Aviation Flight University of China Guanghan Sichuan 618307

摘要: 针对非形式化的描述可能导致的不明确和不一致问题，提出并设计实现了一种基于OCL的、能对UML模型中类之间的关联及约束进行分析与验证的OUVE，使得在编写代码之前就能很好地验证类之间的关联关系，以及约束条件是否与实际的要求相符合，降低了由于不明确和不一致导致的设计、编程的错误以及所要付出的修改代价。
- 对象约束语言 /
- 规约 /
- UML模型 /
- 验证
Abstract: Aiming at the problem of inaccurate and discordant arithmetic caused by informal software specification, this paper puts forward an OUVE (OCL-based UML verification environment) setting which is based on Object Constraint Language. OUVE can verify whether the constraints and relationship among classes correspond with practical requirements before coding. Comparing with traditional method, OUVE reduces the cost of modification caused by improper design and programming fault.
- object constraint language /
- specification /
- unified modeling language /
- verification

[1]	朱元江, 杨康, 鲍秋香, 徐宇, 蒋卫祥, 宋世千. 数字阵列宽带多波束发射设计与验证 . 电子科技大学学报, 2023, 52(6): 818-825. doi: 10.12178/1001-0548.2023077
[2]	刘燕群, 熊蓉, 肖婷, 杨燕, 刘康, 冯刚, 宋桂芹. 肝癌转移相关基因预后模型的建立与验证 . 电子科技大学学报, 2022, 51(2): 184-193. doi: 10.12178/1001-0548.2021301
[3]	汪文勇, 刘川, 赵强, 沈晓明, 丘晓彤. 直接验证的封装式特征选择方法 . 电子科技大学学报, 2016, 45(4): 607-615. doi: 10.3969/j.issn.1001-0548.2016.04.013
[4]	肖文书, 张二伟. 密集MIMO雷达性能分析及试验验证 . 电子科技大学学报, 2016, 45(1): 66-70. doi: 10.3969/j.issn.1001-0548.2016.01.010
[5]	俞东进, 吴为, 殷昱煜, 闫大强, 刘志清. 基于模型检测的服务规则路由正确性验证方法 . 电子科技大学学报, 2014, 43(1): 107-112. doi: 10.3969/j.issn.1001-0548.2014.01.018
[6]	徐会彬, 施星君, 任斌, 薛小平. 基于车辆运动轨迹的VANETs位置验证 . 电子科技大学学报, 2013, 42(4): 586-591. doi: 10.3969/j.issn.1001-0548.2013.04.011
[7]	刘强, 马建国. 提高SoC硬件系统验证效率方法的综述 . 电子科技大学学报, 2013, 42(2): 162-170. doi: 10.3969/j.issn.1001-0548.2013.02.001
[8]	王小兵, 段振华. 面向对象的时序逻辑语言 . 电子科技大学学报, 2009, 38(1): 97-101.
[9]	杨加喜, 李磊, 王育民. 可公开验证的安全电子拍卖方案 . 电子科技大学学报, 2008, 37(1): 24-26,46.
[10]	江洪波, 黄盈. 基于功能虚拟原型的验证方法 . 电子科技大学学报, 2008, 37(2): 258-261.
[11]	佟国香, 姜书艳, 周亦敏. 基于PC模拟的CSTN-LCD驱动验证 . 电子科技大学学报, 2007, 36(4): 755-758.
[12]	肖军模, 刘军, 于泠. 探讨JAVA的安全性改造与验证 . 电子科技大学学报, 2007, 36(3): 531-533,537.
[13]	姜伟, 杜平安, 李磊. 基于JAAS和J2EE Web容器的验证与授权 . 电子科技大学学报, 2007, 36(5): 969-972.
[14]	王明文, 朱清新. 基于UML的XML Schema设计 . 电子科技大学学报, 2006, 35(3): 389-391,395.
[15]	陈文宇, 桑楠, 屈鸿. 分布式对象调试中的事件模型 . 电子科技大学学报, 2005, 34(3): 377-380.
[16]	杨新勇, 黄圣国. 磁罗盘的罗差分析与验证 . 电子科技大学学报, 2004, 33(5): 547-550.
[17]	卫春敏, 赵莉, 陈文宇. 对象/关系映射中的完整性及关系约束检查 . 电子科技大学学报, 2004, 33(5): 570-572,593.
[18]	甘元驹, 施荣华. 一种高效的可验证的门限签名方案 . 电子科技大学学报, 2003, 32(2): 199-202.
[19]	吴跃, 罗吴蔓. 统一建模语言UML分层抽象建模机制 . 电子科技大学学报, 2001, 30(2): 148-152.
[20]	李龙澍, 程慧霞. 基于约束对象的知识表示研究 . 电子科技大学学报, 1998, 27(4): 411-415.

WeChat

点击查看大图

计量

文章访问数: 3303
HTML全文浏览量: 90
PDF下载量: 38
被引次数: 0

可视化UML模型验证环境研究

doi: 10.3969/j.issn.1001-0548.2010.02.029

付茂洺¹,
王悠²

1. 中国民航飞行学院计算机学院四川广汉 618307;

2. 中国民航飞行学院航空工程学院四川广汉 618307

基金项目:

国家自然科学基金(60879022/F01)

作者简介:
付茂洺(1971-)，男，副教授，主要从事网络安全和软件工程等方面的研究.

收稿日期: 2008-06-16
修回日期: 2009-09-27
刊出日期: 2010-04-15

中图分类号: TP311

关键词:

摘要: 针对非形式化的描述可能导致的不明确和不一致问题，提出并设计实现了一种基于OCL的、能对UML模型中类之间的关联及约束进行分析与验证的OUVE，使得在编写代码之前就能很好地验证类之间的关联关系，以及约束条件是否与实际的要求相符合，降低了由于不明确和不一致导致的设计、编程的错误以及所要付出的修改代价。

English Abstract

付茂洺, 王悠. 可视化UML模型验证环境研究[J]. 电子科技大学学报, 2010, 39(2): 289-292,270. doi: 10.3969/j.issn.1001-0548.2010.02.029

引用本文:

付茂洺, 王悠. 可视化UML模型验证环境研究[J]. 电子科技大学学报, 2010, 39(2): 289-292,270. doi: 10.3969/j.issn.1001-0548.2010.02.029

FU Mao-ming, WANG You. Research on Visual UML Model Verification Environment[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(2): 289-292,270. doi: 10.3969/j.issn.1001-0548.2010.02.029

Citation:

FU Mao-ming, WANG You. Research on Visual UML Model Verification Environment[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(2): 289-292,270. doi: 10.3969/j.issn.1001-0548.2010.02.029

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发