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
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.