Certification of Transformation Algorithms in Model-Driven Software Development
| dc.contributor.author | Garcia, Miguel | |
| dc.contributor.author | Möller, Ralf | |
| dc.contributor.editor | Bleek, Wolf-Gideon | |
| dc.contributor.editor | Raasch, Jörg | |
| dc.contributor.editor | Züllighoven, Heinz | |
| dc.date.accessioned | 2019-05-15T09:43:16Z | |
| dc.date.available | 2019-05-15T09:43:16Z | |
| dc.date.issued | 2007 | |
| dc.description.abstract | The increasing reliance on Model-Driven Software Development calls for model compilers to assume the role of today’s compilers, i.e., reliability of these com- ponents is of utmost importance. We describe how to certify model transformations in this context by bridging the gap between the languages in which such transformations are specified (e.g., Essential MOF, OCL, OO programs) and the decision procedures needed to verify properties expected of such transformations. Two major aspects are investigated in this paper: (i) valid output is obtained for each valid input, (ii) the output satisfies certain properties. Results from application projects validate our approach, which internally applies model-driven techniques to the certification process itself by mapping transformation specifications into the +CAL model-checking language. | en |
| dc.identifier.isbn | 978-3-88579-199-7 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/22754 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-105 | |
| dc.title | Certification of Transformation Algorithms in Model-Driven Software Development | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 118 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 107 | |
| gi.conference.date | 27.-30.03.2007 | |
| gi.conference.location | Hamburg | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1