Paris, France France
July 18, 2012 to July 20, 2012
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.
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
Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem, "P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles", ICECCS, 2012, Engineering of Complex Computer Systems, IEEE International Conference on, Engineering of Complex Computer Systems, IEEE International Conference on 2012, pp. 179-188, doi:10.1109/ICECCS.2012.28