P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration

Journal of Systems and Software

Volumn 83, Issue 3, 2010, Pages 412-428

  Loulou, Imen ^a   Jmaiel, Mohamed ^a   Drira, Khalil ^b,c   Kacem, Ahmed Hadj ^a  

^a UNIVERSITY OF SFAX   (Tunisia)

^b LAAS CNRS   (France)

^c INSA   (France)

Author keywords

Event based communication; Formal specification; Graph rewriting; Publish Subscribe style; Reconfiguration modeling; Software architecture

Indexed keywords

EVENT-BASED; EVENT-BASED COMMUNICATION; FORMAL SPECIFICATION; GRAPH REWRITING; MODELING SOFTWARES; PUBLISH/SUBSCRIBE;

ARCHITECTURE; COMPUTER SOFTWARE; INFORMATION DISSEMINATION; SPECIFICATIONS;

SOFTWARE ARCHITECTURE;

EID: 75549088607     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2009.09.031     Document Type: Article

References (36)

1. Abowd G.D., Allen R., and Garlan D. Formalizing style to understand descriptions of software architecture. ACM Trans. Softw. Eng. Methodol. 4 4 (1995) 319-364
2. Aldini A., and Bernardo M. On the usability of process algebra: an architectural view. Theor. Comput. Sci. 335 2-3 (2005) 281-329
3. Allen, R., Douence, R., Garlan, D., 1998. Specifying and analyzing dynamic software architectures. In: FASE, pp. 21-37.
4. Allen R., and Garlan D. A formal basis for architectural connection. ACM Trans. Software Eng. Methodol. 6 3 (1997) 213-249
5. Baldoni R., Scipioni S., and Tucci-Piergiovanni S. Communication channel management for maintenance of strong overlay connectivity. ISCC '06: Proceedings of the 11th IEEE Symposium on Computers and Communications (2006), IEEE Computer Society, Washington, DC, USA 63-68
6. Baresi, L., Ghezzi, C., Zanolin, L., 2005. Modeling and validation of publish/subscribe architectures. In: Beydeda, S., Gruhn, V. (Eds.), Testing Commercial off the Shelf Components And Systems, pp. 273-292.
7. Carzaniga A., Rosenblum D.S., and Wolf A.L. Design and evaluation of a wide-area event notification service. ACM Trans. Comput. Syst. 19 3 (2001) 332-383
8. Cheng S.-W., Garlan D., and Schmerl B. Making self-adaptation an engineering reality. Proceedings of the Conference on Self-Star Properties in Complex Information Systems. LNCS Vol. 3460 (2005), Springer-Verlag 158-173
9. Cheng S.-W., Garlan D., Schmerl B.R., Sousa J.P., Spitnagel B., and Steenkiste P. Using architectural style as a basis for system self-repair. WICSA 3: Proceedings of the IFIP 17th World Computer Congress - TC2 Stream/ 3rd IEEE/IFIP Conference on Software Architecture (2002), Kluwer B.V., Deventer, The Netherlands 45-59
10. Cugola G., Di Nitto E., and Fuggetta A. The JEDI event-based infrastructure and its application to the development of the OPSS WFMS. IEEE Trans. Softw. Eng. 27 9 (2001) 827-850
11. Cugola G., Frey D., Murphy A.L., and Picco G.P. Minimizing the reconfiguration overhead in content-based publish-subscribe. SAC '04: Proceedings of the 2004 ACM symposium on Applied computing (2004), ACM Press, New York, NY, USA 1134-1140
12. de Paula, V.C.C., Ribeiro-Justo, G.R., Cunha, P.R.F., 2000. Specifying and verifying reconfigurable software architectures. In: PDSE '00: Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, pp. 21-31.
13. Dean T.R., and Cordy J.R. A syntactic theory of software architecture. IEEE Trans. Softw. Eng. 21 4 (1995) 302-313
14. Eugster P.T., Felber P.A., Guerraoui R., and Kermarrec A.-M. The many faces of publish/subscribe. ACM Comput. Surv. 35 2 (2003) 114-131
15. Fenkam, P., Gall, H., Jazayeri, M., October 2003. A systematic approach to the development of event based applications. In: The 22nd Symposium on Reliable Distributed Systems (SRDS 2003), Florence, Italy, pp. 199-208.
16. Garlan D., Monroe R.T., and Wile D. Acme: architectural description of component-based systems. In: Leavens G.T., and Sitaraman M. (Eds). Foundations of Component-based Systems (2000), Cambridge University Press 47-68
17. Guennoun K., Drira K., Wambeke N.V., Chassot C., Armando F., and Exposito E. A framework of models for qos-oriented adaptive deployment of multi-layer communication services in group cooperative activities. Comput. Commun. 31 13 (2008) 3003-3017
18. Hirsch D., Inverardi, and Montanari U. Modeling software architectures and styles with graph grammars and constraint solving. In: Donohoe P. (Ed). First Working IFIP Conference on Software Architecture (1999), Kluwer Academic Publishers, San Antonio, TX 127-142 February
19. Jaeger M.A., Mühl G., Werner M., and Parzyjegla H. Reconfiguring self-stabilizing publish/subscribe systems. In: State R., van Meer S., O'Sullivan D., and Pfeifer T. (Eds). 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2006). LNCS vol. 4269 (2006), Springer, Dublin, Ireland 233-238 October
20. Kacem M.H., Jmaiel M., Kacem A.H., and Drira K. An uml-based approach for validation of software architecture descriptions. In: Draheim D., and Weber G. (Eds). 2nd International conference on Trends in Enterprise Application Architecture (TEAA 2006). Lecture Notes in Computer Science vol. 4473 (2006), Springer-Verlag, Berlin 158-171
21. Keeney J., Lewis D., and OSullivan D. Ontological semantics for distributing contextual knowledge in highly distributed autonomic systems. J. Network Syst. Manage. 15 1 (2007) 75-86 March
22. Luckham D.C., Kenney J.L., Augustin L.M., Vera J., Bryan D., and Mann W. Specification and analysis of system architecture using Rapide. IEEE Trans. Softw. Eng. 21 4 (1995) 336-355
23. Mahambre, S.P., Madhu Kumar, S.D., Bellur, U., July-August 2007. A taxonomy of qos aware, adaptive event-dissemination middlewatre. IEEE Internet Computing 11 (4), 35-44.
24. Meier, R., Cahill, V., 2002. Taxonomy of distributed event-based programming systems. In: Bacon, J., Fiege, L., Guerraoui, R., Jacobsen, A., Mühl, G. (Eds.), Proceedings of the 1st International Workshop on Distributed Event-based Systems (DEBS'02).
25. Métayer D.L. Describing software architecture styles using graph grammars. IEEE Trans. Softw. Eng. 24 7 (1998) 521-533
26. Moriconi M., Qian X., and Riemenschneider R.A. Correct architecture refinement. IEEE Trans. Softw. Eng. 21 4 (1995) 356-372
27. Oquendo F. π-Method: a model-driven formal method for architecture-centric software engineering. ACM SIGSOFT Softw. Eng. Notes 31 3 (2006) 1-13
28. Parzyjegla H., Muhl G.G., and Jaeger M.A. Reconfiguring publish/subscribe overlay topologies. ICDCSW '06: Proceedings of the 26th IEEE International Conference Workshops on Distributed Computing Systems (2006), IEEE Computer Society, Washington, DC, USA 29
29. Pietzuch P.R., and Bacon J. Hermes: a distributed event-based middleware architecture. International Conference on Distributed Computing Systems, Workshops (ICDCSW '02) (2002), IEEE Computer Society, Vienna, Austria 611-618 July
30. Pietzuch, P.R., Mühl, G., Fiege, L., 2007. Distributed event-based systems: An emerging community. IEEE Distributed Systems Online (DSOnline) 8 (2), 2.
31. Polyzos G.C., Ververidis C.N., and Efstathiou E.C. Service discovery and provision for autonomic mobile computing. WAC. Lecture Notes in Computer Science vol. 3854 (2005), Springer 222-236
32. Shaw M., and Garlan D. Software Architecture: Perspectives on an Emerging Discipline (1996), Prentice-Hall
33. Spivey J.M. The Z Notation: A Reference Manual (1989), Prentice-Hall Inc., Upper Saddle River, NJ, USA
34. Valetto G., Goix L., and Delaire G. Towards service awareness and autonomic features in a sip-enabled network. WAC. Lecture Notes in Computer Science vol. 3854 (2005), Springer 202-213
35. Wermelinger M., and Fiadeiro J.L. Algebraic software architecture reconfiguration. SIGSOFT Softw. Eng. Notes 24 6 (1999) 393-409
36. Zieba B., and van Sinderen M. Preservation of correctness during system reconfiguration in data distribution service for real-time systems (dds). ICDCSW '06: Proceedings of the 26th IEEE International Conference Workshops on Distributed Computing Systems (2006), IEEE Computer Society, Washington, DC, USA 30