State Based Service Description
Barbara Paech, Bernhard Rumpe

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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsService-Oriented Architecture and Web Services · Business Process Modeling and Analysis · Petri Nets in System Modeling
