An initial proposal for data-aware resource analysis of orchestrations with applications to predictive monitoring

Authors:
Dragan Ivanović;Manuel Carro;Manuel Hermenegildo
Affiliations:
School of Computer Science, T. University of Madrid;School of Computer Science, T. University of Madrid;School of Computer Science, T. University of Madrid and IMDEA Software, Spain
Venue:
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Year:
2009

Citing 13
Cited 1

Cost analysis of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
QoS-Aware Middleware for Web Services Composition

IEEE Transactions on Software Engineering
An approach for QoS-aware service composition based on genetic algorithms

GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Concurrency, Graphs and Models
Analysis of QoS in cooperative services for real time applications

Data & Knowledge Engineering
Determining QoS of WS-BPEL Compositions

ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs

Logic-Based Program Synthesis and Transformation
User-definable resource bounds analysis for logic programs

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Quality analysis of composed services through fault injection

BPM'07 Proceedings of the 2007 international conference on Business process management
Study on qos driven web services composition

APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Let's dance: a language for service behavior modeling

ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
A model-driven approach for QoS prediction of BPEL processes

ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing

Constraint-Based runtime prediction of SLA violations in service orchestrations

ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Several activities in service oriented computing can benefit from knowing ahead of time future properties of a given service composition. In this paper we focus on how statically inferred computational cost functions on input data, which represent safe upper and lower bounds, can be used to predict some QoS-related values at runtime. In our approach, BPEL processes are translated into an intermediate language which is in turn converted into a logic program. Cost and resource analysis tools are applied to infer functions which, depending on the contents of some initial incoming message, return safe upper and lower bounds of some resource usage measure. Actual and predicted time characteristics are used to perform predictive monitoring. A validation is performed through simulation.