Towards data-aware resource analysis for service orchestrations

Ivanovic, Dragan and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2009). Towards data-aware resource analysis for service orchestrations. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: Towards data-aware resource analysis for service orchestrations
Author/s:
  • Ivanovic, Dragan
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Item Type: Monograph (Technical Report)
Date: October 2009
Subjects:
Freetext Keywords: Service orchestrations, Resource usage, Program analysis, Data-awareness, Servicio instrumentado, Utilización de recursos, Análisis de programas.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (821kB) | Preview

Abstract

Compile-time program analysis techniques can be applied to Web service orchestrations to prove or check various properties. In particular, service orchestrations can be subjected to resource analysis, in which safe approximations of upper and lower resource usage bounds are deduced. A uniform analysis can be simultaneously performed for different generalized resources that can be directiy correlated with cost- and performance-related quality attributes, such as invocations of partners, network traffic, number of activities, iterations, and data accesses. The resulting safe upper and lower bounds do not depend on probabilistic assumptions, and are expressed as functions of size or length of data components from an initiating message, using a finegrained structured data model that corresponds to the XML-style of information structuring. The analysis is performed by transforming a BPEL-like representation of an orchestration into an equivalent program in another programming language for which the appropriate analysis tools already exist.

More information

Item ID: 14710
DC Identifier: http://oa.upm.es/14710/
OAI Identifier: oai:oa.upm.es:14710
Official URL: http://www.clip.dia.fi.upm.es/~clip/papers/morales09:improlog-tr.pdf
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 02 Apr 2013 07:02
Last Modified: 21 Apr 2016 14:30
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM