Relational Analysis of Correlation

  • Jörg Bauer
  • Flemming Nielson
  • Hanne Riis Nielson
  • Henrik Pilegaard
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5079)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bauer, J., Nielson, F., Nielson, H.R., Pilegaard, H.: Relational analysis of correlation. Technical report, Technical University of Munich (2008)Google Scholar
  2. 2.
    Victor, B.: Personal communication (October 2007)Google Scholar
  3. 3.
    Bodei, C., Degano, P., Nielson, F., Nielson, H.R.: Static analysis for the π-calculus with applications to security. Information and Computation 168, 68–92 (2001)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Boreale, M., Buscemi, M.G., Montanari, U.: D-fusion: A distinctive fusion calculus. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 296–310. Springer, Heidelberg (2004)Google Scholar
  5. 5.
    Feret, J.: Dependency analysis of mobile systems. In: Le Métayer, D. (ed.) ESOP 2002 and ETAPS 2002. LNCS, vol. 2305, pp. 314–330. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  6. 6.
    Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: A calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 327–338. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, Springer, Heidelberg (2007)CrossRefGoogle Scholar
  8. 8.
    Lapadula, A., Pugliese, R., Tiezzi, F.: Regulating data exchange in service oriented applications. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 223–239. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  9. 9.
    Nielson, F., Nielson, H.R., Bauer, J., Nielsen, C.R., Pilegaard, H.: Relational analysis for delivery of services. In: Trustworthy Global Computing (to appear, 2007)Google Scholar
  10. 10.
    Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, New York (1999)MATHGoogle Scholar
  11. 11.
    Nielson, F., Nielson, H.R., Sun, H., Buchholtz, M., Hansen, R.R., Pilegaard, H., Seidl, H.: The succinct solver suite. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 251–265. Springer, Heidelberg (2004)Google Scholar
  12. 12.
    Nielson, F., Seidl, H.: Control-flow analysis in cubic time. In: Sands, D. (ed.) ESOP 2001 and ETAPS 2001. LNCS, vol. 2028, pp. 252–268. Springer, Heidelberg (2001)Google Scholar
  13. 13.
    Nielson, F., Seidl, H., Nielson, H.R.: A succinct solver for ALFP. Nord. J. Comput. 9(4), 335–372 (2002)MATHMathSciNetGoogle Scholar
  14. 14.
    Nielson, H.R., Nielson, F.: Flow Logic: a multi-paradigmatic approach to static analysis. In: Mogensen, T.Æ., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol. 2566, pp. 223–244. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  15. 15.
    Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: LICS, pp. 176–185 (1998)Google Scholar
  16. 16.
    Turner, D.N.: The Polymorphic Pi-calulus: Theory and Implementation. PhD thesis, University of Edinburgh (1996)Google Scholar
  17. 17.
    Venet, A.: Automatic determination of communication topologies in mobile systems. In: Levi, G. (ed.) SAS 1998. LNCS, vol. 1503, pp. 152–167. Springer, Heidelberg (1998)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Jörg Bauer
    • 1
  • Flemming Nielson
    • 2
  • Hanne Riis Nielson
    • 2
  • Henrik Pilegaard
    • 2
  1. 1.Institut für InformatikTechnische Universität MünchenGermany
  2. 2.DTU InformaticsTechnical University of DenmarkKongens LyngbyDenmark

Personalised recommendations