Abstract
We present a model of a mobile computing application environment and its formal specification using the RAISE specification language. Special care is taken to specify the location based operations that are typical of mobile computing. In the process of specifying the mobile environment, we give precise semantics to different services identified with Mobichart notations, an extension to Objectcharts and Statecharts to make them suitable for graphical specification of mobile computing environment and applications. Thus we show the usability of both graphical and formal specification methods in development of mobile computing applications. We also discuss different techniques applied to detect faults and gain confidence in the correctness of the specification using consistency and confidence conditions, prototyping and testing.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Badrinath, B.R., et al.: Impact of Mobility on Distributed Computation. ACM SIGOS Operating System Review 27(2), 15–20 (1993)
Formen, G.H., et al.: The Challenges of Mobile Computing. IEEE Computer 27(4), 38–47 (1994)
Acharya, S., Mohanty, H., Shyamasundar, R.K.: MOBICHART: A Notation to Specify Mobile Computing Applications. In: Proc. of the 30th Hawaii International Conference on System Sciences (HICSS 2003). IEEE, Los Alamitos (2003)
Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231–274 (1987)
Harel, D., Naamad, A.: The STATEMATE Semantics of Statechart. ACM Trans. on Software Engg. & Method 5(4), 293–333 (1996)
Coleman, D., et al.: Introducing Objectchart or How to Use Statecharts in Object-Oriented Design. IEEE Trans. on Software Engg. 18(1), 9–18 (1992)
Mohanty, H., Acharya, S., Ghosh, R.K., Shyamasundar, R.K.: Mobichart for Modeling Mobile Computing Tasks. In: Convergent Technologies for the Asia-Pacific, Bangalore, India, October 14-17. IEEE TENCON, pp. 193–197 (2003)
George, C.: Introduction to RAISE. Technical Report 249, UNU/IIST, P.O. Box 3058, Macau (March 2002)
George, C.: RAISE Tools User Guide. Technical Report 227, UNU/IIST, P.O. Box 3058, Macau (February 2001)
Acharya, S., George, C.: Specifying a Mobile Computing Application Environment using RSL. Technical Report 300, UNU/IIST, P.O. Box 3058, Macau (May 2004)
UNU/IIST, P.O. Box 3058, Macau SAR, China, http://www.iist.unu.edu
Cardelli, L., et al.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Roman, G.C., et al.: Mobile UNITY: Reasoning and Specification in Mobile Computing. ACM Trans. on Software Engg. & Method. 6(3), 250–282 (1997)
Cardelli, L.: Abstractions for Mobile Computation. In: Security Issues for Distributed & Mobile Objects. LNCS, vol. 1603, pp. 51–99. Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Acharya, S., George, C., Mohanty, H. (2004). Specifying a Mobile Computing Infrastructure and Services. In: Ghosh, R.K., Mohanty, H. (eds) Distributed Computing and Internet Technology. ICDCIT 2004. Lecture Notes in Computer Science, vol 3347. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30555-2_29
Download citation
DOI: https://doi.org/10.1007/978-3-540-30555-2_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24075-4
Online ISBN: 978-3-540-30555-2
eBook Packages: Computer ScienceComputer Science (R0)