A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels

  • Takaaki Umedu
  • Yoshiki Terashima
  • Keiichi Yasumoto
  • Akio Nakata
  • Teruo Higashino
  • Kenichi Taniguchi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2391)


In this paper, we define a new language called LOTOS/M which enables dynamic establishment of multi-way synchronization channels among multiple agents (processes running on mobile hosts) on ad hoc networks, and show how it can be applied to designing wireless mobile applications. In LOTOS/M, a system specification is given by a set of independent agents. When a pair of agents is in a state capable of communicating with each other, a synchronization relation on a given gate (channel) list can dynamically be assigned to them by a new facility of LOTOS/M: (i) advertisement for a synchronization peer on a gate list and (ii) participation in the advertised synchronization. The synchronization relation on the same gate list can also be assigned to multiple agents to establish a multi-way synchronization channel incrementally so that the agents can exchange data through the channel. When an agent goes in a state incapable of communication, a synchronization relation assigned to the agent is canceled and it can run independently of the others. By describing some examples, we have confirmed that typical wireless mobile systems can easily be specified in LOTOS/M, and that they can be implemented efficiently with our LOTOS/M to Java compiler.


Behavior Expression Agent Group Inference Rule Parallel Operator Mobile Host 
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.
    Ando, T., Takahashi, K., Kato, Y. and Shiratori, N.: A Concurrent Calculus with Geographical Constraints, IEICE Trans. on Fundamentals, Vol. E81-A, No. 4, pp. 547–555 (1998).Google Scholar
  2. 2.
    Bolognesi, T.: Toward Constraint-Object-Oriented Development, IEEE Trans. on Soft. Eng., Vol. 26, No. 7, pp. 594–616 (2000).CrossRefGoogle Scholar
  3. 3.
    Groote, J. F.: Transition System Specification with Negative Premises, Theoretical Computer Science, Vol. 118, No. 2, pp. 263–299 (1993).zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Fevrier, A., Najm, E., Leduc, G. and Leonard, L.: Compositional Specification of ODP Binding Objects, Proc. of 6th IFIP/ ICCC Conf. (1996).Google Scholar
  5. 5.
    Hodes, T.D., Katz, R.H., Schreiber, E.S. and Rowe, L.: Composable Ad-hoc Mobile Services for Universal Interaction, Proc. of Mobile Computing and Networking(MOBICOM’97) (1997).Google Scholar
  6. 6.
    ISO: Information Processing System, Open Systems Interconnection, LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO 8807 (1989).Google Scholar
  7. 7.
    Johnson, D. B., Maltz, D. A., Hu., Y. C. and Jetcheva, J. G.: The Dynamic Source Routing Protocol for Mobile Ad Hoc Networks, IETF Internet Draft, (2000)
  8. 8.
    Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes: Parts I & II, Information and Computation 100, pp. 1–77 (1992).zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Najm, E., Stefani, J.B. and Fevrier, A.: Towards a Mobile LOTOS, Proc. of 8th IFIP Intl. Conf. on Formal Description Techniques (FORTE’95) (1995).Google Scholar
  10. 10.
    Sangiorgi, D.: From π-calculus to Higher-Order π-calculus — and back, Proc. of Theory and Practice of Software Development (TAPSOFT’93), Lecture Notes in Computer Science Vol. 668, pp. 151–166 (1993).Google Scholar
  11. 11.
    Tuok, R., Logrippo, L.: Formal Specification and Use Case Generation for a Mobile Telephony System, Computer Networks, Vol. 30, No. 11, pp. 1045–1063 (1998).Google Scholar
  12. 12.
    Vissers, C. A., Scollo, G. and Sinderen, M. v.: Architecture and Specification Style in Formal Descriptions of Distributed Systems, Proc. 8th Int. Conf. on Protocol Specification, Testing, and Verification (PSTV’88), pp. 189–204 (1988).Google Scholar
  13. 13.
    Umedu, T., Yasumoto, K., Nakata, A., Yamaguchi, H., Higashino, T. and Taniguchi, K.: Middleware for Supporting Multi-way Synchronization in Wireless Ad Hoc Networks, submitted for publication. (the technical report version can be found in
  14. 14.
    Yasumoto, K., Higashino, T. and Taniguchi, K.: A compiler to implement LOTOS specifications in distributed environments, Computer Networks, Vol. 36, No. 2–3, pp. 291–310 (2001).CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Takaaki Umedu
    • 1
  • Yoshiki Terashima
    • 1
  • Keiichi Yasumoto
    • 2
  • Akio Nakata
    • 1
  • Teruo Higashino
    • 1
  • Kenichi Taniguchi
    • 1
  1. 1.Graduate School of Info. Sci. & Tech.Osaka Univ.OsakaJapan
  2. 2.Graduate School of Info. Sci.Nara Inst. of Sci. & Tech.NaraJapan

Personalised recommendations