{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:46:44Z","timestamp":1743058004920,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_15","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"206-220","source":"Crossref","is-referenced-by-count":3,"title":["A Framework for Analyzing and Testing the Performance of Software Services"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Bertolino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guglielmo","family":"De Angelis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antinisca","family":"Di Marco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonino","family":"Sabetta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Proc. of 9th MoDELS","author":"A. Bertolino","year":"2006","unstructured":"Bertolino, A., Bonivento, A., De Angelis, G., Sangiovanni Vincentelli, A.: Modeling and Early Performance Estimation for Network Processor Applications. In: Proc. of 9th MoDELS. Springer, Heidelberg (2006)"},{"key":"15_CR2","unstructured":"Ludwig, H.: WS-Agreement Concepts and Use \u2013 Agreement-Based Service-Oriented Architectures. Technical report, IBM (2006)"},{"key":"15_CR3","first-page":"171","volume-title":"FOSE 2007: 2007 Future of Software Engineering","author":"M. Woodside","year":"2007","unstructured":"Woodside, M., Franks, G., Petriu, D.: The future of software performance engineering. In: FOSE 2007: 2007 Future of Software Engineering, pp. 171\u2013187. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"15_CR4","unstructured":"PLASTIC Project: (EU FP6 STREP n. 26955), \n                    \n                      http:\/\/www.ist-plastic.org"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/978-3-540-74974-5_41","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"M. Autili","year":"2007","unstructured":"Autili, M., Berardinelli, L., Cortellessa, V., Di Marco, A., Di Ruscio, D., Inverardi, P., Tivoli, M.: A development process for self-adapting service oriented applications. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 442\u2013448. Springer, Heidelberg (2007)"},{"key":"15_CR6","unstructured":"Autili, M., Cortellessa, V., Di Marco, A., Inverardi, P.: A conceptual model for adaptable context-aware services. In: WS-MaTe 2006 (2006)"},{"key":"15_CR7","first-page":"75","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"1998","unstructured":"Bass, L., Clements, P., Kazman, R.: Quality Attributes. In: Software Architecture in Practice, ch.\u00a04, pp. 75\u201391. Addison-Wesley, Reading (1998)"},{"issue":"1","key":"15_CR8","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":"15_CR9","unstructured":"Di Marco, A.: Model-based Performance Analysis of Software Architectures. PhD thesis, University of L\u2019Aquila (2005)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Di Marco, A., Mascolo, C.: Performance Analysis and Prediction of Physically Mobile Systems. In: ACM WOSP, Buenos Aires (Argentina) (2007)","DOI":"10.1145\/1216993.1217015"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Singh, H., Cukic, B.: Early reliability assessment of UML based software models. In: ACM WOSP, pp. 302\u2013309 (2002)","DOI":"10.1145\/584369.584415"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mancinelli, F., Nesi, M.: A declarative framework for adaptable applications in heterogeneous environments. In: ACM SAC (2004)","DOI":"10.1145\/967900.968139"},{"key":"15_CR13","unstructured":"SEA Group: (The Chameleon Project), \n                    \n                      http:\/\/www.di.univaq.it\/chameleon\/"},{"key":"15_CR14","volume-title":"Proc. of CORCS 2008 (IEEE\/COMPSAC 2008)","author":"M. Autili","year":"2008","unstructured":"Autili, M., Di Benedetto, P., Inverardi, P., Mancinelli, F.: A resource-oriented static analysis approach to adaptable Java applications. In: Proc. of CORCS 2008 (IEEE\/COMPSAC 2008). IEEE Computer Society Press, Los Alamitos (to appear, 2008)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-73597-7_2","volume-title":"Web Engineering","author":"A. Bertolino","year":"2007","unstructured":"Bertolino, A., De Angelis, G., Polini, A.: A QoS Test-bed Generator for Web Services. In: Baresi, L., Fraternali, P., Houben, G.-J. (eds.) ICWE 2007. LNCS, vol.\u00a04607, pp. 17\u201331. Springer, Heidelberg (2007)"},{"key":"15_CR16","unstructured":"IBM: BPEL4WS, Business Process Execution Language for Web Services, v.1.1 (2003)"},{"key":"15_CR17","unstructured":"MOSQUITO: (User manual), \n                    \n                      http:\/\/sealabtools.di.univaq.it\/SeaLab\/MosquitoHome.html"},{"key":"15_CR18","unstructured":"WEASEL: (User manual), \n                    \n                      http:\/\/sealabtools.di.univaq.it\/SeaLab\/Weasel"},{"key":"15_CR19","first-page":"38","volume-title":"QEST 2004 Proceedings","author":"C.U. Smith","year":"2004","unstructured":"Smith, C.U., Llado, C.M.: Performance model interchange format (pmif 2.0): XML definition and implementation. In: QEST 2004 Proceedings, pp. 38\u201347. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"15_CR20","unstructured":"Chereddi, C.: Mean Value Analysis for Closed, Separable, Multi Class Queueing Networks with Single Server & Delay Queues (2006)"},{"key":"15_CR21","unstructured":"Sahner, R.A., Trivedi, K.S.: SHARPE: Symbolic Hierarchical Automated Reliability and Performance Evaluator, Introduction and Guide for Users (2002)"},{"key":"15_CR22","volume-title":"Performance Solutions: A practical Guide To Creating Responsive, Scalable Software","author":"C. Smith","year":"2001","unstructured":"Smith, C., Williams, L.: Performance Solutions: A practical Guide To Creating Responsive, Scalable Software. Addison Wesley, Reading (2001)"},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/11407386_14","volume-title":"Software Engineering and Middleware","author":"Y. Liu","year":"2005","unstructured":"Liu, Y., Gorton, I.: Accuracy of Performance Prediction for EJB Applications: A Statistical Analysis. In: Gschwind, T., Mascolo, C. (eds.) SEM 2004. LNCS, vol.\u00a03437, pp. 185\u2013198. Springer, Heidelberg (2005)"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-68524-1_19","volume-title":"Testing of Software and Communicating Systems","author":"A. Bertolino","year":"2008","unstructured":"Bertolino, A., De Angelis, G., Frantzen, L., Polini, A.: Model-based Generation of Testbeds for Web Services. In: Suzuki, K., Higashino, T., Hasegawa, T., Ulrich, A. (eds.) TestCom\/FATES 2008. LNCS, vol.\u00a05047, pp. 266\u2013282. Springer, Heidelberg (2008)"},{"key":"15_CR25","volume-title":"Proc. of the 34th \u20ac \u03bc-SEAA","author":"A. Bertolino","year":"2008","unstructured":"Bertolino, A., De Angelis, G., Lonetti, F., Sabetta, A.: Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications. In: Proc. of the 34th \u20ac \u03bc-SEAA, Parma, Italy, IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11940197_3","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"L. Frantzen","year":"2006","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: A Symbolic Framework for Model-Based Testing. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol.\u00a04262, pp. 40\u201354. Springer, Heidelberg (2006)"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Skene, J., Skene, A., Crampton, J., Emmerich, W.: The Monitorability of Service-Level Agreements for Application-Service Provision. In: Proc. of WOSP 2007, pp. 3\u201314 (2007)","DOI":"10.1145\/1216993.1216997"},{"key":"15_CR28","unstructured":"ASG: (EU IST FP6), \n                    \n                      http:\/\/asg-platform.org\/"},{"key":"15_CR29","unstructured":"COMET: (EU IST FP6), \n                    \n                      https:\/\/www.comet-consortium.org\/"},{"key":"15_CR30","unstructured":"MADAM: (EU IST FP6), \n                    \n                      http:\/\/www.ist-madam.org"},{"key":"15_CR31","unstructured":"MUSIC: (EU IST FP6), \n                    \n                      http:\/\/www.ist-music.eu\/"},{"key":"15_CR32","unstructured":"SeCSE: (EU IST FP6), \n                    \n                      http:\/\/secse.eng.it"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T21:27:13Z","timestamp":1558387633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_15","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}