Abstract.
This paper presents a formal specification technique for mobile systems based on input/output relations on streams. 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 underpinned by denotational models. The models are formulated in the context of timed non-deterministic data ow networks and presented in a stepwise fashion. The emphasis is on capturing the special kind of dynamic hiding characterising mobile systems. We demonstrate the proposed approach in a number of small examples.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received January 1998 / Accepted in revised form August 2000
Rights and permissions
About this article
Cite this article
Grosu, R., Stølen, K. Stream-Based Specification of Mobile Systems. Form Aspects Comput 13, 1–31 (2001). https://doi.org/10.1007/PL00003937
Issue Date:
DOI: https://doi.org/10.1007/PL00003937