{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T04:32:06Z","timestamp":1742358726963,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642272127"},{"type":"electronic","value":"9783642272134"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-27213-4_9","type":"book-chapter","created":{"date-parts":[[2012,1,12]],"date-time":"2012-01-12T00:55:51Z","timestamp":1326329751000},"page":"121-142","source":"Crossref","is-referenced-by-count":3,"title":["Towards Efficient Component Performance Analysis in Component Based Architectures"],"prefix":"10.1007","author":[{"given":"Nabila","family":"Salmi","sequence":"first","affiliation":[]},{"given":"Malika","family":"Ioualalen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Barros, T., Cansado, A., Madelaine, E., Rivera, M.: Model checking distributed components: The Vercors platform. In: 3rd Workshop on FACS. ENTCS (September 2006)","DOI":"10.1016\/j.entcs.2006.09.028"},{"key":"9_CR2","unstructured":"Bruneton, E., Coupaye, T., Stefani, J.B.: The fractal component model, version 2.0-3. Technical report, Fractal team (October 2006) (February 2004), http:\/\/fractal.objectweb.org\/specification\/"},{"key":"9_CR3","unstructured":"Buchholz, P., Ciardo, G., Donatelli, S., Kemper, P.: Complexity of Kronecker operations on sparse matrices with applications to solution of Markov models. Technical report 97-66, ICASE, Institute for Computer Applications in Science and Engineering, NASA\/Langley Research Center, Hampton, VA, USA (1997)"},{"issue":"11","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1343","DOI":"10.1109\/12.247838","volume":"42","author":"G. Chiola","year":"1993","unstructured":"Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. on Comp.\u00a042(11), 1343\u20131360 (1993)","journal-title":"IEEE Trans. on Comp."},{"key":"9_CR5","unstructured":"Smith, C.U., Williams, L.G.: Performance Solutions. Addison-Wesley (2002)"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/TC.1981.6312174","volume":"30","author":"M. Davio","year":"1981","unstructured":"Davio, M.: Kronecker products and shuffle algebra. IEEE Transactions on Computers\u00a030(2), 116\u2013125 (1981)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR7","first-page":"164","volume-title":"Proc. of the ICALP 2003","author":"C. Delamare","year":"2003","unstructured":"Delamare, C., Gardan, Y., Moreaux, P.: Efficient implementation for performance evaluation of synchronous decomposition of high level stochastic Petri nets. In: Proc. of the ICALP 2003, Eindhoven, Holland, June 21-22, pp. 164\u2013183. University of Dortmund, Germany (2003)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Delamare, C., Gardan, Y., Moreaux, P.: Performance evaluation with asynchronously decomposable SWN: implementation and case study. In: Proc. of the 10th Int. Workshop on PNPM 2003, Urbana-Champaign, IL, USA, September 2\u20135, pp. 20\u201329. IEEE Comp. Soc. Press (2003)","DOI":"10.1109\/PNPM.2003.1231539"},{"issue":"1-2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.scico.2004.11.011","volume":"56","author":"L. Dias da Silva","year":"2005","unstructured":"Dias da Silva, L., Perkusich, A.: Composition of software artifacts modelled using colored Petri nets. Science of Computer Programming\u00a056(1-2), 171\u2013189 (2005)","journal-title":"Science of Computer Programming"},{"key":"9_CR10","unstructured":"Firus, V., Becker, S.: Towards performance evaluation of component based software architectures. In: Proc. of FESCA 2004 (2004)"},{"issue":"4","key":"9_CR11","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1016\/j.jss.2006.07.023","volume":"80","author":"V. Grassi","year":"2007","unstructured":"Grassi, V., Mirandola, R., Sabetta, A.: Filling the gap between design and performance\/reliability models of component-based systems: A model-driven approach. J. Syst. Softw.\u00a080(4), 528\u2013558 (2007)","journal-title":"J. Syst. Softw."},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-61363-3_11","volume-title":"Application and Theory of Petri Nets 1996","author":"S. Haddad","year":"1996","unstructured":"Haddad, S., Moreaux, P.: Asynchronous composition of high level Petri nets: a quantitative approach. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol.\u00a01091, pp. 193\u2013211. Springer, Heidelberg (1996)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.entcs.2006.05.023","volume":"160","author":"P. Jezek","year":"2006","unstructured":"Jezek, P., Kofron, J., Plasil, F.: Model checking of component behavior specification: A real life experience. Electronic Notes in Theoretical Computer Science\u00a0160, 197\u2013210 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Koziolek, H.: Performance evaluation of component-based software systems: A survey. Performance Evaluation, Special Issue on Software and Performance (August 2010)","DOI":"10.1016\/j.peva.2009.07.007"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovi\u0107","year":"2000","unstructured":"Medvidovi\u0107, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. on Soft. Eng.\u00a026, 70\u201393 (2000)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"9_CR16","unstructured":"Microsoft. Net 3.0 framework (July 2007), http:\/\/msdn.microsoft.com\/netframework"},{"key":"9_CR17","unstructured":"M\u00fcller, P., Stich, C., Zeidler, C.: Components@work: Component technology for embedded systems. In: Proc. of the Component-Based Software Engineering Track at the 27th IEEE Euromicro Conference (Euromicro CBSE 2001) (September 2001)"},{"key":"9_CR18","unstructured":"Object Management Group. Common object request broker architecture (CORBA) - specification, version 3.1, part 1: CORBA interoperability (July 2007) (2004), http:\/\/www.omg.org\/cgi-bin\/doc?pas\/04-08-01.pdf"},{"key":"9_CR19","unstructured":"Object Management Group. Common object request broker architecture (CORBA) - specification, version 3.1, part 2: CORBA interfaces (July 2007) (2004), http:\/\/www.omg.org\/cgi-bin\/doc?pas\/04-08-02.pdf"},{"key":"9_CR20","unstructured":"Object Management Group. CORBA component model specification. version 4.0 (April 2007) (April 2006), http:\/\/www.omg.org\/cgi-bin\/apps\/doc?formal\/06-04-01.pdf"},{"key":"9_CR21","unstructured":"Perf. Eval. Group. GreatSPN home page (2002), http:\/\/www.di.unito.it\/~greatspn"},{"issue":"11","key":"9_CR22","doi-asserted-by":"publisher","first-page":"1049","DOI":"10.1109\/32.881717","volume":"26","author":"D. Petriu","year":"2000","unstructured":"Petriu, D., Shousha, C., Jalnapurkar, A.: Architecture-based performance analysis applied to a telecommunication system. IEEE Transactions on Software Engineering\u00a026(11), 1049\u20131065 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Rugina, A.E., Kanoun, K., Kaaniche, M.: A system dependability modeling framework using AADL and GSPNs. Technical Report 05666, LAAS (November 2006)","DOI":"10.1007\/978-3-540-74035-3_2"},{"key":"9_CR24","first-page":"123","volume-title":"Proc. of the 24th UKPEW 2008 Performance Engineering Workshop","author":"N. Salmi","year":"2008","unstructured":"Salmi, N., Moreaux, P., Ioualalen, M.: From architectural design to swn models for compositional performance analysis of component based systems: application to ccm based systems. In: Proc. of the 24th UKPEW 2008 Performance Engineering Workshop, pp. 123\u2013136. Imperial College, London, UK (2008)"},{"issue":"1","key":"9_CR25","first-page":"81","volume":"64","author":"N. Salmi","year":"2009","unstructured":"Salmi, N., Moreaux, P., Ioualalen, M.: Performance evaluation of fractal component based systems. Annals of Telecommunications. Special issue: Software component: The Fractal Initiative\u00a064(1), 81\u2013101 (2009)","journal-title":"Annals of Telecommunications. Special issue : Software component: The Fractal Initiative"},{"key":"9_CR26","unstructured":"Sun Microsystems. EJB 3.0 specification (July 2007), http:\/\/java.sun.com\/products\/ejb\/docs.html"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Szyperski, C.: Component technology - what, where, and how? In: Proc. 25th Int. Conf. on Software Engineering, May 3-10, pp. 684\u2013693. IEEE (2003)","DOI":"10.1109\/ICSE.2003.1201255"},{"issue":"12","key":"9_CR28","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1109\/32.888628","volume":"26","author":"E. Weyuker","year":"2000","unstructured":"Weyuker, E., Vokolos, F.: Experience with performance testing of software systems: issues, an approach and case study. IEEE Transactions on Software Engineering\u00a026(12), 1147\u20131156 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"9_CR29","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/974043.974089","volume":"29","author":"X. Wu","year":"2004","unstructured":"Wu, X., Woodside, M.: Performance modeling from software components. SIGSOFT Softw. Eng. Notes\u00a029(1), 290\u2013301 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"}],"container-title":["Lecture Notes in Business Information Processing","Software Quality. Process Automation in Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27213-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T18:53:28Z","timestamp":1742324008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27213-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642272127","9783642272134"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27213-4_9","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}