Research on Visual UML Model Verification Environment

FU Mao-ming; WANG You

doi:10.3969/j.issn.1001-0548.2010.02.029

PDF
Cite
Share

facebook

twitter

google

linkedin

Volume 39 Issue 2

May 2017

Article Contents

Article Navigation > Journal of University of Electronic Science and Technology of China > 2010 > 39(2): 289-292,270

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

Research on Visual UML Model Verification Environment

doi: 10.3969/j.issn.1001-0548.2010.02.029

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

Received Date: 2008-06-16
Rev Recd Date: 2009-09-27
Publish Date: 2010-04-15

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
References
Proportional views

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

Get Citation

PDF

XML

Article Metrics

Article views(3559) PDF downloads(38) Cited by()

Proportional views