Performance analysis of mobile systems

Lecture Notes in Computer Science

Volumn 3465, Issue , 2005, Pages 107-154

  Grassi, Vincenzo ^a  

^a UNIVERSITY OF ROME TOR VERGATA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER AIDED DESIGN; COMPUTER SCIENCE; COMPUTER SOFTWARE; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

COMPUTING NODES; DESIGN PHASES; MOBILE SYSTEMS; SOFTWARE COMPONENTS;

MOBILE COMPUTING;

EID: 24944580883     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11419822_4     Document Type: Conference Paper

References (49)

1. L. Alloui, F. Oquendo "The Arch Ware architecture description language: UML profile for architecting with ArchWare ADL" Deliverable DI.4b, Arch Ware European RTD Project, IST-2001-32360, June 2003.
2. S. Balsamo, M. Marzolla "Towards performance evaluation of mobile systems in UML", in Proc. of ESM'03, Napoli, Italy, October 2003, pp. 61-68.
3. L. Bass, P. Clements, R. Kazman, Software Architectures in Practice, Addison-Wesley, New York, NY, 1998.
4. H. Baumeister, N. Koch, P. Kosiuczenko, and M. Wirsing "Extending activity diagrams to model mobile systems" in NetObject-Days 2002 (M. Aksit, M. Mezini, R. Unland Eds.), LNCS 2591, pp. 278-293, 2003.
5. M. Bernardo "An algebra-based method to associate rewards with EMPA terms" (P. Degano and R. Gorrieri eds.), LNCS 1256, Springer Verlag, 1997.
6. L. Bettini "Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations" PhD Thesis, Dip. di Matematica, Università di Siena, Italy, Feb. 2003, on line at: http://music.dsi. unifi.it/xklaim/index.html.
7. G. Booch, J. Rumbaugh, and I.Jacobson, The Unified Modeling Language User Guide, Addison Wesley, New York, 1999.
8. L. Cardelli, A.D. Gordon "Mobile ambients" Foundations of Software Science and Computational Structures (M. Nivat ed.), LNCS 1378, Springer-Verlag, 1998, pp. 140-155
9. N. Carriero, D. Gelernter "Linda in context" Communications of the ACM, vol. 32, no.4, 1989, pp. 444-458.
10. V. Cortellessa, R. Mirandola "PRIMA-UML: a performance validation incremental methodology on early UML diagrams" Science of Computer Programming, Elsevier Science, vol 44, n.1, pp 101-129, July 2002.
11. R. De Nicola, G. Ferrari, R. Pugliese, B. Venneri "KLAIM: a kernel language for agents interaction and mobility" IEEE Trans. on Software Engineering, vol. 24, no. 5, May 1998, pp. 315-330
12. adtl" Proc. of 4th Int. Conf. on Coordination Models and Languages (COORDINATION'00), (A. Porto and G.-C. Roman eds.), Springer-Verlag, Limassol, Cyprus, Sept. 2000.
13. A. Fuggetta, G.P. Picco, G. Vigna "Understanding code mobility" IEEE Trans. on Software Engineering, vol. 24, no. 5, May 1998, pp. 342-361.
14. N. Gotz, U. Herzog, M. Rettelbach "Multiprocessor system design: the integration of functional specification and performance analysis using stochastic process algebras" in Performance Evaluation of Computer and Communication Systems (L. Donatiello and R. Nelson eds.), LNCS 729, Springer-Verlag, 1993.
15. V. Grassi, R. Mirandola, "Modeling and performance analysis of mobile software architectures in a UML framework" in Proc. «UML2001» Conference, LNCS 2185, Springer Verlag, October 2001.
16. V. Grassi, V. Cortellessa, R. Mirandola "Performance validation of mobile software architectures" LNCS 2495, Springer Verlag, 2002, pp. 346-373.
17. V. Grassi, R. Mirandola, "PRIMAmob-UML: a methodology for performance analysis of mobile software architectures", in WOSP 2002, Third International Conference on Software and Performance, ACM, July 2002.
18. V. Grassi, R. Mirandola "Derivation of Markov Models for Effectiveness Analysis of Adaptable Software Architectures for Mobile Computing" IEEE Trans. on Mobile Computing, vol. 2, no. 2, Apr.-June 2003, pp. 114-131.
19. V. Grassi, R. Mirandola, A. Sabetta "A UML profile for mobile systems" in Proc. «UML2004» Conference, LNCS 3273, Springer Verlag, Sept. 2004, pp. 128-142.
20. V. Grassi, R. Mirandola, A. Sabetta "UML based modeling and performance analysis of mobile systems" in Proc. ACM Workshop on Modeling and Simulation of Wireless and Mobile Systems, Oct. 2004.
21. H. Hermanns, U. Herzog, J.-P. Katoen "Process algebras for performance evaluation", Theoretical Computer Science, vol. 274, no. 1-2, 2002, pp. 43-87.
22. S.A.Hissam, G. Moreno, J. Stafford, K. Wallnau "Enabling Predictable Assembly" Journal of Systems and Software, vol. 65, 2003, pp. 185-198.
23. R. Jain, Art of Computer Systems Performance Analysis, Wiley, New York, 1990.
24. A.D. Joseph, J.A. Tauber, M.F. Kaashoek "Mobile computing with the Rover toolkit" IEEE Trans. on Computers, Feb. 1997
25. P. Kosiuczenko "Sequence diagrams for mobility" in Proc. of MoblMod Workshop (J. Krogstie editor), Tampere, Finland, October 2003.
26. C. Lindemann, A. Thummler "Performance analysis of time-enhanced UML diagrams based on stochastic processes" in Proc. of 3rd Int. Workshop on Software and Performance (WOSP 2002), Roma, Italy, July 2002, pp. 25-34.
27. A. Lopes, J.L. Fiadeiro "Adding mobility to software architectures" in Proc. FOCLASA 2003: Foundations of Coordination Languages and Software Architectures, Sept. 2003.
28. G. Manson et al. "FIPA Modeling Areas: Deployment and Mobility" on line at:www.auml.org/auml/documents/DeploymentMobility.zip.
29. 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
30. "MDA Guide Version 1.0.1" OMGDocument omg/03-06-01, on line at: www.omg.org/docs/omg/03-06-01.pdf.
31. 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.
32. "Meta Object Facility (MOF) 2.0 Core Specification", OMG Adopted Specification ptc/03-10-04, on line at: www.omg.org/docs/ptc/03-10-04. pdf.
33. "MOF 2.0 Query/Views/Transformations RFP", OMG Document ad/2002-04-10, on line at: www.omg.org/docs/ad/02-04-10.pdf.
34. R. Milner, Communication and Concurrency, Prentice Hall, 1989.
35. R. Milner, Communicating and Mobile Systems: the π-calculus, Cambridge Univ. Press, 1999.
36. B.D. Noble, M. Satyanarayanan, G.T. Nguyen, D.Narayanan, J.E. Tilton, J. Flinn, K.R. Walker "Agile application-aware adaptation for mobility" in Proc. 16th ACM Symp. on Operating Systems Principles, pp. 276-287, Oct. 1997
37. C. Nottegar, C. Priami, P. Degano "Performance evaluation of mobile processes via abstract machines" IEEE Trans. on Software Engineering, vol. 27, no. 10, Oct. 2001, pp. 867-889.
38. F. Oquendo "π-ADL: an architecture description language based on the high-order typed π-calculus for specifying dynamic and mobile software architectures" ACM Software Engineering Notes, vol. 29, no. 4, May 2004.
39. D. Pattinson, M. Wirsig "Making components move: a separation of concerns approach" in Proc. First Int. Symposium on Formal Methods for Components and Objects (FMCO 2002).
40. D.C. Petriu, H. Shen "Applying the UML Performance Profile: Graph Grammar-based derivation of LQN models from UML specification". Proc. of Performance TOOLS 2002, London, England, April 14-17 2002, LNCS 2324, Springer Verlag.
41. G.P. Picco, G.-C. Roman, P.J. McCann "Reasoning about code mobility in Mobile UNITY" ACM Transactions on Software Engineering and Methodology, vol. 10, no. 3, July 2001, pp. 338-395.
42. M.L. Puterman, Markov Decision Processes, J. Wiley and Sons, 1994.
43. D. Sangiorgi "Expressing mobility in process algebras: first-order and higher-order paradigms" PhD thesis, Univ. of Edinburgh, 1992.
44. M. Simeoni, P. Inverardi, A. Di Marco, S. Balsamo "Model-Based Performance Prediction in Software Development: A Survey" IEEE Trans. on Software Engineering, Vol. 30, no. 5, May 2004, pp. 295-310.
45. C.U. Smith, Performance Engineering of Software Systems, Addison-Wesley, Reading, MA, 1990.
46. C.U. Smith, L. Williams. Performance solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison Wesley, 2002.
47. "UML 2.0 Superstructure Specification" OMG Adopted Specification ptc/03-08-02, on line at: www.omg.org/docs/ptc/03-08-02.pdf.
48. "UML Profile for Schedulability, Performance, and Time Specification", OMG Adopted Specification ptc/02-03-02, on line at: www.omg.org/docs/ptc/02-03-02.pdf.
49. U. Varshney and R. Vetter "Emerging mobile and wireless networks" Communications of ACM, 43(6), pp. 73-81, June 2000.