Logo des Repositoriums
 
Konferenzbeitrag

A formal mapping between UML static models and algebraic specifications

Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2001

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Zusammenfassung

There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system properties. In this paper we propose a systematic approach to transform UML static models into algebraic specifications. We define the GSBLoo algebraic language to cope with concepts of UML. Firstly, we give a formal description for UML static models using GSBLoo. Then, we describe how to translate UML constructs to GSBLoo constructs. In particular, we show how to transform UML relations into GSBLoo . We propose a system of transformation rules to translate OCL constraints to GSBLoo.

Beschreibung

Favre, Liliana M. (2001): A formal mapping between UML static models and algebraic specifications. Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001. PISSN: 1617-5468. ISBN: 3-88579-335-0. pp. 113-127. Regular Research Papers. Toronto, Canada. October 1st, 2001

Schlagwörter

Zitierform

DOI

Tags