State Based Service Description

TL;DR

This paper introduces I/O state transition diagrams for describing services, enabling modeling of non-atomic, distributed, and concurrent service behaviors with a formal mathematical foundation.

Contribution

It presents a novel modeling technique that extends traditional state diagrams to handle non-atomic, distributed services with formal semantics.

Findings

Provides a formal mathematical model of object behavior

Defines precise semantics for service descriptions

Enables modeling of concurrent and sequential message exchanges

Abstract

In this paper we propose I/O state transition diagrams for service description In contrast to other techniques like for example Statecharts we allow to model non atomic services by sequences of transitions This is especially important in a distributed system where concurrent service invocation cannot be prohibited We give a mathematical model of object behaviour based on concurrent and sequential messages Then we give a precise semantics of the service descriptions in terms of the mathematical model.