ON GENERATING TILE SYSTEM FOR A SOFTWARE ARCHITECTURE CASE OF A COLLABORATIVE APPLICATION SESSION

C. Bouanaka, A. Choutri, F. Belala

2007

Abstract

Tile logic, an extension of rewriting logic, where synchronization, coordination and interaction can be naturally expressed, is showed to be an appropriate formal semantic framework for software architecture specification. Based on this logic, we define a notion of dynamic connection between software components. Then, individual components are viewed as entirely independent elements and free from any static interconnection constraints. We also fill out the usual component description, expressed in terms of Provided/Required services, with functionalities specification of such services. Starting from State/Transition UML diagrams, representing requirements of the underlying distributed system, our objective consists of offering a common semantic framework for architectural description as well as behavioural specification of that system. Direct consequences of the proposed approach are dynamic reconfiguration and components mobility which become straightforward aspects. A simple, but comprehensive, case study, the collaborative application session, is used to illustrate all stages of our proposed approach.

References

  1. R., Allen, 1997. “A Formal Approach to Software Architecture.” PhD Thesis, Carnegie Mellon University, CMU Technical Report CMU-CS-97-144.
  2. C. Braga1, A. Sztajnberg, 2003, "Towards a Rewriting Semantics for a Software Architecture Description Language", in: A. Cavalcanti and P. Machado, editors, Proceedings of WMF 2003, 6th Workshop on Formal Methods, Campina Grande, Brazil, Electronic Notes in Theoretical Computer Science 95, p.148-168.
  3. R., Bruni, 1999. “Tile Logic for Synchronized Rewriting of Concurrent Systems”, Phd Thesis, University of Pisa, TD-1/99.
  4. R., Bruni,, J., Meseguer, U., Montanari, 2003. “Tiling Transactions in Rewriting Logic”, in ENTC, Vol. 71, 20 pp. 20-35.
  5. R., Bruni, J. L., Fiadeiro, I., Lanese, A., Lopes, U., Montanari, 2004. “New Insight into the Algebraic Properties of Architectural Connectors”, IFIP TCS, pp. 367-380.
  6. M. Clavel, F. Duran, S. Eker, N. Marti-Oliet, P. Lincoln, J. Meseguer, and J. Quesada, 1999. Maude: Specification and Programming in Rewriting Logic. SRI International, http://maude.csl.sri.com, January 1999.
  7. M., Clavel, F., Duran, S., Eker, N., Marti-Oliet, P., Lincoln, J., Meseguer, C. Talcott, 2003. “Maude 2”, SRI International and University of Illinois at Urbanachampaign, http://maude.cs.uiuc.edu.
  8. G. L, Ferrari, U., Montanari, 2000. “Tile Formats for Located and Mobile Systems”, Informatica and.Computing, Vol.156, pp. 173-235.
  9. F., Gadducci, U. Montanari, 1997. “The Tile Model”, in: G. Plotkin, C. Stirling, and M. Tofte, Eds, Proof, Language and interaction: essays in honour of Robin Milner, MIT Press, to appear.
  10. D. C., Luckham, J. J., Kenny, L. M., Augustin, J., Vera, D., Bryan, W., Mann, 1995. “ Specification and Analysis of system Architecture Using Rapide.” IEEE Transactions on Software Engineering, vol. 21, no. 4, pp. 336-355.
  11. J., Magee, N., Dualy, S., Eisonbach, J., Kramer, 1995. “Specifying Distributed Software Architectures.”, In Proceedings of the Fifth Symposium on the Foundations of Software Engineering (FSE4).
  12. K., Megzari, 2004. “R EFINER: Environnement logiciel pour le raffinement d'architectures logicielles fondé sur une logique de réécriture.”, Thèse de doctorat en Informatique. Université Savoie.
  13. J., Meseguer, 1992. “Conditional Rewriting Logic as a unified model of concurrency”, Theoretical Computer Science, pp.73-155.
  14. J. M., Molina Espinosa, 2003. “Modèles et services pour la coordination des sessions coopératives multiapplications: application à l'ingénierie systèmes distribués”, Thèse de doctorat en Informatique et télécommunications, LAAS of CNRS, Toulouse.
Download


Paper Citation


in Harvard Style

Bouanaka C., Choutri A. and Belala F. (2007). ON GENERATING TILE SYSTEM FOR A SOFTWARE ARCHITECTURE CASE OF A COLLABORATIVE APPLICATION SESSION . In Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8111-06-7, pages 123-128. DOI: 10.5220/0001337701230128


in Bibtex Style

@conference{icsoft07,
author={C. Bouanaka and A. Choutri and F. Belala},
title={ON GENERATING TILE SYSTEM FOR A SOFTWARE ARCHITECTURE CASE OF A COLLABORATIVE APPLICATION SESSION},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2007},
pages={123-128},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001337701230128},
isbn={978-989-8111-06-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - ON GENERATING TILE SYSTEM FOR A SOFTWARE ARCHITECTURE CASE OF A COLLABORATIVE APPLICATION SESSION
SN - 978-989-8111-06-7
AU - Bouanaka C.
AU - Choutri A.
AU - Belala F.
PY - 2007
SP - 123
EP - 128
DO - 10.5220/0001337701230128