Relational Analysis of Correlation

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.

[1]  Flemming Nielson,et al.  Flow Logic: A Multi-paradigmatic Approach to Static Analysis , 2002, The Essence of Computation.

[2]  Flemming Nielson,et al.  Control-Flow Analysis in Cubic Time , 2001, ESOP.

[3]  Flemming Nielson,et al.  The Succinct Solver Suite , 2004, TACAS.

[4]  Flemming Nielson,et al.  Principles of Program Analysis , 1999, Springer Berlin Heidelberg.

[5]  Francesco Tiezzi,et al.  A Calculus for Orchestration of Web Services , 2007, ESOP.

[6]  David N. Turner,et al.  The polymorphic Pi-calculus : theory and implementation , 1996 .

[7]  Roberto Gorrieri,et al.  SOCK : A calculus for service oriented computing , 2006 .

[8]  Francesco Tiezzi,et al.  Regulating data exchange in service oriented applications , 2007, FSEN'07.

[9]  Flemming Nielson,et al.  A Succinct Solver for ALFP , 2002, Nord. J. Comput..

[10]  Flemming Nielson,et al.  Relational Analysis for Delivery of Services , 2007, TGC.

[11]  Brian Campbell,et al.  Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.

[12]  Farhad Arbab,et al.  International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings , 2007, FSEN.

[13]  Flemming Nielson,et al.  Static Analysis for the pi-Calculus with Applications to Security , 2001, Inf. Comput..

[14]  David A. Schmidt,et al.  The Essence of Computation , 2002 .

[15]  Björn Victor,et al.  The fusion calculus: expressiveness and symmetry in mobile processes , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

[16]  Winfried Lamersdorf,et al.  Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings , 2006, ICSOC.

[17]  Jérôme Feret,et al.  Dependency Analysis of Mobile Systems , 2002, ESOP.

[18]  Arnaud Venet,et al.  Automatic Determination of Communication Topologies in Mobile Systems , 1998, SAS.

[19]  Ugo Montanari,et al.  D-Fusion: A Distinctive Fusion Calculus , 2004, APLAS.

[20]  Flemming Nielson,et al.  International Workshop on Principles of Program Analysis , 1999 .

[21]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.