{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:00:05Z","timestamp":1725573605398},"publisher-location":"Berlin, Heidelberg","reference-count":49,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540256977"},{"type":"electronic","value":"9783540320210"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11419822_4","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T21:35:52Z","timestamp":1292880952000},"page":"107-154","source":"Crossref","is-referenced-by-count":1,"title":["Performance Analysis of Mobile Systems"],"prefix":"10.1007","author":[{"given":"Vincenzo","family":"Grassi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Alloui, L., Oquendo, F.: The ArchWare architecture description language: UML profile for architecting with ArchWare ADL. Deliverable DI.4b, ArchWare European RTD Project, IST-2001-32360 (June 2003)"},{"key":"4_CR2","unstructured":"Balsamo, S., Marzolla, M.: Towards performance evaluation of mobile systems in UML. In: Proc. of ESM 2003, Napoli, Italy, October 2003, pp. 61\u201368 (2003)"},{"key":"4_CR3","volume-title":"Software Architectures in Practice","author":"L. Bass","year":"1998","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architectures in Practice. Addison-Wesley, New York (1998)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-36557-5_21","volume-title":"Objects, Components, Architectures, Services, and Applications for a Networked World","author":"H. Baumeister","year":"2003","unstructured":"Baumeister, H., Koch, N., Kosiuczenko, P., Wirsing, M.: Extending activity diagrams to model mobile systems. In: Aksit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol.\u00a02591, pp. 278\u2013293. Springer, Heidelberg (2003)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"M. Bernardo","year":"1997","unstructured":"Bernardo, M.: An algebra-based method to associate rewards with EMPA terms. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol.\u00a01256. Springer, Heidelberg (1997)"},{"key":"4_CR6","unstructured":"Bettini, L.: Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations. PhD Thesis, Dip. di Matematica, Universit\u00e0 di Siena, Italy (February 2003), online at http:\/\/music.dsi.unifi.it\/xklaim\/index.html"},{"key":"4_CR7","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison Wesley, New York (1999)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"issue":"4","key":"4_CR9","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM\u00a032(4), 444\u2013458 (1989)","journal-title":"Communications of the ACM"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0167-6423(02)00033-3","volume":"44","author":"V. Cortellessa","year":"2002","unstructured":"Cortellessa, V., Mirandola, R.: PRIMA-UML: a performance validation incremental methodology on early UML diagrams. Science of Computer Programming\u00a044(1), 101\u2013129 (2002)","journal-title":"Science of Computer Programming"},{"issue":"5","key":"4_CR11","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R., Venneri, B.: KLAIM: a kernel language for agents interaction and mobility. IEEE Trans. on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-45263-X_15","volume-title":"Coordination Languages and Models","author":"G. Ferrari","year":"2000","unstructured":"Ferrari, G., Montangero, C., Semini, L., Semprini, S.: Mobile agents coordination in mob adtl . In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol.\u00a01906, pp. 232\u2013248. Springer, Heidelberg (2000)"},{"issue":"5","key":"4_CR13","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/32.685258","volume":"24","author":"A. Fuggetta","year":"1998","unstructured":"Fuggetta, A., Picco, G.P., Vigna, G.: Understanding code mobility. IEEE Trans. on Software Engineering\u00a024(5), 342\u2013361 (1998)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013851","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"N. Gotz","year":"1993","unstructured":"Gotz, N., Herzog, U., Rettelbach, M.: Multiprocessor system design: the integration of functional specification and performance analysis using stochastic process algebras. In: Donatiello, L., Nelson, R. (eds.) SIGMETRICS 1993 and Performance 1993. LNCS, vol.\u00a0729. Springer, Heidelberg (1993)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-45441-1_16","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"V. Grassi","year":"2001","unstructured":"Grassi, V., Mirandola, R.: Modeling and performance analysis of mobile software architectures in a UML framework. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, p. 209. Springer, Heidelberg (2001)"},{"key":"4_CR16","series-title":"LNCS","first-page":"346","volume-title":"Performance validation of mobile software architectures","author":"V. Grassi","year":"2002","unstructured":"Grassi, V., Cortellessa, V., Mirandola, R.: Performance validation of mobile software architectures. LNCS, vol.\u00a02495, pp. 346\u2013373. Springer, Heidelberg (2002)"},{"key":"4_CR17","volume-title":"WOSP 2002, Third International Conference on Software and Performance","author":"V. Grassi","year":"2002","unstructured":"Grassi, V., Mirandola, R.: PRIMAmob-UML: a methodology for performance analysis of mobile software architectures. In: WOSP 2002, Third International Conference on Software and Performance, July 2002. ACM, New York (2002)"},{"issue":"2","key":"4_CR18","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1109\/TMC.2003.1217232","volume":"2","author":"V. Grassi","year":"2003","unstructured":"Grassi, V., Mirandola, R.: Derivation of Markov Models for Effectiveness Analysis of Adaptable Software Architectures for Mobile Computing. IEEE Trans. on Mobile Computing\u00a02(2), 114\u2013131 (2003)","journal-title":"IEEE Trans. on Mobile Computing"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-540-30187-5_10","volume-title":"<\u2009<UML>\u2009> 2004 - The Unified Modeling Language","author":"V. Grassi","year":"2004","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: A UML profile for mobile systems. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol.\u00a03273, pp. 128\u2013142. Springer, Heidelberg (2004)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: UML based modeling and performance analysis of mobile systems. In: Proc. ACM Workshop on Modeling and Simulation of Wireless and Mobile Systems (October 2004)","DOI":"10.1145\/1023663.1023683"},{"issue":"1-2","key":"4_CR21","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebras for performance evaluation. Theoretical Computer Science\u00a0274(1-2), 43\u201387 (2002)","journal-title":"Theoretical Computer Science"},{"key":"4_CR22","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S0164-1212(02)00038-9","volume":"65","author":"S.A. Hissam","year":"2003","unstructured":"Hissam, S.A., Moreno, G., Stafford, J., Wallnau, K.: Enabling Predictable Assembly. Journal of Systems and Software\u00a065, 185\u2013198 (2003)","journal-title":"Journal of Systems and Software"},{"key":"4_CR23","volume-title":"Art of Computer Systems Performance Analysis","author":"R. Jain","year":"1990","unstructured":"Jain, R.: Art of Computer Systems Performance Analysis. Wiley, New York (1990)"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Joseph, A.D., Tauber, J.A., Kaashoek, M.F.: Mobile computing with the Rover toolkit. IEEE Trans. on Computers (February 1997)","DOI":"10.1109\/12.580429"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Kosiuczenko, P.: Sequence diagrams for mobility. In: Krogstie, J. (ed.) Proc. of MobIMod Workshop, Tampere, Finland (October 2003)","DOI":"10.1007\/978-3-540-45275-1_13"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Lindemann, C., Thummler, A.: 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\u201334 (2002)","DOI":"10.1145\/584369.584375"},{"key":"4_CR27","unstructured":"Lopes, A., Fiadeiro, J.L.: Adding mobility to software architectures. In: Proc. FOCLASA 2003: Foundations of Coordination Languages and Software Architectures (September 2003)"},{"key":"4_CR28","unstructured":"Manson, G., et al.: FIPA Modeling Areas: Deployment and Mobility, On line at http:\/\/www.auml.org\/auml\/documents\/DeploymentMobility.zip"},{"issue":"2","key":"4_CR29","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1002\/wcm.10","volume":"1","author":"M. Margaritidis","year":"2001","unstructured":"Margaritidis, M., Polyzos, G.C.: Adaptation techniques for ubiquitous internet multimedia. Wireless Communication and Mobile Computing\u00a01(2), 141\u2013163 (2001)","journal-title":"Wireless Communication and Mobile Computing"},{"key":"4_CR30","unstructured":"MDA Guide Version 1.0.1 OMGDocument omg\/03-06-01, Online at http:\/\/www.omg.org\/docs\/omg\/03-06-01.pdf"},{"key":"4_CR31","unstructured":"Merseguer, J., Campos, J., Mena, E.: Evaluating performance on mobile agents software design. In: Actas de las VIII Jornadas de Concurrencia, pp. 291\u2013307. Universidad de Castilla-la Mancha, Cuenca (June 2000)"},{"key":"4_CR32","unstructured":"Meta Object Facility (MOF) 2.0 Core Specification, OMG Adopted Specification ptc\/03-10-04, Online at http:\/\/www.omg.org\/docs\/ptc\/03-10-04.pdf"},{"key":"4_CR33","unstructured":"MOF 2.0 Query\/Views\/Transformations RFP. OMG Document ad\/2002-04-10, Online at http:\/\/www.omg.org\/docs\/ad\/02-04-10.pdf"},{"key":"4_CR34","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"4_CR35","volume-title":"Communicating and Mobile Systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-calculus. Cambridge Univ. Press, Cambridge (1999)"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Noble, B.D., Satyanarayanan, M., Nguyen, G.T., Narayanan, D., Tilton, J.E., Flinn, J., Walker, K.R.: Agile application-aware adaptation for mobility. In: Proc. 16th ACM Symp. on Operating Systems Principles, October 1997, pp. 276\u2013287 (1997)","DOI":"10.1145\/268998.266708"},{"issue":"10","key":"4_CR37","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1109\/32.962559","volume":"27","author":"C. Nottegar","year":"2001","unstructured":"Nottegar, C., Priami, C., Degano, P.: Performance evaluation of mobile processes via abstract machines. IEEE Trans. on Software Engineering\u00a027(10), 867\u2013889 (2001)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"Oquendo, F.: \u03c0-ADL: an architecture description language based on the high-order typed \u03c0-calculus for specifying dynamic and mobile software architectures. ACM Software Engineering Notes\u00a029(4) (May 2004)","DOI":"10.1145\/986710.986728"},{"key":"4_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/978-3-540-39656-7_21","volume-title":"Formal Methods for Components and Objects","author":"D. Pattinson","year":"2003","unstructured":"Pattinson, D., Wirsig, M.: Making components move: a separation of concerns approach. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 487\u2013507. Springer, Heidelberg (2003)"},{"key":"4_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-46029-2_10","volume-title":"Computer Performance Evaluation","author":"D.C. Petriu","year":"2002","unstructured":"Petriu, D.C., Shen, H.: Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, p. 159. Springer, Heidelberg (2002)"},{"issue":"3","key":"4_CR41","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/383876.383879","volume":"10","author":"G.P. Picco","year":"2001","unstructured":"Picco, G.P., Roman, G.-C., McCann, P.J.: Reasoning about code mobility in Mobile UNITY. ACM Transactions on Software Engineering and Methodology\u00a010(3), 338\u2013395 (2001)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"4_CR42","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes","author":"M.L. Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes. J. Wiley and Sons, Chichester (1994)"},{"key":"4_CR43","unstructured":"Sangiorgi, D.: Expressing mobility in process algebras: first-order and higher-order paradigms. PhD thesis, Univ. of Edinburgh (1992)"},{"issue":"5","key":"4_CR44","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"M. Simeoni","year":"2004","unstructured":"Simeoni, M., Inverardi, P., Di Marco, A., Balsamo, S.: Model-Based Performance Prediction in Software Development: A Survey. IEEE Trans. on Software Engineering\u00a030(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"4_CR45","volume-title":"Performance Engineering of Software Systems","author":"C.U. Smith","year":"1990","unstructured":"Smith, C.U.: Performance Engineering of Software Systems. Addison-Wesley, Reading (1990)"},{"key":"4_CR46","volume-title":"Performance solutions: A Practical Guide to Creating Responsive, Scalable Software","author":"C.U. Smith","year":"2002","unstructured":"Smith, C.U., Williams, L.: Performance solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison Wesley, Reading (2002)"},{"key":"4_CR47","unstructured":"UML 2.0 Superstructure Specification. OMG Adopted Specification ptc\/03-08-02, Online at http:\/\/www.omg.org\/docs\/ptc\/03-08-02.pdf"},{"key":"4_CR48","unstructured":"UML Profile for Schedulability, Performance, and Time Specification. OMG Adopted Specification ptc\/02-03-02, Online at http:\/\/www.omg.org\/docs\/ptc\/02-03-02.pdf"},{"issue":"6","key":"4_CR49","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/336460.336478","volume":"43","author":"U. Varshney","year":"2000","unstructured":"Varshney, U., Vetter, R.: Emerging mobile and wireless networks. Communications of ACM\u00a043(6), 73\u201381 (2000)","journal-title":"Communications of ACM"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Mobile Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11419822_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:51:58Z","timestamp":1605624718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11419822_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540256977","9783540320210"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/11419822_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}