FORMAL MODELING OF BEHAVIORAL PROPERTIES TO SUPPORT CORRECT BY DESIGN PUBLISH/SUBSCRIBE ARCHITECTURAL STYLES

Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem

Abstract

We propose in this paper a formal modeling approach of behavioral properties of publish/subscribe architectural styles. We extend P/S-CoM formal approach that concentrates only on correctly design the structures of publish/subscribe styles and deals with dynamic views. We put the emphasis on the state notion for component types. Moreover, we focus on behavioral properties including lossless of exchanged events, delivery semantics and ordering of notifications. These properties are coded in Z notation.

References

  1. Baldoni, R., Contenti, M., Piergiovanni, S. T., and Virgillito, A. (2003). Modelling publish/subscribe communication systems: Towards a formal approach. Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on, 0:304.
  2. Eugster, P. T., Felber, P. A., Guerraoui, R., and Kermarrec, A.-M. (2003). The many faces of publish/subscribe. ACM Computing Surveys, 35(2):114-131.
  3. Loulou, I., Jmaiel, M., Drira, K., and Kacem, A. H. (2010). P/S-CoM: Building correct by design publish/ subscribe architectural styles with safe reconfiguration. Journal of Systems and Software, 83(3):412-428.
  4. Mahambre, S. P., Kumar S.D., M., and Bellur, U. (2007). A taxonomy of qos-aware, adaptive event-dissemination middleware. IEEE Internet Computing, 11(4):35-44.
  5. OMG (2007). Data distribution service for real-time systems, version 1.2, 2007. http://www.omg.org/spec/ DDS/1.2/PDF/.
  6. Woodcock, J. and Davies, J. (1996). Using Z: Specification, Refinement, and Proof. Prentice-Hall, Inc., Upper Saddle River, NJ, USA.
Download


Paper Citation


in Harvard Style

Krichen I., Loulou I. and Hadj Kacem A. (2011). FORMAL MODELING OF BEHAVIORAL PROPERTIES TO SUPPORT CORRECT BY DESIGN PUBLISH/SUBSCRIBE ARCHITECTURAL STYLES . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 286-289. DOI: 10.5220/0003495402860289


in Bibtex Style

@conference{icsoft11,
author={Ikbel Krichen and Imen Loulou and Ahmed Hadj Kacem},
title={FORMAL MODELING OF BEHAVIORAL PROPERTIES TO SUPPORT CORRECT BY DESIGN PUBLISH/SUBSCRIBE ARCHITECTURAL STYLES},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={286-289},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003495402860289},
isbn={978-989-8425-77-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - FORMAL MODELING OF BEHAVIORAL PROPERTIES TO SUPPORT CORRECT BY DESIGN PUBLISH/SUBSCRIBE ARCHITECTURAL STYLES
SN - 978-989-8425-77-5
AU - Krichen I.
AU - Loulou I.
AU - Hadj Kacem A.
PY - 2011
SP - 286
EP - 289
DO - 10.5220/0003495402860289