A Model-Checking Approach for Service Component Architectures (original) (raw)

Formal Techniques for Networked and Distributed Systems, 2009

Abstract

We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being defined within the SENSORIA project. We introduce a methodology for encoding patterns of typical service interaction with UML state machines and present a strategy for checking SRML specifications of service composition based on such patterns. For that purpose, we use the action-state branching time temporal logic UCTL and the model-checker UMC.

João Abreu hasn't uploaded this paper.

Let João know you want this paper to be uploaded.

Ask for this paper to be uploaded.