{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:42:01Z","timestamp":1725507721345},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792291"},{"type":"electronic","value":"9783540792307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79230-7_5","type":"book-chapter","created":{"date-parts":[[2008,4,12]],"date-time":"2008-04-12T06:53:23Z","timestamp":1207983203000},"page":"61-76","source":"Crossref","is-referenced-by-count":4,"title":["Scalable Formalization of Publish\/Subscribe Messaging Scheme Based on Message Brokers"],"prefix":"10.1007","author":[{"given":"Qin","family":"Li","sequence":"first","affiliation":[]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Jing","family":"Li","sequence":"additional","affiliation":[]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Web Services: Concepts, Architectures and Applications","author":"G. Alonso","year":"2003","unstructured":"Alonso, G., Kuno, H., Casati, F., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2003)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/966618.966622","volume-title":"Proc. of DEBS 2003: Proceedings of the 2nd international workshop on Distributed event-based systems","author":"A. Belokosztolszki","year":"2003","unstructured":"Belokosztolszki, A., Eyers, D.M., Pietzuch, P.R., Bacon, J., Moody, K.: Role-based access control for publish\/subscribe middleware architectures. In: Proc. of DEBS 2003: Proceedings of the 2nd international workshop on Distributed event-based systems, pp. 1\u20138. ACM Press, New York (2003)"},{"key":"5_CR3","unstructured":"Davies, S., Cowen, L., Giddings, C., Parker, H.: WebSphere Message Broker Basics. IBM International Technical Support Organization (2005)"},{"issue":"3","key":"5_CR4","first-page":"221","volume":"66","author":"R. Devillers","year":"2005","unstructured":"Devillers, R., Klaudel, H.: Synchronous and asynchronous communications in composable parameterized high-level petri nets. Fundam. Inf.\u00a066(3), 221\u2013257 (2005)","journal-title":"Fundam. Inf."},{"key":"5_CR5","volume-title":"Service-Oriented Architecture (SOA): Concepts, Technology, and Design","author":"T. Erl","year":"2005","unstructured":"Erl, T.: Service-Oriented Architecture (SOA): Concepts, Technology, and Design. Prentice Hall PTR, Englewood Cliffs (2005)"},{"issue":"2","key":"5_CR6","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 Computing Surveys\u00a035(2), 114\u2013131 (2003)","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MIC.2006.17","volume":"10","author":"L. Fiege","year":"2006","unstructured":"Fiege, L., Cilia, M., Muhl, G., Buchmann, A.: Publish-subscribe grows up: Support for management, visibility control, and heterogeneity. IEEE Internet Computing\u00a010(1), 48\u201355 (2006)","journal-title":"IEEE Internet Computing"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Fiege, L., Zeidler, A., Buchmann, A., Kilian-Kehr, R., Mhl, G.: Security aspects in publish\/subscribe systems. In: Proc. of DEBS 2004: the Third International Workshop on Distributed Event-Based Systems (2004)","DOI":"10.1049\/ic:20040381"},{"key":"5_CR9","volume-title":"Patterns of Enterprise Application Architecture","author":"M. Fowler","year":"2002","unstructured":"Fowler, M.: Patterns of Enterprise Application Architecture. Addison-Wesley, Reading (2002)"},{"issue":"5","key":"5_CR10","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1145\/570886.570890","volume":"24","author":"M. Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Information flow vs. resource access in the asynchronous pi-calculus. ACM Transactions on Programming Languages and Systems\u00a024(5), 566\u2013591 (2002)","journal-title":"resource access in the asynchronous pi-calculus. ACM Transactions on Programming Languages and Systems"},{"key":"5_CR11","volume-title":"Enterprise Integration Patterns","author":"G. Hohpe","year":"2003","unstructured":"Hohpe, G., Woolf, B.: Enterprise Integration Patterns. Addison-Wesley, Reading (2003)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/ICDCSW.2006.59","volume-title":"Proc. of ICDCSW 2006: 26th IEEE International Conference Workshops on Distributed Computing Systems","author":"Z. Jerzak","year":"2006","unstructured":"Jerzak, Z., Fetzer, C.: Handling overload in publish\/subscribe systems. In: Proc. of ICDCSW 2006: 26th IEEE International Conference Workshops on Distributed Computing Systems, p. 32. IEEE Computer Society Press, Washington (2006)"},{"key":"5_CR13","unstructured":"Microsoft Cooperation. Microsoft Biztalk Server (2006), \n                  \n                    http:\/\/www.microsoft.com\/technet\/prodtechnol\/biztalk\/2006\/default.mspx"},{"key":"5_CR14","volume-title":"Communicating and Mobile Systems: the \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/BF01211473","volume":"4","author":"F. Orava","year":"1992","unstructured":"Orava, F., Parrow, J.: An algebraic verification of a mobile network. Journal of Formal Aspects of Computing\u00a04, 497\u2013543 (1992)","journal-title":"Journal of Formal Aspects of Computing"},{"key":"5_CR16","unstructured":"Priami, C.: Stochastic analysis of mobile telephony networks. In: Brinskma, E., Nymeyer, A. (eds.) Proc. of PAPM 1997: 5th Int. Workshop on Process Algebra and Performance Modeling, pp. 145\u2013171 (1997)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-58179-0_73","volume-title":"Computer Aided Verification","author":"B. Victor","year":"1994","unstructured":"Victor, B., Moller, F.: The mobility workbench \u2014 a tool for the \u03c0-calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 428\u2013440. Springer, Heidelberg (1994)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"532","DOI":"10.1007\/3-540-54415-1_63","volume-title":"Theoretical Aspects of Computer Software","author":"D. Walker","year":"1991","unstructured":"Walker, D.: Pi-calculus semantics of object-oriented programming languages. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol.\u00a0526, pp. 532\u2013547. Springer, Heidelberg (1991)"},{"key":"5_CR19","unstructured":"Wang, J., Cao, J., Li, J., Wu, J.: Achieving bounded delay on message delivery in publish\/subscribe systems. \u00a00, 407\u2013416 (2006)"},{"issue":"2","key":"5_CR20","first-page":"205","volume":"50","author":"F. Xia","year":"2002","unstructured":"Xia, F., Clark, I.: Algorithms for signal and message asynchronous communication mechanisms and their analysis. Fundam. Inf.\u00a050(2), 205\u2013222 (2002)","journal-title":"Fundam. Inf."},{"key":"5_CR21","unstructured":"Zhu, Y., Hu, Y.: An architecture for content-based publish\/subscribe services on p2p networks. \u00a000, 427\u2013434 (2005)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79230-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:14:32Z","timestamp":1619522072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79230-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540792291","9783540792307"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79230-7_5","relation":{},"subject":[]}}