{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:36:36Z","timestamp":1742913396243,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214639"},{"type":"electronic","value":"9783642214646"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21464-6_13","type":"book-chapter","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T02:55:55Z","timestamp":1307415355000},"page":"187-201","source":"Crossref","is-referenced-by-count":1,"title":["Simulation-Based Performance Analysis of Channel-Based\u00a0Coordination Models"],"prefix":"10.1007","author":[{"given":"C.","family":"Verhoef","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Krause","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Kanters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"van der Mei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science\u00a014, 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-642-02053-7_14","volume-title":"Coordination Models and Languages","author":"F. Arbab","year":"2009","unstructured":"Arbab, F., Chothia, T., Mei, R., Meng, S., Moon, Y.J., Verhoef, C.: From coordination to stochastic models of QoS. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol.\u00a05521, pp. 268\u2013287. Springer, Heidelberg (2009)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-540-72794-1_16","volume-title":"Coordination Models and Languages","author":"F. Arbab","year":"2007","unstructured":"Arbab, F., Chothia, T., Meng, S., Moon, Y.-J.: Component connectors with qoS guarantees. In: Murphy, A.L., Ryan, M. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 286\u2013304. Springer, Heidelberg (2007)"},{"issue":"2","key":"13_CR5","first-page":"153","volume":"175","author":"T. Chothia","year":"2007","unstructured":"Chothia, T., Kleijn, J.: Q-Automata: Modelling the Resource Usage of Concurrent Components. ENTCS\u00a0175(2), 153\u2013167 (2007)","journal-title":"ENTCS"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Moon, Y.J., Silva, A., Krause, C., Arbab, F.: A compositional semantics for stochastic Reo connectors. In: Proc. of FOCLASA 2010, pp. 93\u2013107 (2010)","DOI":"10.4204\/EPTCS.30.7"},{"key":"13_CR7","first-page":"287","volume-title":"Proc. of FSE","author":"F. Arbab","year":"2009","unstructured":"Arbab, F., Meng, S., Moon, Y., Kwiatkowska, M., Qu, H.: Reo2MC: a tool chain for perf. anal. of coordination models. In: Proc. of FSE, pp. 287\u2013288. ACM, New York (2009)"},{"issue":"3","key":"13_CR8","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/j.scico.2007.01.009","volume":"66","author":"D. Clarke","year":"2007","unstructured":"Clarke, D., Costa, D., Arbab, F.: Connector colouring I: Synchronisation and context dependency. Science of Computer Programming\u00a066(3), 205\u2013225 (2007)","journal-title":"Science of Computer Programming"},{"key":"13_CR9","unstructured":"Proen\u00e7a, J.: Deployment of Distributed Component Based Systems. PhD thesis, Leiden University, The Netherlands (2011)"},{"key":"13_CR10","unstructured":"ECT: Eclipse Coordination Tools (2011), \n                  \n                    http:\/\/reo.project.cwi.nl\/"},{"key":"13_CR11","unstructured":"Gijsen, B., van der Mei, R., van den Berg, J.: An Integrated Performance Modeling Approach for Distributed Applications and ICT Systems. In: CMG-CONFERENCE. Computer Measurement Group; 1997, vol.\u00a02, pp. 471\u2013482 (2003)"},{"key":"13_CR12","unstructured":"Boxma, O., Daduna, H.: Sojourn times in queueing networks. Stochastic Analysis of Computer and Communication Systems, 401\u2013450 (1990)"},{"issue":"8","key":"13_CR13","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1109\/32.403785","volume":"21","author":"J. Rolia","year":"2002","unstructured":"Rolia, J., Sevcik, K.: The method of layers. IEEE Transactions on Software Engineering\u00a021(8), 689\u2013700 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/12.368012","volume":"44","author":"M. Woodside","year":"2002","unstructured":"Woodside, M., Neilson, J., Petriu, D., Majumdar, S.: The stochastic rendezvous network model for performance of synchronous client-server-like distributed software. IEEE Transactions on Computers\u00a044(1), 20\u201334 (2002)","journal-title":"IEEE Transactions on Computers"},{"key":"13_CR15","volume-title":"Performance Engineering of Software Systems","author":"C. Smith","year":"1990","unstructured":"Smith, C.: Performance Engineering of Software Systems. Addison-Wesley, Reading (1990)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-642-12029-9_11","volume-title":"Fundamental Approaches to Software Engineering","author":"P. Torrini","year":"2010","unstructured":"Torrini, P., Heckel, R., R\u00e1th, I.: Stochastic simulation of graph transformation systems. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 154\u2013157. Springer, Heidelberg (2010)"},{"issue":"1","key":"13_CR17","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/778553.778557","volume":"13","author":"A. Ledeczi","year":"2003","unstructured":"Ledeczi, A., Davis, J., Neema, S., Agrawal, A.: Modeling methodology for integrated simulation of embedded systems. ACM Transactions on Modeling and Computer Simulation (TOMACS)\u00a013(1), 82\u2013103 (2003)","journal-title":"ACM Transactions on Modeling and Computer Simulation (TOMACS)"},{"issue":"4","key":"13_CR18","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1109\/TR.2004.838034","volume":"53","author":"S. Yacoub","year":"2004","unstructured":"Yacoub, S., Cukic, B., Ammar, H.: A scenario-based reliability anal. approach for component-based software. IEEE Trans. on Reliability\u00a053(4), 465\u2013480 (2004)","journal-title":"IEEE Trans. on Reliability"},{"key":"13_CR19","first-page":"77","volume-title":"Proc. of the 11th Int. Conf. on WWW","author":"S. Narayanan","year":"2002","unstructured":"Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proc. of the 11th Int. Conf. on WWW, pp. 77\u201388. ACM, New York (2002)"},{"issue":"2","key":"13_CR20","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems (TOCS)\u00a02(2), 93\u2013122 (1984)","journal-title":"ACM Transactions on Computer Systems (TOCS)"},{"volume-title":"Performability Modelling: Techniques and Tools","year":"2001","key":"13_CR21","unstructured":"Haverkort, B.R., Marie, R., Rubino, G., Trivedi, K.S. (eds.): Performability Modelling: Techniques and Tools. Wiley, Chichester (2001)"},{"key":"13_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/b97265","volume-title":"Stochastic petri nets: Modelling, stability, simulation","author":"P. Haas","year":"2002","unstructured":"Haas, P.: Stochastic petri nets: Modelling, stability, simulation. Springer, Heidelberg (2002)"},{"issue":"1-2","key":"13_CR23","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","volume":"24","author":"G. Chiola","year":"1995","unstructured":"Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: graphical editor and analyzer for timed and SPNs. Perf. Eval.\u00a024(1-2), 47\u201368 (1995)","journal-title":"Perf. Eval."},{"key":"13_CR24","volume-title":"Principles of discrete event simulation","author":"G. Fishman","year":"1978","unstructured":"Fishman, G.: Principles of discrete event simulation. John Wiley, New York (1978)"},{"key":"13_CR25","first-page":"39","volume-title":"Proc. WSC 1983","author":"P.W. Glynn","year":"1983","unstructured":"Glynn, P.W.: On the role of generalized semi-markov processes in simulation output analysis. In: Proc. WSC 1983, pp. 39\u201344. IEEE Press, Los Alamitos (1983)"},{"key":"13_CR26","volume-title":"QoS analysis by simulation in Reo","author":"O. Kanters","year":"2010","unstructured":"Kanters, O., Verhoef, C., Schut, M.: QoS analysis by simulation in Reo. Vrije Universiteit Amsterdam, The Netherlands (2010)"},{"key":"13_CR27","unstructured":"Moon, Y., Arbab, F., Silva, A., Stam, A., Verhoef, C.: Stochastic Reo: A case Study (2011) (in preparation)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21464-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T04:36:58Z","timestamp":1553747818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21464-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214639","9783642214646"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21464-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}