Reference:

Flemming Nielson, Hanne Riis Nielson, J. Bauer, Christoffer Rosenkilde Nielsen, and Henrik Pilegaard. Relational analysis for delivery of services. In Trustworthy Global Computing, volume 4912, pages 73–89. Springer, 2007.

Abstract:

Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that can both be checked and computed in polynomial time. In this paper we develop a static analysis in relational form which substantially improves the precision of the results obtained while being able to deal with the full generality of the syntax of processes. The analysis reveals a feasible complexity for practical examples and gives rise to a fast prototype. We use this prototype to automatically prove the correct delivery of messages for the implementation of an accident service, which is based on multiplexed communication, a crucial feature of global computing applications.

Keywords:

process calculus, static analysis, relational, service-orientation

Suggested BibTeX entry:

@inproceedings{NNBNP07,
    author = {Flemming Nielson and Hanne Riis Nielson and J. Bauer and Christoffer Rosenkilde Nielsen and Henrik Pilegaard},
    booktitle = {{T}rustworthy {G}lobal {C}omputing},
    pages = {73-89},
    publisher = {Springer},
    title = {Relational Analysis for Delivery of Services},
    volume = {4912},
    year = {2007}
}