Principles of Program Analysis
Principles of Program Analysis
Control-Flow Analysis in Cubic Time
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Dependency Analysis of Mobile Systems
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Automatic Determination of Communication Topologies in Mobile Systems
SAS '98 Proceedings of the 5th International Symposium on Static Analysis
Nordic Journal of Computing
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Flow logic: a multi-paradigmatic approach to static analysis
The essence of computation
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
Regulating data exchange in service oriented applications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Relational analysis for delivery of services
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
An accessible verification environment for UML models of services
Journal of Symbolic Computation
Privacy enforcement and analysis for functional active objects
DPM'10/SETOP'10 Proceedings of the 5th international Workshop on data privacy management, and 3rd international conference on Autonomous spontaneous security
Core calculi for service-oriented computing
Rigorous software engineering for service-oriented systems
SENSORIA results applied to the case studies
Rigorous software engineering for service-oriented systems
The SENSORIA approach applied to the finance case study
Rigorous software engineering for service-oriented systems
Flow Logic for Process Calculi
ACM Computing Surveys (CSUR)
Using formal methods to develop WS-BPEL applications
Science of Computer Programming
| Hi-index | 0.04 |
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.