Traceability Mappings as a Fundamental Instrument in Model Transformations
Autor: | Zinovy Diskin, Jordi Cabot, Abel Gómez |
---|---|
Přispěvatelé: | Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3), McMaster University |
Rok vydání: | 2017 |
Předmět: |
composició seqüencial
mapeo de trazabilidad unió disjunta Theoretical computer science composición secuencial Traceability Computer science Model transformation 02 engineering and technology transformació de models enlace de trazabilidad 020204 information systems Encoding (memory) 0202 electrical engineering electronic engineering information engineering unión disjunta disjoint union computer.programming_language transformación de modelos Software engineering traceability link sequential composition model transformation 020207 software engineering Metamodeling mapatge de traçabilitat traceability mapping Transformation (function) enllaç de traçabilitat Chaining Key (cryptography) Enginyeria de programari Element (category theory) Ingeniería de software computer |
Zdroj: | Fundamental Approaches to Software Engineering ISBN: 9783662544938 FASE Recercat. Dipósit de la Recerca de Catalunya instname O2, repositorio institucional de la UOC Universitat Oberta de Catalunya (UOC) |
DOI: | 10.1007/978-3-662-54494-5_14 |
Popis: | Technological importance of traceability mappings for model transformations is well-known, but they have often been considered as an auxiliary element generated during the transformation execution and providing accessory information. This paper argues that traceability mappings should instead be regarded as a core aspect of the transformation definition, and a key instrument in the transformation management. We will show how a transformation can be represented as the result of execution of a metamodel mapping, which acts as a special encoding of the transformation definition. Since mappings enjoy Boolean operations (as sets of links) and sequential composition (as sets of directed links), encoding transformations by mappings makes it possible to define these operations for transformations as well, which can be useful for model transformation reuse, compositional design, and chaining. |
Databáze: | OpenAIRE |
Externí odkaz: |