{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:56:53Z","timestamp":1725487013243},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442523"},{"type":"electronic","value":"9783540457985"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45798-4_15","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T01:42:40Z","timestamp":1183426960000},"page":"346-373","source":"Crossref","is-referenced-by-count":1,"title":["Performance Validation of Mobile Software Architectures"],"prefix":"10.1007","author":[{"given":"Vincenzo","family":"Grassi","sequence":"first","affiliation":[]},{"given":"Vittorio","family":"Cortellessa","sequence":"additional","affiliation":[]},{"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,5]]},"reference":[{"key":"15_CR1","unstructured":"S. Alhir, \u201cThe true value of the Unified Modeling Language\u201d, Distributed Computing, 29\u201331, July 1998."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"M. Baldi, G.P. Picco \u201cEvaluating the tradeoffs of mobile code design paradigms in network management applications\u201d in Proc. 20th Int. Conf. on Software Engineering (ICSE 98), (R. Kemmerer and K. Futatsugi eds.), Kyoto, Japan, Apr. 1998.","DOI":"10.1109\/ICSE.1998.671111"},{"key":"15_CR3","unstructured":"S. Balsamo, M. Simeoni \u201cDeriving Performance Models from Software Architecture Specifications\u201d Res. Rep. CS-2001-04, Dip. di Informatica, Universit\u00e0 di Venezia, Feb. 2001; ESM 2001, SCS, European Simulation Muticonference 2001, Prague, 6\u20139 June 2001."},{"key":"15_CR4","unstructured":"M. Barbeau \u201cTransfer of mobile agents using multicast: why and how to do it on wireless mobile networks\u201d Tech. Rep. TR-00-05, School of Computer Science, Carleton University, July 2000."},{"key":"15_CR5","volume-title":"Software Architectures in Practice","author":"L. Bass","year":"1998","unstructured":"L. Bass, P. Clements, R. Kazman, Software Architectures in Practice, Addison-Wesley, New York, NY, 1998."},{"key":"15_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46852-8_1","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide, Addison Wesley, New York, 1999."},{"key":"15_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computational Structures","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli, A.D. Gordon \u201cMobile ambients\u201d Foundations of Software Science and Computational Structures (M. Nivat ed.), LNCS 1378, Springer-Verlag, 1998, pp. 140\u2013155"},{"issue":"4","key":"15_CR8","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero, D. Gelernter \u201cLinda in context\u201d Communications of the ACM, vol. 32, no.4, 1989, pp. 444\u2013458.","journal-title":"Communications of the ACM"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"T.-H. Chia, S. Kannapan \u201cStrategically mobile agents\u201d in Proc. 1st Int. Conf. on Mobile Agents (MA\u2019 97), Springer-Verlag, 1997.","DOI":"10.1007\/3-540-62803-7_31"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0167-6423(02)00033-3","volume":"44","author":"V. Cortellessa","year":"2002","unstructured":"V. Cortellessa, R. Mirandola \u201cPRIMA-UML: a performance validation incremental methodology on early UML diagrams\u201d Science of Computer Programming, Elsevier Science, vol 44, n.1, pp 101\u2013129, July 2002.","journal-title":"Science of Computer Programming"},{"issue":"5","key":"15_CR11","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola De","year":"1998","unstructured":"R. De Nicola, G. Ferrari, R. Pugliese, B. Venneri \u201cKLAIM: a kernel language for agents interaction and mobility\u201d IEEE Trans. on Software Engineering, vol. 24, no. 5, May 1998, pp. 315\u2013330","journal-title":"IEEE Trans. on Software Engineering"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"G. Ferrari, C. Montangero, L. Semini, S. Semprini \u201cMobile agents coordination in Mobadtl\u201d Proc. of 4th Int. Conf. on Coordination Models and Languages (COORDINATION\u201900), (A. Porto and G.-C. Roman eds.), Springer-Verlag, Limassol, Cyprus, Sept. 2000.","DOI":"10.1007\/3-540-45263-X_15"},{"issue":"5","key":"15_CR13","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/32.685258","volume":"24","author":"A. Fuggetta","year":"1998","unstructured":"A. Fuggetta, G.P. Picco, G. Vigna \u201cUnderstanding code mobility\u201d IEEE Trans. on Software Engineering, vol. 24, no. 5, May 1998, pp. 342\u2013361.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"15_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"N. Gotz","year":"1993","unstructured":"N. Gotz, U. Herzog, M. Rettelbach \u201cMultiprocessor system design: the integration of functional specification and performance analysis using stochastic process algebras\u201d in Performance Evaluation of Computer and Communication Systems (L. Donatiello and R. Nelson eds.), LNCS 729, Springer-Verlag, 1993."},{"key":"15_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Modeling and performance analysis of mobile software architectures in a UML framework","author":"V. Grassi","year":"2001","unstructured":"V. Grassi, R. Mirandola, \u201cModeling and performance analysis of mobile software architectures in a UML framework\u201d in \u226aUML2001\u226b Conference Proceedings, LNCS 2185, Springer Verlag, October 2001."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"V. Grassi, R. Mirandola, \u201cPRIMAmob-UML: a Methodology for Performance analysis of Mobile Software Architecture\u201d, in WOSP 2002, Third International Conference on Software and Performance, ACM, July 2002.","DOI":"10.1145\/584369.584411"},{"key":"15_CR17","unstructured":"R. Gray, D. Kotz, G. Cybenko, D. Rus \u201cMobile agents: motivations and state-of-the-art systems\u201d in Handbook of Agent Technology, AAAI\/MIT Press, 2001."},{"issue":"1\u20132","key":"15_CR18","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"H. Hermanns, U. Herzog, J.-P. Katoen \u201cProcess algebras for performance evaluation\u201d, Theoretical Computer Science, vol. 274, no. 1\u20132, 2002, pp. 43\u201387.","journal-title":"Theoretical Computer Science"},{"key":"15_CR19","unstructured":"I. Jacobson, G. Booch, J. Rumbaugh, The Unified Software Development Process, Addison-Wesley Object Technology Series, 1999."},{"key":"15_CR20","volume-title":"Art of Computer Systems Performance Analysis","author":"R. Jain","year":"1990","unstructured":"R. Jain, Art of Computer Systems Performance Analysis, Wiley, New York, 1990."},{"key":"15_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/978-3-540-45347-5_16","volume-title":"Quantitative evaluation of pairwise interactions between agents","author":"T. Kawamura","year":"2000","unstructured":"T. Kawamura, S. Joseph, A. Ohsuga, S. Honiden \u201cQuantitative evaluation of pairwise interactions between agents\u201d in Joint Symp. on Agent Systems and Applications and Symp. on Mobile Agents (ASA\/MA 2000), Springer LNCS 1882, pp. 192\u2013205, 2000."},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"D. Kotz, G. Jiang, R. Gray, G. Cybenko, R.A. Peterson \u201cPerformance analysis of mobile agents for filtering data streams on wireless networks\u201d in 3rd ACM Workshop on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2000), Aug. 2000.","DOI":"10.1145\/346855.346868"},{"key":"15_CR23","unstructured":"R. Milner, Communication and Concurrency, Prentice Hall, 1989."},{"key":"15_CR24","unstructured":"R. Milner, Communicating and Mobile Systems: the-calculus, Cambridge Univ. Press, 1999."},{"issue":"10","key":"15_CR25","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1109\/32.962559","volume":"27","author":"C. Nottegar","year":"2001","unstructured":"C. Nottegar, C. Priami, P. Degano \u201cPerformance evaluation of mobile processes via abstract machines\u201d IEEE Trans. on Software Engineering, vol. 27, no. 10, Oct. 2001, pp. 867\u2013889","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"3","key":"15_CR26","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/383876.383879","volume":"10","author":"G.P. Picco","year":"2001","unstructured":"G.P. Picco, G.-C. Roman, P.J. McCann \u201cReasoning about code mobility in Mobile UNITY\u201d ACM Transactions on Software Engineering and Methodology, vol. 10, no. 3, July 2001, pp. 338\u2013395.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"15_CR27","unstructured":"A. Puliafito, S. Riccobene, M. Scarpa \u201cAn analytical comparison of the client-server, remote evaluation and mobile agent paradigms\u201d in 1st Int. Symp. on Agent Systems and Applications and 3rd Int. Symp. on Mobile Agents (ASA\/MA 99), Oct. 1999."},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"M.L. Puterman, Markov Decison Processes, J. Wiley and Sons, 1994.","DOI":"10.1002\/9780470316887"},{"key":"15_CR29","unstructured":"K. Rothermel, F. Hohl, N. Radouniklis \u201cMobile agent systems: what is missing?\u201d in Distributed Applications and Interoperable Systems (DAIS 1997), 1997."},{"key":"15_CR30","unstructured":"D. Sangiorgi \u201cExpressing mobility in process algebras: first-order and higher-order paradigms\u201d PhD thesis, Univ. of Edinburgh, 1992."},{"key":"15_CR31","unstructured":"B. Selic, \u201cResponse to the omg rfp for schedulability, performance and time\u201d, OMG document number ad\/2001-06-14, June 2001."},{"key":"15_CR32","volume-title":"Performance Engineering of Software Systems","author":"C. Smith","year":"1990","unstructured":"C. Smith, Performance Engineering of Software Systems, Addison-Wesley, Reading, MA, 1990."},{"key":"15_CR33","unstructured":"C. Smith, L. Williams, Performance solutions: A Practical Guide to Creating Responsive, Scalable Software, Addison Wesley, 2002."},{"issue":"7","key":"15_CR34","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1109\/32.56097","volume":"16","author":"J.W. Stamos","year":"1990","unstructured":"J.W. Stamos, D.K. Gifford \u201cImplementing remote evaluation\u201d IEEE Trans. on Software Engineering, vol. 16, no. 7, July 1990, pp. 710\u2013722.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"15_CR35","unstructured":"M. Strasser, M. Schwehm \u201cA performance model for mobile agent systems\u201d in Int. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 97), vol. II, (H.R. Arabnia ed.), Las Vegas 1997, pp. 1132\u20131140."},{"key":"15_CR36","unstructured":"Sun Microsystems \u201cThe Java language\u201d, White Paper, 1994."},{"key":"15_CR37","unstructured":"Sun Microsystems \u201cThe Java servlet API\u201d, White Paper, 1997."},{"issue":"5","key":"15_CR38","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1109\/32.685257","volume":"24","author":"M. Wermelinger","year":"1998","unstructured":"M. Wermelinger, J.L. Fiadeiro \u201cConnectors for mobile programs\u201d IEEE Trans. on Software Engineering, vol. 24, no. 5, May 1998, pp. 331\u2013341.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"15_CR39","unstructured":"WOSP 2000, Proc. of the 2nd Int. Workshop on Software and Performance, ACM, 2000."}],"container-title":["Lecture Notes in Computer Science","Performance Evaluation of Complex Systems: Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45798-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T01:54:40Z","timestamp":1556589280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45798-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442523","9783540457985"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-45798-4_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}