Supporting rigorous evolution of UML models

Author

Judson, Sheena R. ; France, Robert B. ; Carver, Doris L.

Author_Institution

Dept. of Comput. Sci., Louisiana State Univ., Baton Rouge, LA, USA

fYear

2004

fDate

14-16 April 2004

Firstpage

128

Lastpage

137

Abstract

The Mdel Driven Architecture (MDA) initiative formulated by the Object Management Group (OMG) is intended to support the development of software-intensive systems through the transformation of models to executable components and applications. Techniques and technologies that support rigorous definition of model transformations are required to realize the MDA vision. In this paper, we describe a technique for specifying pattern-based transformations of UML models consisting of class and interaction diagrams. The transformation specifications can be used to support systematic and verifiable transformations of UML models.

Keywords

formal specification; specification languages; Model Driven Architecture; Object Management Group; UML model evolution support; UML model transformations; class diagrams; interaction diagrams; pattern-based transformations; software-intensive system development; transformation specifications; Application software; Computer architecture; Computer science; Error correction; Metamodeling; Pattern analysis; Programming; Software development management; Standards development; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering Complex Computer Systems, 2004. Proceedings. Ninth IEEE International Conference on

ISSN

1050-4729

Print_ISBN

0-7695-2109-6

Type

conf

DOI

10.1109/ICECCS.2004.1310911

Filename

1310911