I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Relational Analysis of Correlation


J. Bauer, Flemming Nielson, Hanne Riis Nielson, and Henrik Pilegaard. Relational analysis of correlation. In 15th International Static Analysis Symposium, volume tba of Lecture Notes in Computer Science. Springer, 2008.


In service-oriented computing, correlations are used to determine links between service providers and users. A correlation contains values for some variables received in a communication. Subsequent messages will only be received when they match the values of the correlation. Correlations allow for the implementation of sessions, local shared memory, gradually provided input, or input provided in arbitrary order – thus presenting a challenge to static analysis.

In this work, we present a static analysis in relational form of correlations. It is defined in terms of a fragment of the process calculus COWS that itself builds on the Fusion Calculus. The analysis is implemented and practical experiments allow us to automatically establish properties of the flow of information between services.


process calculus, COWS, static analysis, relational, service-orientation

Suggested BibTeX entry:

    author = {J. Bauer and Flemming Nielson and Hanne Riis Nielson and Henrik Pilegaard},
    booktitle = {15th {I}nternational {S}tatic {A}nalysis {S}ymposium},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Relational Analysis of Correlation},
    volume = {tba},
    year = {2008}

PDF (278 kB)