Towards weaving software architecture models

Proc. - Joint Meeting of the 4th Workshop on Model-Based Dev. of Computer-Based Systems and the 3rd Int. Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MBD/MOMPES 2006

Volumn , Issue , 2006, Pages 103-112

  Di Ruscio, Davide ^a   Muccini, Henry ^a   Pierantonio, Alfonso ^a   Pelliccione, Patrizio ^b  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SOFTWARE; SOFTWARE ARCHITECTURE; SOFTWARE DESIGN; WEAVING;

ANALYSIS TECHNIQUES; ARCHITECTURAL LEVELS; ARCHITECTURAL MODELING; CONCEPTUAL FRAMEWORKS; DIFFERENT ANALYSIS TECHNIQUES; MODEL DRIVEN ARCHITECTURES; MODEL DRIVEN DEVELOPMENT; SOFTWARE ARCHITECTURE MODEL;

TEXTILE INDUSTRY;

EID: 84886565331     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MBD-MOMPES.2006.24     Document Type: Conference Paper

References (33)

1. xArch. http://www. isr. uci. edu/architecture/xarch/.
2. Acme. http://www-2. cs. cmu. edu/?acme/, Since: 1998. Carnegie Mellon University.
3. M. Anlauff. XASM-An Extensible, Component-Based Abstract State Machines Language. In Abstract State Machines: Theory and Applications, volume 1912 of LNCS, pages 69-90. Springer, 2000.
4. J. Bézivin. On the Unification Power of Models. J. Software and Systems Modeling, 4(2):171-188, 2005.
5. J. Bézivin, G. Dupé, F. Jouault, G. Pitette, and J. Rougui. First Experiments with the ATL model transformation language: Transforming XSLT into XQuery. In 2nd OOPSLA W. Generative Techniques in the context of MDA, 2003.
6. E. Börger. High Level System Design and Analysis using Abstract State Machines. In FM-Trends 98, Current Trends in Applied Formal Methods, volume 1641 of LNCS, pages 1-43. Springer, 1999.
7. M. Caporuscio, D. D. Ruscio, P. Inverardi, P. Pelliccione, and A. Pierantonio. Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications. In EWSA '05, volume 3527 of LNCS, pages 475-490. Springer, 2005.
8. G. Csertán, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza, and D. Varró. VIATRA-visual automated transformations for formal verification and validation of UML models. In ASE, pages 267-270, 2002.
9. K. Czarnecki and S. Helsen. Classification of Model Transformation Approaches. In OOPSLA'03 Workshop on the Generative Techniques in the Context Of Model-Driven Architecture, 2003.
10. M. D. Fabro, J. Bezivin, F. Jouault, E. Breton, and G. Gueltas. AMW: A generic Model Weaver. In Int. Conf. on Software Engineering Research and Practice (SERP05), 2005.
11. M. D. D. Fabro, J. Bézivin, F. Jouault, E. Breton, and G. Gueltas. AMW: a Generic Model Weaver. In IDM05, 2005.
12. J. B. Goodenough. Exception handling: issues and a proposed notation. Commun. ACM, 18(12):683-696, 1975.
13. J. H. Hausmann and S. Kent. Visualizing model mappings in UML. In SoftVis '03: ACM symposium on Software visualization, pages 169-178. ACM Press, 2003.
14. P. Inverardi, H. Muccini, and P. Pelliccione. DUALLY: Putting in Synergy UML 2. 0 and ADLs. In 5th IEEE/IFIP Working Conference on Software Architecture (WICSA 2005). Pittsburgh, PA, 6-9 November 2005.
15. J. Ivers, P. Clements, D. Garlan, R. Nord, B. Schmerl, and J. R. O. Silva. Documenting Component and Connector Views with UML 2. 0. Technical Report CMU/SEI-2004-TR-008, Carnegie Mellon University, Software Engineering Institute, 2004.
16. P. Lee and T. Anderson. Fault Tolerance: Principles and Practice, Second Edition. Prentice-Hall, 1990.
17. N. Medvidovic, D. S. Rosenblum, D. F. Redmiles, and J. E. Robbins. Modeling Software Architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology (TOSEM), 11(1), January 2002.
18. N. Medvidovic and R. N. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering, 26(1), January 2000.
19. S. Melnik, E. Rahm, and P. Bernstein. Rondo: a programming platform for generic model management. In Int. Conf. on Management of Data, pages 193-204. ACM Press, 2003.
20. T. Mens and P. V. Gorp. A taxonomy of model transformation. In Int. Workshop on Graph and Model Transformation (GraMoT), 2005.
21. Object Management Group. MOF 2. 0 Query/View/Transformation RFP, 2002. OMG document ad/02-04-10.
22. Object Management Group (OMG). OMG/Model Driven Architecture-A Technical Perspective, 2001. OMG Document: ormsc/01-07-01.
23. T. Pender. UML Bible, chapter Part V: Modeling the Application Architecture, page 940. Wiley Pub., 2003.
24. T. Reiter, E. Kapsammer, W. Retschitzegger, and W. Schwinger. Model Integration Through Mega Operations. 2005. accepted for publication at the Workshop on Model-driven Web Engineering (MDWE2005).
25. S. Roh, K. Kim, and T. Jeon. Architecture Modeling Language based on UML2. 0. In Proocedings of the 11th Asia-Pacific Software Engineering Conference (APSEC'04), 2004.
26. C. M. F. Rubira, R. de Lemos, G. R. M. Ferreira, and F. C. Filho. Exception handling in the development of dependable component-based systems. Softw. Pract. Exper., 35(3):195-236, 2005.
27. D. D. Ruscio and A. Pierantonio. Model Transformations in the Development of Data-Intensive Web Applications. In CAISE '05, volume 3520 of LNCS, pages 475-490. Springer, 2005.
28. B. Schätz, P. Braun, F. Huber, and A. K. Wißpeintner. Checking and transforming models with AutoFOCUS. In 12th IEEE Int. Conf. and Workshops on the Engineering of Computer-Based Systems (ECBS'05), pages 307-314, 2005.
29. A. Schürr, A. Winter, and A. Zündorf. Handbook on Graph Grammars and Graph Transformation. World Scientific, 1999.
30. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs, 1996.
31. J. Sprinkle, A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai. Domain model translation using graph transformations. In 10th IEEE Int. Conf. and Workshop on the Engineering of Computer-Based Systems, pages 159-168, 2003.
32. G. Taentzer. Agg: A graph transformation environment for modeling and validation of software. In AGTIVE 2003, volume 3062, pages 446-453. LNCS, 2004.
33. L. Tratt. Model transformations and tool integration. J. of Software and Systems Modelling, 4(2):112-122, May 2005.