Connectors for mobile programs
- 1 May 1998
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 24 (5) , 331-341
- https://doi.org/10.1109/32.685257
Abstract
Software Architecture has put forward the concept of connector to express complex relationships between system components, thus facilitating the separation of coordination from computation. This separation is especially important in mobile computing due to the dynamic nature of the interactions among participating processes. In this paper, we present connector patterns, inspired in Mobile UNITY, that describe three basic kinds of transient interactions: action inhibition, action synchronization, and message passing. The connectors are given in COMMUNITY, a UNITY-like program design language which has a semantics in Category Theory. We show how the categorical framework can be used for applying the proposed connectors to specific components and how the resulting architecture can be visualized by a diagram showing the components and the connectors.Keywords
This publication has 8 references indexed in Scilit:
- Towards a general location service for mobile environmentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A mathematical toolbox for the software architectPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Towards an algebra of architectural connectors: a case study on synchronization for mobilityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Connectors for mobile programsIEEE Transactions on Software Engineering, 1998
- Mobile UNITYACM Transactions on Software Engineering and Methodology, 1997
- Categorical semantics of parallel program designScience of Computer Programming, 1997
- Interconnecting formalismsPublished by Association for Computing Machinery (ACM) ,1995
- Basic Category Theory for Computer ScientistsPublished by MIT Press ,1991