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.
BibTeX-Entry:
@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