Conference -
 Bernhard Rumpe
State Based Service Description

Formal Methods for Open Object-based Distributed Systems

Author(s): Barbara Paech, Bernhard Rumpe
Year: 1997
Publisher: Chapman-Hall
Editor: John Derrick
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.

Available as pdf

@inproceedings{ PR97, author = {Barbara Paech and Bernhard Rumpe}, title = {State Based Service Description}, booktitle = {Formal Methods for Open Object-based Distributed Systems}, year = {1997}, publisher = {Chapman-Hall}, editor = {John Derrick} }

Bernhard Rumpe