State Based Service Description
This addresses service description challenges in distributed systems where concurrent invocation is unavoidable, offering a formal approach.
The paper tackles the problem of describing services in distributed systems by proposing I/O state transition diagrams that model non-atomic services through sequences of transitions, and it provides a mathematical model and precise semantics for these descriptions.
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.