Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML (2000)
| Venue: | Algebraic Methodology and Software Technology (AMAST 2000), volume 1816 of Lecture Notes in Computer Science (LNCS |
| Citations: | 14 - 2 self |
BibTeX
@INPROCEEDINGS{Astesiano00pluggingdata,
author = {Egidio Astesiano and Maura Cerioli and Gianna Reggio},
title = {Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML},
booktitle = {Algebraic Methodology and Software Technology (AMAST 2000), volume 1816 of Lecture Notes in Computer Science (LNCS},
year = {2000},
pages = {273--292},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. We are interested in the composition of languages, in particular a data description language and a paradigm-specific language, from a pragmatic point of view. Roughly speaking our goal is the description of languages in a component-based style, focussing on the data definition component. The proposed approach is to substitute the constructs dealing with data from the "data" language for the constructs describing data that are not specific to the particular paradigm of the "paradigm-specific" language in a way that syntax, semantics as well as methodologies of the two components are preserved. We illustrate our proposal on a toy example: using the algebraic specification language Casl, as data language, and a "pre-post" condition logic `a la Hoare, as the paradigm specific one. A more interesting application of our technique is fully worked out in [16] and the first step towards an application to UML, that is an analysis of UML from the data viewpoint, following the guid...
