Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

UML
2001
Springer

favoriteEmaildiscussreport

132views Natural Language Processing» more UML 2001»

A Formal Mapping between UML Static Models and Algebraic Specifications

13 years 8 months ago

A Formal Mapping between UML Static Models and Algebraic Specifications

Download subs.emis.de

: 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 .

Liliana Favre

Real-time Traffic

Natural Language Processing | UML 2001 | UML Constructs | UML Models | UML Static Models |

claim paper

Related Content

» Formalization of UMLStatecharts

» An Algebraic Approach to Image Schemas for Geographic Space

» From UML to LQN by XML algebrabased model transformations

» On a Temporal Logic for ObjectBased Systems

» A Heterogeneous Approach to UML Semantics

» Deriving Software Process Simulation Model from SPEMbased Software Process Model

» Bridging the semantic gap in OLAP models platformindependent queries

» Modelling and solving temporal reasoning as propositional satisfiability

» Composition of Modelbased Test Coverage Criteria

Post Info
More Details (n/a)

Added	30 Jul 2010
Updated	30 Jul 2010
Type	Conference
Year	2001
Where	UML
Authors	Liliana Favre

Comments (0)