TY - GEN
T1 - Scalable formalization of publish/subscribe messaging scheme based on message brokers
AU - Li, Qin
AU - Zhu, Huibiao
AU - Li, Jing
AU - He, Jifeng
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/43149099486
U2 - 10.1007/978-3-540-79230-7_5
DO - 10.1007/978-3-540-79230-7_5
M3 - 会议稿件
AN - SCOPUS:43149099486
SN - 3540792295
SN - 9783540792291
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 61
EP - 76
BT - Web Services and Formal Methods - 4th International Workshop, WS-FM 2007, Proceedings
T2 - 4th International Workshop on Web Services and Formal Methods, WS-FM 2007
Y2 - 28 September 2007 through 29 September 2007
ER -