Hybrid Models for Mobile Computing
Hybrid specifications, i.e. ones containing both discrete and continuous changes, are used mainly in modelling systems that control some physical phenomena. In this paper, we propose hybrid modelling of novel wireless mobile systems, which generally fall under the term mobile computing. The particular systems consist of agents capable of moving in a physical reality and communicating wirelessly when in each other’s proximity. In this paper we concentrate on agents not capable of controlling their own movement, e.g. the ones designed to be carried around. Their environment comprises of a user and the physical reality whose nature is continuous rather than discrete. An approach to modelling of such systems is presented. The approach, which is based on the DisCo method, takes into account the continuous nature of the environment. Joint actions and closed system modelling are used to coordinate multi-agent interactions at a high level of abstraction. An example is presented where the approach is illustrated by a specification modelling file transfer operation between two agents.
KeywordsHybrid Model Mobile Agent Physical Reality Mobile Computing Mutual Distance
Unable to display preview. Download preview PDF.
- 1.The DisCo project WWW page. At URL http://disco.cs.tut.fi, 1999.
- 2.T. Aaltonen, M. Katara, and R. Pitkänen. Disco toolset-the new generation. FM-TOOLS 2000: The 4th Workshop on Tools for System Design and Verification, July 2000.Google Scholar
- 3.M. Abadi and L. Lamport. An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems, 16(5):1543–1571, Sept. 1994.Google Scholar
- 4.R. J. R. Back and R. Kurki-Suonio. Distributed cooperation with action systems. ACM Transactions on Programming Languages and Systems, 10(4):513–554, Oct. 1988.Google Scholar
- 6.K. M. Chandy and J. Misra. Parallel Program Design, A Foundation. Addison-Wesley, 1988.Google Scholar
- 7.E. W. Dijkstra and C. S. Scholten. Termination detection for diffusing computations. Information Processing Letters, 11(1):1–4, Aug. 1980.Google Scholar
- 8.H.-M. Järvinen, R. Kurki-Suonio, M. Sakkinen, and K. Systä. Object-oriented specification of reactive systems. In Proceedings of the 12th International Conference on Software Engineering, pages 63–71. IEEE Computer Society Press, 1990.Google Scholar
- 10.R. Kurki-Suonio and M. Katara. Logical layers in specifications with distributed objects and real time. Computer Systems Science & Engineering, 14(4):217–226, July 1999.Google Scholar
- 11.R. Kurki-Suonio and T. Mikkonen. Liberating object-oriented modeling from programming-level abstractions. In J. Bosch and S. Mitchell, editors, Object-Oriented Technology, ECOOP’97 Workshop Reader, number 1357 in Lecture Notes in Computer Science, pages 195–199. Springer-Verlag, 1998.CrossRefGoogle Scholar
- 12.R. Kurki-Suonio and T. Mikkonen. Harnessing the power of interaction. In H. Jaakkola, H. Kangassalo, and E. Kawaguchi, editors, Information Modelling and Knowledge Bases X, pages 1–11. IOS Press, 1999.Google Scholar
- 13.L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872–923, May 1994.Google Scholar
- 14.P. J. McCann and G.-C. Roman. Modeling mobile IP in mobile UNITY. ACM Transactions on Software Engineering and Methodology, 8(2):115–146, Apr. 1999.Google Scholar
- 15.L. Petre and K. Sere. Coordination Among Mobile Objects. In P. Ciancarini and A. Wolf, editors, Coordination Languages and Models, Third International Conference, COORDINATION’99, number 1594 in Lecture Notes in Computer Science, pages 227–242, Amsterdam, The Netherlands, Apr. 1999. Springer-Verlag.Google Scholar
- 16.G.-C. Roman, P. J. McCann, and J. Y. Plun. Mobile UNITY: Reasoning and specification in mobile computing. ACM Transactions on Software Engineering and Methodology, 6(3):250–282, July 1997.Google Scholar