Towards a UML profile for the description of dynamic software architectures

Proceedings of the Conference on Component-Oriented Enterprise Applications, COEA 2005

Volumn , Issue , 2005, Pages 25-39

  Kacem, Mohamed Hadj ^a   Miladi, Mohamed Nadhmi ^a   Jmaiel, Mohamed ^a   Kacem, Ahmed Hadj ^a   Drira, Khalil ^b  

^a UNIVERSITY OF SFAX   (Tunisia)

^b LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL CONSTRAINTS; ARCHITECTURAL STYLE; COMPONENT-BASED SOFTWARE ARCHITECTURE; DYNAMIC ASPECTS; DYNAMIC SOFTWARE ARCHITECTURE; GRAPH TRANSFORMATION RULES; UML PROFILES; UNIFIED APPROACH; VISUAL NOTATIONS;

INDUSTRY;

SOFTWARE ARCHITECTURE;

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

References (29)

1. Wermelinger, M.: Specification of software architecture reconfiguration. Phd thesis, Université Nova de Lisbon (1999)
2. Baresi, L., Heckel, R., Thone, S., Varro, D.: Style-based refinement of dynamic software architectures. In: WICSA04: The 4th Working International IEEE/IFIP Conference on Software Architecture, Oslo, Norway, IEEE Computer Society (2004) 155-164
3. Rasche, A., Poize, A.: Configuration and dynamic reconfiguration of component-based applications with microsoft .NET. In: ISORC'03: The 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Washington, DC, USA, IEEE Computer Society (2003) 164
4. Oriol, M., Serugendo, G.D.M.: Disconnected service architecture for unanticipated run-time evolution of code. IEE Proceedings - Software 151 (2004) 95-108
5. Chaudet, C, Greenwood, R.M., Oquendo, F., Warboys, B.: Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems. IEE Proceedings - Software 147 (2000) 203-214
6. Roh, S., Kim, K., Jeon, T.: Architecture modeling language based on UML2.0. In: APSEC, The 11th Asia-Pacific Software Engineering Conference, IEEE Computer Society (2004) 663-669
7. OMG: UML 2.0 superstructure specification, final adopted specification. Omg document (2003)
8. Akehurst, D., Patrascoiu, O.: OCL 2.0 - implementing the standard for multiple metamodels. Uml 2003 preliminary version, technical report, Computing Laboratory, University of Kent, Canterbury, UK (2003)
9. OMG: The unified modelling language 2.0 - object constraint language 2.0 proposal. OMG document, url: http://www.omg.org (2003)
10. Metayer, D.L.: Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering 24 (1998) 521-533
11. Hadj Kacem, M., Jmaiel, M., Hadj Kacem, A., Drira, K.: Evaluation and comparison of ADL based approaches for the description of dynamic of software architectures. In: ICEIS'05: The 7th International Conference on Enterprise Information Systems, Miami, USA, INSTICC Press (2005)
12. Medvidovic, N., Taylor, R.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26 (2000) 70-93
13. Ermel, C, Bardohl, R., Padberg, J.: Visual design of software architecture and evolution based on graph transformation. Electronic Notes in Theoretical Computer Science 44 (2001)
14. Magee, J., Dulay, N., Kramer, J.: Structuring parallel and distributed programs. IEEE Software Engineering Journal 8 (1993) 73-82
15. Bellissard, L., Atallah, S.B., Kerbrat, A., Riveill, M.: Component-based programming and application management with Olan. In: OBPDC'95: Object-Based Parallel and Distributed Computation. (1995) 290-309
16. Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. (In: Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98)) 21-37
17. Heckel, R., Cherchago, A., Lohmann, M.: A formal approach to service specification and matching based on graph transformation. Electronic Notes in Theoretical Computer Science 105 (2004) 37-49
18. Ziemann, P., Holscher, K., Gogolla, M.: From UML models to graph transformation systems. Electronic Notes in Theoretical Computer Science 127 (2005) 17-33
19. Hilderink, G.H.: Graphical modelling language for specifying concurrency based on CSP. IEE Proceedings - Software 150 (2003) 108-120
20. Salaiin, G., Allemand, M., Attiogbé;, C: A method to combine any process algebra with an algebraic specification language: the p-calculus example. In: COMPSAC '02: Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment, Washington, DC, USA, IEEE Computer Society (2002) 385-392
21. de Paula, V.C.C., Ribeiro-Justo, G.R., Cunha, P.R.F.: Specifying and verifying reconfigurable software architectures. In: PDSE. (2000) 21-31
22. Aguirre, N., Maibaum, T.: Formal design and development of a corba-based application for cooperative HTML group editing support. Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems 108 (2004) 69-81
23. Loulou, I., Hadj Kacem, A., Jmaiel, M., Drira, K.: Towards a unified graph-based framework for dynamic component-based architectures description in Z. In: ICPS'04: The IEEE/ACS International Conference on Pervasive Services, IEEE Computer Society (2004) 227-234
24. Kande, M.M., Strohmeier, A.: Towards a UML profile for software architecture descriptions. In: UML 2000 - The Unified Modeling Language. Advancing the Standard. 3th International Conference, York, UK. Volume 1939 of LNCS., Springer (2000) 513-527
25. Perez-Martinez, J.E.: Heavyweight extensions to the uml metamodel to describe the c3 architectural style. SIGSOFT Software Engineering Notes 28 (2003) 5-5
26. Selonen, P., Xu, J.: Validating UML models against architectural profiles. SIGSOFT Software Engineering Notes 28 (2003) 58-67
27. Medvidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling software architectures in the unified modeling language. ACM Transactions on Software Engineering and Methodology 11 (2002) 2-57
28. Bordbar, B., Giacomini, L., Holding, D.: Uml and petri nets for design and analysis of distibuted systems. In: The 2000 IEEE International Conference on Control Applications, Alaska, USA (2000) 610-615
29. Hadj Kacem, M., Jmaiel, M., Hadj Kacem, A., Drira, K.: Using UML2.0 and GG for describing the dynamic of software architectures. In: ICITA'05, The 3th International Conference on Information Technology for Application, Sydney, Australia, IEEE Computer Society (2005)