{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:26Z","timestamp":1725490706753},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751311"},{"type":"electronic","value":"9783540751328"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75132-8_5","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T05:32:01Z","timestamp":1188538321000},"page":"44-59","source":"Crossref","is-referenced-by-count":2,"title":["Formal Design of Structural and Dynamic Features of Publish\/Subscribe Architectural Styles"],"prefix":"10.1007","author":[{"given":"Imen","family":"Loulou","sequence":"first","affiliation":[]},{"given":"Ahmed","family":"Hadj Kacem","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[]},{"given":"Khalil","family":"Drira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"The Z notation: a reference manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z notation: a reference manual. Prentice-Hall, Inc., Upper Saddle River (1989)"},{"issue":"4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D.C. Luckham","year":"1995","unstructured":"Luckham, D.C., Kenney, J.L., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering\u00a021(4), 336\u2013355 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127885","volume":"31","author":"F. Oquendo","year":"2006","unstructured":"Oquendo, F.: \u03c0-Method: A Model-Driven Formal Method for Architecture-Centric Software Engineering. ACM SIGSOFT Software Engineering Notes\u00a031(3), 1\u201313 (2006)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5_CR5","first-page":"47","volume-title":"Foundations of component-based systems","author":"D. Garlan","year":"2000","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: architectural description of component-based systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of component-based systems, pp. 47\u201368. Cambridge University Press, Cambridge (2000)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Carneiro de Paula, V.C., Ribeiro-Justo, G.R., Cunha, P.R.F.: Specifying and verifying reconfigurable software architectures. In: PDSE 2000: Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, pp. 21\u201331 (2000)","DOI":"10.1109\/PDSE.2000.847847"},{"issue":"7","key":"5_CR7","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D. M\u00e9tayer Le","year":"1998","unstructured":"Le M\u00e9tayer, D.: Describing software architecture styles using graph grammars. IEEE Transactions On Software Engineering\u00a024(7), 521\u2013533 (1998)","journal-title":"IEEE Transactions On Software Engineering"},{"issue":"3","key":"5_CR8","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/380749.380767","volume":"19","author":"A. Carzaniga","year":"2001","unstructured":"Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and evaluation of a wide-area event notification service. ACM Transactions on Computer Systems\u00a019(3), 332\u2013383 (2001)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"9","key":"5_CR9","doi-asserted-by":"publisher","first-page":"827","DOI":"10.1109\/32.950318","volume":"27","author":"G. Cugola","year":"2001","unstructured":"Cugola, G., Di Nitto, E., Fuggetta, A.: The JEDI event-based infrastructure and its application to the development of the OPSS WFMS. IEEE Transactions on Software Engineering\u00a027(9), 827\u2013850 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C., Zanolin, L.: Modeling and validation of publish\/subscribe architectures. In: Beydeda, S., Gruhn, V. (eds.) Testing Commercial off the shelf Components And Systems, pp. 273\u2013292 (2005)","DOI":"10.1007\/3-540-27071-X_13"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Fenkam, P., Gall, H., Jazayeri, M.: A systematic approach to the development of event based applications. In: SRDS 2003. The 22nd Symposium on Reliable Distributed Systems, Florence, Italy, October 2003, pp. 199\u2013208 (2003)","DOI":"10.1109\/RELDIS.2003.1238069"},{"key":"5_CR12","first-page":"63","volume-title":"ISCC 2006","author":"R. Baldoni","year":"2006","unstructured":"Baldoni, R., Scipioni, S., Tucci-Piergiovanni, S.: Communication channel management for maintenance of strong overlay connectivity. In: ISCC 2006. Proceedings of the 11th IEEE Symposium on Computers and Communications, Washington, DC, USA, pp. 63\u201368. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"5_CR13","first-page":"29","volume-title":"ICDCSW 2006","author":"H. Parzyjegla","year":"2006","unstructured":"Parzyjegla, H., Muhl, G.G., Jaeger, M.A.: Reconfiguring publish\/subscribe overlay topologies. In: ICDCSW 2006. Proceedings of the 26th IEEE International ConferenceWorkshops on Distributed Computing Systems, Washington, DC, USA, p. 29. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1145\/967900.968130","volume-title":"SAC 2004","author":"G. Cugola","year":"2004","unstructured":"Cugola, G., Frey, D., Murphy, A.L., Picco, G.P.: Minimizing the reconfiguration overhead in content-based publish-subscribe. In: SAC 2004, pp. 1134\u20131140. ACM Press, New York (2004)"},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"P.T. Eugster","year":"2003","unstructured":"Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.-M.: The many faces of publish\/subscribe. ACM Comput. Surv.\u00a035(2), 114\u2013131 (2003)","journal-title":"ACM Comput. Surv."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Wermelinger, M.A.: Specification of software architecture reconfiguration. PhD thesis, Universit\u00e9 Nova de Lisbon, Septembre (1999)","DOI":"10.1145\/318774.319256"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Chassot, C., Guennoun, K., Drira, K.: Architectural adaptability management for mobile cooperative systems. In: MUE 2007. International Conference on Multimedia and Ubiquitous Engineering, Seoul, Korea, pp. 1130\u20131135 (2007)","DOI":"10.1109\/MUE.2007.90"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75132-8_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:52:07Z","timestamp":1619520727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75132-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751311","9783540751328"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75132-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}