{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:38:15Z","timestamp":1743021495139,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662486153"},{"type":"electronic","value":"9783662486160"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48616-0_3","type":"book-chapter","created":{"date-parts":[[2015,11,24]],"date-time":"2015-11-24T16:18:43Z","timestamp":1448381923000},"page":"36-52","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Analysis of Timing Constraints in Heterogeneous Middleware Interactions"],"prefix":"10.1007","author":[{"given":"Ajay","family":"Kattepur","sequence":"first","affiliation":[]},{"given":"Nikolaos","family":"Georgantas","sequence":"additional","affiliation":[]},{"given":"Georgios","family":"Bouloukakis","sequence":"additional","affiliation":[]},{"given":"Val\u00e9rie","family":"Issarny","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1007\/11575801_6","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"L Aldred","year":"2005","unstructured":"Aldred, L., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: On the notion of coupling in communication middleware. In: Meersman, R. (ed.) CoopIS\/DOA\/ODBASE 2005. LNCS, vol. 3761, pp. 1015\u20131033. Springer, Heidelberg (2005)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C., Mottola, L.: On accurate automatic verification of publish-subscribe architectures. In: IEEE International Conference on Software Engineering (2007)","DOI":"10.1109\/ICSE.2007.57"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/TSC.2009.8","volume":"2","author":"A Barker","year":"2009","unstructured":"Barker, A., Walton, C.D., Robertson, D.: Choreographing web services. IEEE Trans. Serv. Comput. 2, 152\u2013166 (2009)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s10009-011-0201-2","volume":"14","author":"A Basu","year":"2012","unstructured":"Basu, A., Bensalem, S., Bozgt, M., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. Int. J. Softw. Tools Techno. Transfer 14, 53\u201371 (2012)","journal-title":"Int. J. Softw. Tools Techno. Transfer"},{"key":"3_CR6","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal 4.0. Technical report, Aalborg University, Denmark (2006)"},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1049\/ip-sen:20000327","volume":"147","author":"GS Blair","year":"2000","unstructured":"Blair, G.S., Andersen, A., Blair, L., Coulson, G., Sanchez, D.: Supporting dynamic QoS management functions in a reflective middleware platform. Proc. IEE Softw. 147(1), 13\u201321 (2000)","journal-title":"Proc. IEE Softw."},{"key":"3_CR8","volume-title":"Enterprise Service Bus","author":"DA Chappell","year":"2004","unstructured":"Chappell, D.A.: Enterprise Service Bus. O\u2019Reilly Media, Sebastopol (2004)"},{"key":"3_CR9","unstructured":"CHOReOS. Final CHOReOS architectural style. Technical report, Large Scale Choreographies for the Future Internet (2013)"},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR11","volume-title":"JavaSpaces Principles, Patterns, and Practice","author":"E Freeman","year":"1999","unstructured":"Freeman, E., Hupfer, S., Arnold, K.: JavaSpaces Principles, Patterns, and Practice. Addison-Wesley Professional, Essex (1999)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-40651-5_11","volume-title":"Service-Oriented and Cloud Computing","author":"N Georgantas","year":"2013","unstructured":"Georgantas, N., Bouloukakis, G., Beauche, S., Issarny, V.: Service-oriented distributed applications in the future internet: the case for interaction paradigm interoperability. In: Lau, K.-K., Lamersdorf, W., Pimentel, E. (eds.) ESOCC 2013. LNCS, vol. 8135, pp. 134\u2013148. Springer, Heidelberg (2013)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TSC.2010.3","volume":"3","author":"D Guinard","year":"2010","unstructured":"Guinard, D., Karnouskos, S., Trifa, V., Dober, B., Spiess, P., Savio, D.: Interacting with the SOA-based internet of things: discovery, query, selection, and on-demand provisioning of web services. IEEE Trans. Serv. Comput. 3, 223\u2013235 (2010)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-540-73196-2_16","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007","author":"F He","year":"2007","unstructured":"He, F., Baresi, L., Ghezzi, C., Spoletini, P.: Formal analysis of publish-subscribe systems by probabilistic timed automata. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 247\u2013262. Springer, Heidelberg (2007)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-21455-4_7","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"V Issarny","year":"2011","unstructured":"Issarny, V., Bennaceur, A., Bromberg, Y.-D.: Middleware-layer connector synthesis: beyond state of the art in middleware interoperability. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 217\u2013255. Springer, Heidelberg (2011)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-45005-1_3","volume-title":"Service-Oriented Computing","author":"A Kattepur","year":"2013","unstructured":"Kattepur, A., Georgantas, N., Issarny, V.: QoS analysis in heterogeneous choreography interactions. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 23\u201338. Springer, Heidelberg (2013)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-75454-1_19","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"M Kim","year":"2007","unstructured":"Kim, M., Stehr, M.-O., Talcott, C., Dutt, N., Venkatasubramanian, N.: Combining formal verification with observed system execution behavior to tune system parameters. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol. 4763, pp. 257\u2013273. Springer, Heidelberg (2007)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: Proceedings of Tools Session of Aachen International Muliconference on Measurement, Modelling and Evaluation of Computer-Communication Systems, pp. 7\u201312 (2001)","DOI":"10.1007\/3-540-46029-2_13"},{"issue":"3","key":"3_CR19","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/32.4655","volume":"14","author":"SS Lam","year":"1988","unstructured":"Lam, S.S.: Protocol conversion. IEEE Trans. Softw. Eng. 14(3), 353\u2013362 (1988)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR20","volume-title":"Java Message Service","author":"M Richards","year":"2009","unstructured":"Richards, M., Monson-Haefel, R., Chappell, D.A.: Java Message Service, 2nd edn. O\u2019Reilly, Sebastopol (2009)","edition":"2"},{"key":"3_CR21","volume-title":"RESTful Web Services","author":"L Richardson","year":"2007","unstructured":"Richardson, L., Ruby, S.: RESTful Web Services. O\u2019Reilly, Sebastopol (2007)"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Sun, Y., Qiao, X., Cheng, B., Chen, J.: A low-delay, lightweight publish\/subscribe architecture for delay-sensitive IoT services. In: IEEE 20th International Conference on Web Services (2013)","DOI":"10.1109\/ICWS.2013.33"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"1678","DOI":"10.1016\/j.jss.2009.04.042","volume":"82","author":"L Waszniowski","year":"2009","unstructured":"Waszniowski, L., Krakora, J., Hanzalek, Z.: Case study on distributed and fault tolerant system modeling based on timed automata. J. Syst. Softw. 82, 1678\u20131694 (2009)","journal-title":"J. Syst. Softw."},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Zhang, T., Ma, J., Sun, C., Li, Q., Xi, N.: Service composition in multi-domain environment under time constraint. In: IEEE International Conference on Web Services (2013)","DOI":"10.1109\/ICWS.2013.39"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48616-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,27]],"date-time":"2022-05-27T00:17:28Z","timestamp":1653610648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48616-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662486153","9783662486160"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48616-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}