Towards a unified graph-based framework for dynamic component-based architectures description in Z

Proceedings - The IEEE/ACS International Conference on Pervasive Services, ICPS2004

Volumn , Issue , 2004, Pages 227-234

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

^a UNIVERSITY OF SFAX   (Tunisia)

^b LAAS CNRS   (France)

Author keywords

Architectural style; Component based applications; Dynamic architecture; Formal specification; Graph rewriting; Software architecture

Indexed keywords

COMPUTER SOFTWARE; FORMAL LOGIC; GRAPH THEORY; LARGE SCALE SYSTEMS; MAPPING; MATHEMATICAL MODELS; SET THEORY; SPECIFICATIONS; TOPOLOGY;

ARCHITECTURAL STYLE; COMPONENT-BASED APPLICATIONS; DYNAMIC ARCHITECTURE; FORMAL SPECIFICATIONS; GRAPH REWRITING; SOFTWARE ARCHITECTURE;

COMPUTER ARCHITECTURE;

EID: 10444261891     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. J. Dulay, N. Kramer, and J. Magee. Structuring parallel and distributed programs. IEEE Software Engineering Journal, 8(2):73-82, Mars 1993.
2. D. C. Luckham and J. Vera. An event-based architecture definition language. IEEE transactions on Software Engineering, 21(9):717-734, Septembre 1995.
3. Guide to the Rapide 1.0 Language Reference Manuals. Rapide Design Team Program Analysis and Verification Group Computer Systems Lab Stanford University, 1997.
4. R. Allen, R. Douence, and D. Garlan. Specifying and analysing dynamic software architectures. Journal of Fundamental Approaches to Software Engineering, 1382:21-37, 1998.
5. C. Canal, E. Pimentel, and J.M. Troya. Specification and refinement of dynamic software architectures. Journal of Software Architecture, pages 107-125, Avril 1999.
6. N. Aguirre and T. Maibaum. A temporal logic approach to component-based system specification and reasoning. In 5th ICSE Workshop on component-based software engineering, Orlando, Florida, USA, Avril 2002.
7. Gregory D. Abowd, Robert Allen, and David Garlan. Formalizing style to understand descriptions of software architecture. ACM Transactions on Software Engineering and Methodology, 4(4):319-364, 1995.
8. D. Le Métayer. Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering, 24(7):521-553, Juillet 1998.
9. J. R. Abrial. Programming as a mathematical exercise. In C.A.R. Hoare, editor, Mathematical Logic and Programming Languages. Prentice-Hall International, 1985.
10. Z/eves. http://www.ora.on.ca/Z-eves.
11. Kolyang, T. Santen, and B. Wolff. A structure preserving encoding of z in isabelle/hol. In J. von Wright, J. Grundy, and J. Harrison, editors, Theorem Proving in Higher Order Logics - 9th International Conference, LNCS 1125, pages 283-298. Springer Verlag, 1996.
12. Appligraph. applications of graph transformations. Technical Report 22565, Hans-jörg Kreowski and Detlef plump editors, Mai 2001.
13. M. A. Wermelinger. Specification of software architecture reconfiguration. PhD thesis, Université Nova de Lisbon, Septembre 1999.
14. S. M. Kaplan, J. P. Loyall, and S. K. Goering. Specifying concurrent languages and systems with δgrammars. Research Directions in Concurrent Object-Oriented Programming, 1993.
15. I. Warren and I. Sommerville. Dynamic configuration abstraction. In W. Schäfer and P. Botella, editors, Proceedings of the Fifth European Software Engineering Conference, pages 173-190. Springer-Verlag, 1995.