ESR-12 Paraskevi Zerva

I am currently an Early Stage Researcher  – Marie-Curie Fellow-  participating in FP7 Initial Training Network (ITN) RELATE. I am also a MPhil/PhD student in the Department of Informatics in King’s College London under the supervision of Dr. Steffen Zschaler & Dr. Simon Miles .

Provenance Awareness Types of Services and Service Composition

This research proposes to go beyond the grounds of current formal and semi-formal techniques of modelling and reasoning about software by extending state of the art in the domain of Web services, by proposing a formal specification of Provenance Awareness for Web Service Composition. The main objective of this research is to propose a modelling language that will formally specify the effects of services and service composition, and in enabling these effects and the requirements for provenance awareness in a general manner. We aim to provide an analysis framework of Provenance Awareness for service composition, in order to detect at design time if the selected services are provenance aware, meaning they can answer possible query types of the users based on the provenance data specifications provided for service compositions at design time. Our goal is to move towards the accomplishment of this framework by building up a Provenance Data Query type metamodel for service compositions. Another perspective of this research is to formalise this framework by making a selection of specific formal methods appropriate for the analysis of different kinds of provenance queries. Our last intention is to create a number of industrial scale case studies in order to evaluate the proposed formal approach of Provenance Awareness in the analysis domain in a systematic way.

Firstly, this research will focus on the study of the fundamentals of components,(CBSE) techniques and generic languages on non-functional properties, and then it will try to identify how the framework regarding non-functional properties (NFPs) of (web) services, based on (Web) Service (Oriented) Architecture, differ from them. The research will continue with a survey on provenance awareness as a NFP and the interesting types of provenance questions that are required to be answered for the service composition’s processing and how those can form individual query types. Also, we investigate the fundamental concepts of (web) services/service composition that need to be modelled in order to allow verification for Provenance Awareness, as well as we analyse the requirements on provenance data/properties needed in order to answer those query types. To make an analysis of those requirements we will ground our work on a number of use case scenarios.

Framework on Formal Specification of Provenance Awareness for Web Service Composition

Interesting links:

Main research interests:

  • Cloud Computing
  • Composition of Services
  • Ontologies & Semantic Web
  • Semantic Sensor Network Ontologies
  • Mashups and GIS
  • Security Issues in Databases





Zerva P., Hamadache K., Angouras G., Zschaler S. and Miles S. : An Industrial Case Study on Provenance Awareness of Composite Services. In Proceedings of the 10th International Conference on Semantics, Knowledge and Grids (SKG 2014), August 27-29, Beijing, China (To appear)

Zerva P., Zschaler S., Miles S.: A Provenance Model of Composite Services in Service-Oriented Environments. In 2014 IEEE 8th International Symposium on Service Oriented System Engineering (SOSE 2014), April 7-11, Oxford UK, 2014, p.1-12, PDF

Zerva P., Zschaler S., Miles S.: Towards Provenance Aware Design of Service Compositions: A Methodology for Analysing the Provenance Awareness in Service Designs. In 2013 IEEE International Conference on Services Computing (SCC), June 28 – July 3, Santa Clara Marriott, CA, USA, 2013, pp. 761-762, LINK

Zerva P., Zschaler S., Miles S.: Towards Formal Specification of Non-functional Properties for Provenance Awareness. In DSM-TP – 3rd International Summer School on Domain Specific Modeling – Theory and Practice, September 10 –14, Lisbon, Portugal September 2012, PDF

Zerva P., Zschaler S., Miles S.: Towards Design Support for Provenance Awareness: A Classification of Provenance Questions. In Proceedings of the Joint EDBT/ICDT 2013 Workshops, March 18-22, Genova, Italy, 2013, pp.275-281

Hamadache K., Zerva P., Polyviou A., Simko V., Dautov R,. Gonidis F., Paez Anaya I.: Cost in the Cloud Rationalisation and Research Trails. In Proceedings of the 2nd International Conference on Advanced Cloud and Big Data (CBD 2014), November 20-22, Huangshan, Anhui, China, 2014 (To appear)

Hamadache K., Zerva P.: Provenance of Feedback in Cloud Services. In 2014 IEEE 8th International Symposium on Service Oriented System Engineering (SOSE 2014), April 7-11, Oxford, UK, 2014, p.23-34, LINK

This entry was posted in Research Projects, WP2. Bookmark the permalink.

Comments are closed.