Analysis and Verification of Service Interaction Protocols - A Brief Survey

TL;DR

This paper surveys formal models and verification techniques for analyzing service interaction protocols, emphasizing the importance of ensuring correct behavior in service composition and focusing on realizability and conformance of choreographies.

Contribution

It provides a comprehensive overview of formal models and verification methods for service interactions, highlighting recent advances in choreography realizability and conformance analysis.

Findings

Overview of formal models for service description

Survey of verification techniques for service interactions

Focus on realizability and conformance of choreographies

Abstract

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.