USE:: A UML-based specification environment for validating UML and OCL

被引：254

作者：

Gogolla, Martin ^{[1
]}

Buettner, Fabian ^{[1
]}

Richters, Mark ^{[2
]}

机构：

[1] Univ Bremen, Bremen, Germany

[2] EADS Space Transportat, Bremen, Germany

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2007年 / 69卷 / 1-3期

关键词：

UML; OCL; model; constraint; invariant; pre- and post-conditions; model validation; model certification; model execution;

D O I：

10.1016/j.scico.2007.01.013

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The Unified Modeling Language (UML) is accepted today as an important standard for developing software. UML tools however provide little support for validating and checking models in early development phases. There is also no substantial support for the Object Constraint Language (OCL). We present an approach for the validation of UML models and OCL constraints based on animation and certification. The USE tool (UML-based Specification Environment) supports analysts, designers and developers in executing UML models and checking OCL constraints and thus enables them to employ model-driven techniques for software production. (c) 2007 Elsevier B.V. All rights reserved.

引用

页码：27 / 34

页数：8

共 15 条

[1] The key approach:: Integrating object oriented design and formal verification [J].

Ahrendt, W ;

Baar, T ;

Beckert, B ;

Giese, M ;

Habermalz, E ;

Hähnle, R ;

Menzel, W ;

Schmitt, PH .

LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 :21-36

[2]

AKEHURST D, 2005, KENT MODELING FRAMEW

[3]

ARNOLD D, 2005, OCL C COMPILER

[4]

*BOLDS, 2002, BOLDS OCL TOOL MOD R

[5] Towards transformation of integrity constraints and database states [J].

Büttner, F ;

Bauerdick, H ;

Gogolla, M .

SIXTEENTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2005, :823-828

[6]

CHIOREAN D, 2001, P UML 2001 WORKSH RI, P57

[7]

GOGOLLA M, 2005, J SOFTWARE SYSTEM MO

[8]

Hussmann H, 2000, LECT NOTES COMPUT SC, V1939, P278

[9]

*KLASS OBJ, 2005, KLASS OBJ OCL CHECK

[10] Formalizing UML Models and OCL Constraints in PVS [J].

Kyas, Marcel ;

Fecher, Harald ;

de Boer, Frank S. ;

Jacob, Joost ;

Hooman, Jozef ;

van der Zwaag, Mark ;

Arons, Tamarah ;

Kugler, Hillel .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 115 :39-47

← 1 2 →