| dc.contributor.author | Favre, Liliana M. | |
| dc.contributor.editor | Evans, Andy | |
| dc.contributor.editor | France, Robert B. | |
| dc.contributor.editor | Moreira, Ana M. D. | |
| dc.contributor.editor | Rumpe, Bernhard | |
| dc.date.accessioned | 2020-01-07T12:34:48Z | |
| dc.date.available | 2020-01-07T12:34:48Z | |
| dc.date.issued | 2001 | |
| dc.identifier.isbn | 3-88579-335-0 | |
| dc.identifier.issn | 1617-5468 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/30870 | |
| dc.description.abstract | 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. | en |
| dc.language.iso | en | |
| dc.relation.ispartof | Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-7 | |
| dc.title | A formal mapping between UML static models and algebraic specifications | en |
| dc.type | Text/Conference Paper | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 113-127 | |
| mci.conference.sessiontitle | Regular Research Papers | |
| mci.conference.location | Toronto, Canada | |
| mci.conference.date | October 1st, 2001 | |
