UML based modeling and performance analysis of mobile systems

ABSTRACT

The high heterogeneity and variability of mobile computing environments can adversely affect the performance of applications running in these environments. To tackle this problem, adaptation techniques can be exploited. Adaptation based on code mobility is a possible solution, as it allows to dynamically modify the load of the hosting nodes and the internode traffic, to adapt to the changing characteristics of computing nodes and network links. In this paper we propose a modeling framework to analyze the performance effectiveness of code mobility based adaptation in a mobile computing environment. A distinguishing feature of our framework is the modeling of both physical and logical mobility as something that can be "plugged" into a pre-existing architecture model, to ease the analysis of the performance impact of both different physical mobility scenarios, and of different adaptation strategies based on code mobility. To enhance the framework usability, we have adopted UML as modeling language, remaining fully compliant with the latest UML 2.0 specification and with the standard UML "Profile for Schedulability, Performance and Time Specification".

REFERENCES

• 1: Model driven architecture. OMG Technical report, http://cgi.omg.org/docs/ormsc/01-07-01.pdf, July 2001.
• 2: Uml profile for schedulability, performance, and time specification. http://cgi.omg.org/docs/ptc/02-03-02.pdf, 2002.
• 3: UML Superstructure 2.0 - Draft Adopted Specification. OMG, 2003.
• 4: Mario Baldi , Gian Pietro Picco, Evaluating the tradeoffs of mobile code design paradigms in network management applications, Proceedings of the 20th international conference on Software engineering, p.146-155, April 19-25, 1998, Kyoto, Japan
• 5: S. Balsamo, M. Marzolla "Towards performance evaluation of mobile systems in UML", in Proc. of ESM'03, Naples, Italy, October 2003, pp. 61--68
• 6: Hubert Baumeister , Nora Koch , Piotr Kosiuczenko , Martin Wirsing, Extending Activity Diagrams to Model Mobile Systems, Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World, p.278-293, October 07-10, 2002
• 7: Israel Ben-Shaul , Hovav Gazit , Yoad Gidron , Ophir Holder , Boris Lavva, FarGo: a system for mobile component-based application development, Proceedings of the 21st international conference on Software engineering, p.658-659, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302922]
• 8: Jürg Bolliger , Thomas Gross, A Framework-Based Approach to the Development of Network-Aware Applications, IEEE Transactions on Software Engineering, v.24 n.5, p.376-390, May 1998 [doi>10.1109/32.685260]
• 9: Luca Cardelli , Andrew D. Gordon, Mobile Ambients, Proceedings of the First International Conference on Foundations of Software Science and Computation Structure, p.140-155, March 28-April 04, 1998
• 10: Vittorio Cortellessa , Raffaela Mirandola, PRIMA-UML: a performance validation incremental methodology on early UML diagrams, Science of Computer Programming, v.44 n.1, p.101-129, July 2002 [doi>10.1016/S0167-6423(02)00033-3]
• 11: Rocco de Nicola , Gian Luigi Ferrari , Rosario Pugliese, KLAIM: A Kernel Language for Agents Interaction and Mobility, IEEE Transactions on Software Engineering, v.24 n.5, p.315-330, May 1998 [doi>10.1109/32.685256]
• 12: Alfonso Fuggetta , Gian Pietro Picco , Giovanni Vigna, Understanding Code Mobility, IEEE Transactions on Software Engineering, v.24 n.5, p.342-361, May 1998 [doi>10.1109/32.685258]
• 13: Vincenzo Grassi , Raffaela Mirandola, Derivation of Markov Models for Effectiveness Analysis of Adaptable Software Architectures for Mobile Computing, IEEE Transactions on Mobile Computing, v.2 n.2, p.114-131, January 2003 [doi>10.1109/TMC.2003.1217232]
• 14: V. Grassi, R. Mirandola, A. Sabetta "A UML Profile for Mobile Systems" accepted at 7th International Conference on the Unified Modeling Language (<<UML>>2004), Lisbon, Portugal, Sept. 2004.
• 15: Anthony D. Joseph , Joshua A. Tauber , M. Frans Kaashoek, Mobile Computing with the Rover Toolkit, IEEE Transactions on Computers, v.46 n.3, p.337-352, March 1997 [doi>10.1109/12.580429]
• 16: P. Kosiuczenko "Sequence diagrams for mobility" in Proc. of MobIMod Workshop (J. Krogstie editor), Tampere, Finland, October 2003.
• 17: David Kotz , Guofei Jiang , Robert Gray , George Cybenko , Ronald A. Peterson, Performance analysis of mobile agents for filtering data streams on wireless networks, Proceedings of the 3rd ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems, p.85-94, August 20-20, 2000, Boston, Massachusetts, United States [doi>10.1145/346855.346868]
• 18: Christoph Lindemann , Axel Thümmler , Alexander Klemm , Marco Lohmann , Oliver P. Waldhorst, Performance analysis of time-enhanced UML diagrams based on stochastic processes, Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy [doi>10.1145/584369.584375]
• 19: M. Margaritidis, G.C. Polyzos "Adaptation techniques for ubiquitous internet multimedia" Wireless Communication and Mobile Computing, vol. 1, no.2, Apr.-June 2001, pp. 141--163
• 20: J. Merseguer, J. Campos, E. Mena "Evaluating performance on mobile agents software design", in Actas de las VIII Jornadas de Concurrencia, pages 291--307. Cuenca, Spain: Universidad de Castilla-la Mancha, June 2000.
• 21: Robin Milner, Communicating and mobile systems: the &pgr;-calculus, Cambridge University Press, New York, NY, 1999
• 22: Brian D. Noble , M. Satyanarayanan , Dushyanth Narayanan , James Eric Tilton , Jason Flinn , Kevin R. Walker, Agile application-aware adaptation for mobility, Proceedings of the sixteenth ACM symposium on Operating systems principles, p.276-287, October 05-08, 1997, Saint Malo, France
• 23: Mazliza Othman , Stephen Hailes, Power conservation strategy for mobile computers using load sharing, ACM SIGMOBILE Mobile Computing and Communications Review, v.2 n.1, p.44-51, January 1998 [doi>10.1145/584007.584011]
• 24: D. Pattinson, M. Wirsing "Making Components Move: A Separation of Concerns Approach" First International Symposium on Formal Methods for Components and Objects (FMCO 2002).
• 25: Gian Pietro Picco , Gruia-Catalin Roman , Peter J. McCann, Reasoning about code mobility with mobile UNITY, ACM Transactions on Software Engineering and Methodology (TOSEM), v.10 n.3, p.338-395, July 2001 [doi>10.1145/383876.383879]
• 26: A Puliafito , S. Riccobene , M. Scarpa, An Analytical Comparison of the Client-Server, Remote Evaluation and Mobile Agents Paradigms, Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents, p.278, October 03-06, 1999
• 27: Alexey Rudenko , Peter Reiher , Gerald J. Popek , Geoffrey H. Kuenning, Saving portable computer battery power through remote process execution, ACM SIGMOBILE Mobile Computing and Communications Review, v.2 n.1, p.19-26, January 1998 [doi>10.1145/584007.584008]
• 28: George Samaras , Marios D. Dikaiakos , Constantinos Spyrou , Andreas Liverdos, Mobile Agent Platforms for Web Databases: A Qualitative and Quantitative Assessment, Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents, p.50, October 03-06, 1999
• 29: Simonetta Balsamo , Antinisca Di Marco , Paola Inverardi , Marta Simeoni, Model-Based Performance Prediction in Software Development: A Survey, IEEE Transactions on Software Engineering, v.30 n.5, p.295-310, May 2004 [doi>10.1109/TSE.2004.9]
• 30: Connie U. Smith, Performance Engineering of Software Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 31: Tammo Spalink , John H. Hartman , Garth Gibson, The Effects of a Mobile Agent on File Service, Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents, p.42, October 03-06, 1999
• 32: M. Strasser, M. Schwehm "A performance model for mobile agent system" in Int. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 97), vol. II, (H.R. Arabnia ed.), Las Vegas 1997, pp. 1132--1140.
• 33: Upkar Varshney , Ron Vetter, Emerging mobile and wireless networks, Communications of the ACM, v.43 n.6, p.73-81, June 2000 [doi>10.1145/336460.336478]
• 34: Girish Welling , B. R. Badrinath, An Architecture for Exporting Environment Awareness to Mobile Computing Applications, IEEE Transactions on Software Engineering, v.24 n.5, p.391-400, May 1998 [doi>10.1109/32.685262]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.1 PROCESSOR ARCHITECTURES
      C.1.3 Other Architecture Styles
          Subjects: Adaptable architectures

Additional Classification:
  C. Computer Systems Organization
  C.1 PROCESSOR ARCHITECTURES
      C.1.4 Parallel Architectures
          Subjects: Mobile processors
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.1 Network Architecture and Design
          Subjects: Wireless communication
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Modeling techniques

  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Domain-specific architectures

Keywords:
UML profile, adaptation, code mobility