{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T19:40:44Z","timestamp":1782416444110,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642120282","type":"print"},{"value":"9783642120299","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12029-9_25","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T00:56:48Z","timestamp":1268009808000},"page":"353-367","source":"Crossref","is-referenced-by-count":22,"title":["Performance Modeling and Analysis of Context-Aware Mobile Software Systems"],"prefix":"10.1007","author":[{"given":"Luca","family":"Berardinelli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vittorio","family":"Cortellessa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antinisca","family":"Di Marco","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Architectural and Analysis Description Language, \n                    \n                      http:\/\/www.aadl.info\/"},{"key":"25_CR2","unstructured":"DynamIc VAriability in complex, adaptive systems, Research Project, \n                    \n                      http:\/\/www.ict-diva.eu\/"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Transactions on Software Engineering, 295\u2013310 (2004)","DOI":"10.1109\/TSE.2004.9"},{"key":"25_CR4","unstructured":"Berardinelli, L., Cortellessa, V., Di Marco, A.: An Unified Approach to Model Non-Functional Properties of Mobile Context-Aware Software. Technical Report 003-2009, Computer Science Department, University of L\u2019Aquila (2009), \n                    \n                      http:\/\/www.di.univaq.it\/cortelle\/docs\/report-003-2009.pdf"},{"issue":"1","key":"25_CR5","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"},{"key":"25_CR6","first-page":"132","volume-title":"WOSP","author":"A. Marco Di","year":"2007","unstructured":"Di Marco, A., Mascolo, C.: Performance analysis and prediction of physically mobile systems. In: WOSP, p. 132. ACM, New York (2007)"},{"issue":"5","key":"25_CR7","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 Transactions on software engineering\u00a024(5), 342\u2013361 (1998)","journal-title":"IEEE Transactions on software engineering"},{"key":"25_CR8","first-page":"222","volume-title":"Software Engineering for Self-Adaptive Systems","author":"V. Grassi","year":"2009","unstructured":"Grassi, V., Mirandola, R., Randazzo, E.: Model-Driven Assessment of QoS-Aware Self-Adaptation. In: Software Engineering for Self-Adaptive Systems, p. 222. Springer, Heidelberg (2009)"},{"key":"25_CR9","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":"A UML profile to model mobile systems","author":"V. Grassi","year":"2004","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: A UML profile to model mobile systems. LNCS, pp. 128\u2013142. Springer, Heidelberg (2004)"},{"issue":"3","key":"25_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of computer programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of computer programming"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/11966104_9","volume-title":"Software Architecture","author":"D. Hirsch","year":"2006","unstructured":"Hirsch, D., Kramer, J., Magee, J., Uchitel, S.: Modes for software architectures. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol.\u00a04344, pp. 113\u2013126. Springer, Heidelberg (2006)"},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"1177","DOI":"10.1145\/967900.968139","volume-title":"Proceedings of the 2004 ACM symposium on Applied computing","author":"P. Inverardi","year":"2004","unstructured":"Inverardi, P., Mancinelli, F., Nesi, M.: A declarative framework for adaptable applications in heterogeneous environments. In: Proceedings of the 2004 ACM symposium on Applied computing, pp. 1177\u20131183. ACM, New York (2004)"},{"key":"25_CR13","unstructured":"IST-MUSIC Project. Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments, \n                    \n                      http:\/\/www.ist-music.eu\/"},{"issue":"4","key":"25_CR14","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1059816.1059822","volume":"32","author":"D.N. Jansen","year":"2005","unstructured":"Jansen, D.N., Hermanns, H.: QoS modelling and analysis with UML-statecharts: the StoCharts approach. SIGMETRICS Perform. Eval. Rev.\u00a032(4), 28\u201333 (2005)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Lundesgaard, S.A., Lund, K., Eliassen, F.: Service Plans for Context-and QoS-aware Dynamic Middleware. In: ICDCS Workshops 2006, p. 70 (2006)","DOI":"10.1109\/ICDCSW.2006.97"},{"key":"25_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1370888.1370891","volume-title":"Proceedings of the 1st international workshop on Software architectures and mobility","author":"M. Mikic-Rakic","year":"2008","unstructured":"Mikic-Rakic, M., Malek, S., Medvidovic, N.: Architecture-driven software mobility in support of QoS requirements. In: Proceedings of the 1st international workshop on Software architectures and mobility, pp. 3\u20138. ACM, New York (2008)"},{"key":"25_CR17","unstructured":"Object Management Group, Inc. UML Profile for MARTE, ptc\/08-06-09 (2008)"},{"key":"25_CR18","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1145\/302405.302659","volume-title":"ICSE","author":"G.P. Picco","year":"1999","unstructured":"Picco, G.P., Murphy, A.L., Roman, G.C.: LIME: Linda meets mobility. In: ICSE, pp. 368\u2013377. ACM, New York (1999)"},{"key":"25_CR19","volume-title":"Performance Solutions: a practical guide to creating responsive, scalable software","author":"C.U. Smith","year":"2002","unstructured":"Smith, C.U., Williams, L.G.: Performance Solutions: a practical guide to creating responsive, scalable software. Addison-Wesley, Boston (2002)"},{"key":"25_CR20","unstructured":"Tjims, H.C.: Stochastic models: an algorithmic approach. IMA Journal of Management Mathematics"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12029-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T18:39:21Z","timestamp":1552415961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12029-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120282","9783642120299"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12029-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}