Modelling and Analysing Provenance Awareness Infrastructure for SOC systems

TY - CHAP

T1 - Modelling and Analysing Provenance Awareness Infrastructure for SOC systems

AU - Zerva, Paraskevi

AU - Zschaler, Steffen

AU - Miles, Simon

PY - 2015/4

Y1 - 2015/4

N2 - Provenance awareness adds a new dimension to SOC systems' design allowing them to answer different kinds of questions about the system's history processing by recording information during system execution. Incorporating provenance in SOC systems requires to carefully model and analyse provenance infrastructure requirements at system's design time in order to cope with the inherent complexity encapsulated into the SOC systems' execution cycle, considering the aspects of service discovery, selection and dynamic composition. Formally specifying provenance-infrastructure behavior assists in the design/analysis of the system's accountability by introducing provenance mechanisms to collect the respective provenance where the latter can be verified and revised beforehand the system's actual implementation. We have previously presented a data model to express the graph-based structure of the provenance data collected for composite services. In this paper we focus on a template provenance-infrastructure model specifying the behavior required in order to issue the respective provenance recording calls through the SOC execution cycle. We then bind the infrastructure design to specific SOC models in order to analyze whether this leads to actual recording of the provenance required for answering provenance queries. We accomplish this by proposing a generic algorithm that simulates the provenance-infrastructure behavior and generates sample provenance-data graphs.

AB - Provenance awareness adds a new dimension to SOC systems' design allowing them to answer different kinds of questions about the system's history processing by recording information during system execution. Incorporating provenance in SOC systems requires to carefully model and analyse provenance infrastructure requirements at system's design time in order to cope with the inherent complexity encapsulated into the SOC systems' execution cycle, considering the aspects of service discovery, selection and dynamic composition. Formally specifying provenance-infrastructure behavior assists in the design/analysis of the system's accountability by introducing provenance mechanisms to collect the respective provenance where the latter can be verified and revised beforehand the system's actual implementation. We have previously presented a data model to express the graph-based structure of the provenance data collected for composite services. In this paper we focus on a template provenance-infrastructure model specifying the behavior required in order to issue the respective provenance recording calls through the SOC execution cycle. We then bind the infrastructure design to specific SOC models in order to analyze whether this leads to actual recording of the provenance required for answering provenance queries. We accomplish this by proposing a generic algorithm that simulates the provenance-infrastructure behavior and generates sample provenance-data graphs.

U2 - 10.1109/SOSE.2015.31

DO - 10.1109/SOSE.2015.31

M3 - Conference paper

SN - 9781479983575

VL - 1

SP - 40

EP - 49

BT - Service-Oriented System Engineering (SOSE), 2015 IEEE Symposium on

PB - IEEE

T2 - 2015 IEEE Symposium on Service-Oriented System Engineering (SOSE 2015)

Y2 - 30 March 2015 through 3 April 2015

ER -