Analysing Protocol Stacks for Services

Han Gao, Flemming Nielson, Hanne Riis Nielson

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    1 Downloads (Pure)


    We show an approach, CaPiTo, to model service-oriented applications using process algebras such that, on the one hand, we can achieve a certain level of abstraction without being overwhelmed by the underlying implementation details and, on the other hand, we respect the concrete industrial standards used for implementing the service-oriented applications. By doing so, we will be able to not only reason about applications at different levels of abstractions, but also to build a bridge between the views of researchers on formal methods and developers in industry. We apply our approach to the financial case study taken from Chapter 0-3. Finally, we develop a static analysis to analyse the security properties as they emerge at the level of concrete industrial protocols.
    Original languageEnglish
    Title of host publicationRigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
    EditorsMartin Wirsing, Matthias Hölzl
    Number of pages736
    Publication date2011
    ISBN (Print)978-3-642-20400-5
    ISBN (Electronic)978-3-642-20401-2
    Publication statusPublished - 2011
    SeriesLecture Notes in Computer Science


    Dive into the research topics of 'Analysing Protocol Stacks for Services'. Together they form a unique fingerprint.

    Cite this