A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels
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.
KeywordsBehavior Expression Agent Group Inference Rule Parallel Operator Mobile Host
Unable to display preview. Download preview PDF.
- 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
- 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.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.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.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, http://www.ietf.org/internet-drafts/draft-ietf-manet-dsr04.txt (2000)
- 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.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.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.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.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 http://www-higashi.ist.osaka-u.ac.jp/~umedu/papers/middleware.pdf).