King's College London

Research portal

Modelling and Analysing Provenance Awareness Infrastructure for SOC systems

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageEnglish
Title of host publicationService-Oriented System Engineering (SOSE), 2015 IEEE Symposium on
Number of pages10
ISBN (Print)9781479983575
PublishedApr 2015
Event2015 IEEE Symposium on Service-Oriented System Engineering (SOSE 2015) - San Francisco Bay, United States
Duration: 30 Mar 20153 Apr 2015


Conference2015 IEEE Symposium on Service-Oriented System Engineering (SOSE 2015)
Country/TerritoryUnited States
CitySan Francisco Bay

King's Authors


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.

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454