|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems
P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles
Paris, France France
July 18-July 20
ISBN: 978-1-4673-2156-3
| ASCII Text | x | ||
| Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem, "P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 179-188, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, 2012. | |||
| BibTex | x | ||
| @article{ 10.1109/ICECCS.2012.28, author = {Ikbel Krichen and Imen Loulou and Hedi Dhouib and Ahmed Hadj Kacem}, title = {P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {2012}, isbn = {978-1-4673-2156-3}, pages = {179-188}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.28}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Engineering of Complex Computer Systems, IEEE International Conference on TI - P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles SN - 978-1-4673-2156-3 SP179 EP188 A1 - Ikbel Krichen, A1 - Imen Loulou, A1 - Hedi Dhouib, A1 - Ahmed Hadj Kacem, PY - 2012 KW - Semantics KW - Subscriptions KW - Mathematical model KW - Topology KW - Radio access networks KW - Filtering KW - Buildings KW - behavioral aspect KW - p/s-com+ KW - software architecture KW - publish/subscribe style KW - correct by design KW - formal specification VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER - | |||
In this paper we propose P/S-CoM+, a formal approach that helps architects to model correct publish/subscribe architectural styles (PSAS). We extend P/S-CoM formal approach, that focuses on the correct by design of PSAS structure, by behavioral aspect. We specify communication schemas including the state of component types and ensuring no loss of events. We formally model behavioral properties namely delivery semantics, ordering and persistence of notifications. We set up a formal method for composing communication schemas and building correct PSAS. We develop an ECLIPSE plugin P/S-CoM'SD that assists architects in graphically conceiving the desired PSAS. We describe the dynamic behavior of component types by specifying interaction rules. All the specifications are coded in Z notation and proved under Z-Eves theorem prover.
Index Terms:
Semantics,Subscriptions,Mathematical model,Topology,Radio access networks,Filtering,Buildings,behavioral aspect,p/s-com+,software architecture,publish/subscribe style,correct by design,formal specification
Citation:
Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem, "P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles," iceccs, pp.179-188, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, 2012
Usage of this product signifies your acceptance of the Terms of Use.