Benutzer: Gast  Login
Titel:

Compositional Specification of Mobile Systems

Dokumenttyp:
Technical Report
Autor(en):
Radu Grosu; Ketil Stolen
Abstract:
This paper generalizes a specification technique based on input/output relations on streams to describe mobile systems. We consider networks of components communicating asynchronously via unbounded directed channels. Mobility is achieved by allowing the components to communicate channel ports. We distinguish between many-to-many and two variants of point-to-point communication. The communication paradigms are semantically under-pinned by denotational models. The models are formulated in the cont...     »
Stichworte:
Denotational Model; Data-flow; Input/Output Relation; Mobile System; Many-to-many Communication; Point-to-point Communication; Specification; Timing
Jahr:
1997
Jahr / Monat:
1997-11-01 00:00:00
Seiten/Umfang:
35
 BibTeX