{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:18Z","timestamp":1725487098475},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540727934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72794-1_16","type":"book-chapter","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T11:13:58Z","timestamp":1182770038000},"page":"286-304","source":"Crossref","is-referenced-by-count":27,"title":["Component Connectors with QoS Guarantees"],"prefix":"10.1007","author":[{"given":"Farhad","family":"Arbab","sequence":"first","affiliation":[]},{"given":"Tom","family":"Chothia","sequence":"additional","affiliation":[]},{"given":"Sun","family":"Meng","sequence":"additional","affiliation":[]},{"given":"Young-Joo","family":"Moon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-540-39656-7_2","volume-title":"Formal Methods for Components and Objects","author":"F. Arbab","year":"2003","unstructured":"Arbab, F.: Abstract Behavior Types: A Foundation Model for Components and Their Composition. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 33\u201370. Springer, Heidelberg (2003)"},{"issue":"3","key":"16_CR2","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(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"16_CR3","first-page":"198","volume-title":"SEFM2004","author":"F. Arbab","year":"2004","unstructured":"Arbab, F., Baier, C., de Boer, F., Rutten, J.: Models and Temporal Logics for Timed Component Connectors. In: Cuellar, J.R., Liu, Z. (eds.) SEFM2004. 2nd International Conference on Software Engineering and Formal Methods, pp. 198\u2013207. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/978-3-540-40020-2_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F. Arbab","year":"2003","unstructured":"Arbab, F., Rutten, J.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) Recent Trends in Algebraic Development Techniques. LNCS, vol.\u00a02755, pp. 34\u201355. Springer, Heidelberg (2003)"},{"issue":"10","key":"16_CR5","first-page":"1718","volume":"11","author":"C. Baier","year":"2005","unstructured":"Baier, C.: Probabilistic Models for Reo Connector Circuits. Journal of Universal Computer Science\u00a011(10), 1718\u20131748 (2005)","journal-title":"Journal of Universal Computer Science"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C. Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming\u00a061, 75\u2013113 (2006)","journal-title":"Science of Computer Programming"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11767954_1","volume-title":"Coordination Models and Languages","author":"C. Baier","year":"2006","unstructured":"Baier, C., Wolf, V.: Stochastic Reasoning About Channel-Based Component Connectors. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science\u00a0202, 1\u201354 (1998)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"16_CR9","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/256303.256306","volume":"44","author":"S. Bistarelli","year":"1997","unstructured":"Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. JACM\u00a044(2), 201\u2013236 (1997)","journal-title":"JACM"},{"key":"16_CR10","series-title":"ENTCS","volume-title":"Proceedings of FOCLASA 2006","author":"T. Chothia","year":"2006","unstructured":"Chothia, T., Kleijn, J.: Q-Automata: Modelling the Resource Usage of Concurrent Components. In: Proceedings of FOCLASA 2006. ENTCS, Elsevier, Amsterdam (2006)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BFb0013851","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"N. G\u00f6tz","year":"1993","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: Multiprocessor and distributed system design: the integration of functional specification and performance analysis using stochastic process algebras. In: Donatiello, L., Nelson, R. (eds.) SIGMETRICS 1993 and Performance 1993. LNCS, vol.\u00a0729, pp. 121\u2013146. Springer, Heidelberg (1993)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Markov Chains And the Quest for Quantified Quality","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains. LNCS, vol.\u00a02428. Springer, Heidelberg (2002)"},{"key":"16_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"issue":"10","key":"16_CR14","first-page":"25","volume":"46","author":"M.P. Papazoglou","year":"2003","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Service Oriented Computing. Comm.\u00a0ACM\u00a046(10), 25\u201328 (2003)","journal-title":"Comm.\u00a0ACM"},{"issue":"2","key":"16_CR15","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M.A. Marsan","year":"1984","unstructured":"Marsan, M.A., Conte, G., Balbo, G.: A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Transactions on Computer Systems\u00a02(2), 93\u2013122 (1984)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"6","key":"16_CR16","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/MIC.2004.57","volume":"8","author":"D.A. Menasc\u00e9","year":"2004","unstructured":"Menasc\u00e9, D.A.: Composing Web Services: A QoS View. IEEE Internet Computing\u00a08(6), 88\u201390 (2004)","journal-title":"IEEE Internet Computing"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Meng, S., Arbab, F.: Web Services Choreography and Orchestration in Reo and Constraint Automata. In: Proceedings of SAC\u201907 (2007)","DOI":"10.1145\/1244002.1244085"},{"key":"16_CR18","volume-title":"Proceedings of the 2nd International Joint Conference on Artifiial Intelligence","author":"R. Milner","year":"1971","unstructured":"Milner, R.: An algebraic definition of simulation between programs. In: Cooper, D.C. (ed.) Proceedings of the 2nd International Joint Conference on Artifiial Intelligence, London, UK, British Computer Society, William Kaufmann (1971)"},{"key":"16_CR19","unstructured":"Mohri, M., Pereira, F., Riley, M.: Weighted automata in text and speech processing. In: ECAI\u201996. Workshop on Extended Finite State Models of Language, pp. 46\u201350 (1996)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/11417019_3","volume-title":"Coordination Models and Languages","author":"R. Nicola De","year":"2005","unstructured":"De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R., Tuosto, E.: A process calculus for qos-aware applications. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol.\u00a03454, pp. 33\u201348. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72794-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:05:31Z","timestamp":1605762331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72794-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727934"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72794-1_16","relation":{},"subject":[]}}