Abstract
Asynchronous communication is an important communication mechanism in service oriented architecture for developing dynamic large-scale applications among distributed services. Service systems which maintain large scalability and loose coupling properties need a convenient verification method for its asynchronous communication. Publish/Subscribe messaging scheme is a kind of asynchronous communication mechanisms supporting these properties. This paper provides a formal model for the publish/subscribe messaging scheme based on message brokers using π-calculus. Two patterns are provided to achieve the composition of message brokers, which generates a scalable system. Meanwhile, a complex publish/subscribe system can be simplified to an original one. From the original model reduced from the complex system, we can clearly analyze the behavior of the whole complex system and verify some properties of the publish/subscribe scheme. The composition and reduction can be applied to the service integration both within one enterprise and between enterprises.
Supported by National Basic Research Program of China (No. 2005CB321904), Shanghai STCSM project (No. 06JC14058) and Shanghai Leading Academic Discipline Project (No. B412).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alonso, G., Kuno, H., Casati, F., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2003)
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–8. ACM Press, New York (2003)
Davies, S., Cowen, L., Giddings, C., Parker, H.: WebSphere Message Broker Basics. IBM International Technical Support Organization (2005)
Devillers, R., Klaudel, H.: Synchronous and asynchronous communications in composable parameterized high-level petri nets. Fundam. Inf. 66(3), 221–257 (2005)
Erl, T.: Service-Oriented Architecture (SOA): Concepts, Technology, and Design. Prentice Hall PTR, Englewood Cliffs (2005)
Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.-M.: The many faces of publish/subscribe. ACM Computing Surveys 35(2), 114–131 (2003)
Fiege, L., Cilia, M., Muhl, G., Buchmann, A.: Publish-subscribe grows up: Support for management, visibility control, and heterogeneity. IEEE Internet Computing 10(1), 48–55 (2006)
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)
Fowler, M.: Patterns of Enterprise Application Architecture. Addison-Wesley, Reading (2002)
Hennessy, M., Riely, J.: Information flow vs. resource access in the asynchronous pi-calculus. ACM Transactions on Programming Languages and Systems 24(5), 566–591 (2002)
Hohpe, G., Woolf, B.: Enterprise Integration Patterns. Addison-Wesley, Reading (2003)
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)
Microsoft Cooperation. Microsoft Biztalk Server (2006), http://www.microsoft.com/technet/prodtechnol/biztalk/2006/default.mspx
Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)
Orava, F., Parrow, J.: An algebraic verification of a mobile network. Journal of Formal Aspects of Computing 4, 497–543 (1992)
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–171 (1997)
Victor, B., Moller, F.: The mobility workbench — a tool for the π-calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818, pp. 428–440. Springer, Heidelberg (1994)
Walker, D.: Pi-calculus semantics of object-oriented programming languages. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol. 526, pp. 532–547. Springer, Heidelberg (1991)
Wang, J., Cao, J., Li, J., Wu, J.: Achieving bounded delay on message delivery in publish/subscribe systems. 0, 407–416 (2006)
Xia, F., Clark, I.: Algorithms for signal and message asynchronous communication mechanisms and their analysis. Fundam. Inf. 50(2), 205–222 (2002)
Zhu, Y., Hu, Y.: An architecture for content-based publish/subscribe services on p2p networks. 00, 427–434 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, Q., Zhu, H., Li, J., He, J. (2008). Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. In: Dumas, M., Heckel, R. (eds) Web Services and Formal Methods. WS-FM 2007. Lecture Notes in Computer Science, vol 4937. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79230-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-79230-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79229-1
Online ISBN: 978-3-540-79230-7
eBook Packages: Computer ScienceComputer Science (R0)