Hybrid Models for Mobile Computing

  • Mika Katara
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1906)


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.


Hybrid Model Mobile Agent Physical Reality Mobile Computing Mutual Distance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    The DisCo project WWW page. At URL, 1999.
  2. 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. 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. 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
  5. 5.
    R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. Distributed Computing, 3:73–87, 1989.CrossRefGoogle Scholar
  6. 6.
    K. M. Chandy and J. Misra. Parallel Program Design, A Foundation. Addison-Wesley, 1988.Google Scholar
  7. 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. 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
  9. 9.
    R. Kurki-Suonio. Hybrid models with fairness and distributed clocks. In Hybrid Systems, number 736 in Lecture Notes in Computer Science, pages 103–120. Springer-Verlag, 1993.CrossRefGoogle Scholar
  10. 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. 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. 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. 13.
    L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872–923, May 1994.Google Scholar
  14. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Mika Katara
    • 1
  1. 1.Software Systems LaboratoryTampere University of TechnologyTampereFinland

Personalised recommendations