Automating Provenance Capture in Software Engineering with UML2PROV

TY - CHAP

T1 - Automating Provenance Capture in Software Engineering with UML2PROV

AU - Saenz-Adan, Carlos

AU - Moreau, Luc

AU - Pérez, Beatriz

AU - Miles, Simon

AU - García-Izquierdo, and Francisco J.

PY - 2018/5/22

Y1 - 2018/5/22

N2 - UML2PROV is an approach to address the gap between ap- plication design, through UML diagrams, and provenance design, using PROV-Template. Its original design (i) provides a mapping strategy from UML behavioural diagrams to templates, (ii) defines a code generation technique based on Proxy pattern to deploy suitable artefacts for prove- nance generation in an application, (iii) is implemented in Java, using XSLT as a first attempt to implement our mapping patterns. In this pa- per, we complement and improve this original design in three different ways, providing a more complete and accurate solution for provenance generation. First, UML2PROV now supports UML structural diagrams (Class Diagrams), defining a mapping strategy from such diagrams to templates. Second, the UML2PROV prototype is improved by using a Model Driven Development-based approach which not only implements the overall mapping patterns, but also provides a fully automatic way to generate the artefacts for provenance collection, based on Aspect Ori- ented Programming as a more expressive and compact technique for cap- turing provenance than the Proxy pattern. Finally, there is an analysis of the potential benefits of our overall approach.

AB - UML2PROV is an approach to address the gap between ap- plication design, through UML diagrams, and provenance design, using PROV-Template. Its original design (i) provides a mapping strategy from UML behavioural diagrams to templates, (ii) defines a code generation technique based on Proxy pattern to deploy suitable artefacts for prove- nance generation in an application, (iii) is implemented in Java, using XSLT as a first attempt to implement our mapping patterns. In this pa- per, we complement and improve this original design in three different ways, providing a more complete and accurate solution for provenance generation. First, UML2PROV now supports UML structural diagrams (Class Diagrams), defining a mapping strategy from such diagrams to templates. Second, the UML2PROV prototype is improved by using a Model Driven Development-based approach which not only implements the overall mapping patterns, but also provides a fully automatic way to generate the artefacts for provenance collection, based on Aspect Ori- ented Programming as a more expressive and compact technique for cap- turing provenance than the Proxy pattern. Finally, there is an analysis of the potential benefits of our overall approach.

M3 - Conference paper

BT - IPAW'2018: 7th International Provenance and Annotation Workshop

PB - Springer-Verlag Berlin Heidelberg

ER -