Using ATL for transformations in software performance engineering: A step ahead of java-based transformations?

WOSP'08: Proceedings of the 7th International Workshop on Software and Performance 2008

Volumn , Issue , 2008, Pages 127-131

  Cortellessa, Vittorio ^a   Di Gregorio, Sara ^a   Di Marco, Antinisca ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

ATLAS Transformation Language (ATL); Model Transformation; Software Performance Modeling; Unified Modeling Language (UML)

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; LINGUISTICS; QUERY LANGUAGES; QUEUEING NETWORKS; TECHNICAL PRESENTATIONS; UNIFIED MODELING LANGUAGE;

ATLAS TRANSFORMATION LANGUAGE (ATL); ATLAS TRANSFORMATION LANGUAGES; FUNCTIONAL MODELS; GENERAL PURPOSE PROGRAMMINGS; MODEL TRANSFORMATION; MODEL TRANSFORMATIONS; QUEUEING NETWORK MODELS; RAPID EVOLUTIONS; SOFTWARE ARTIFACTS; SOFTWARE MODELS; SOFTWARE PERFORMANCE ENGINEERINGS; SOFTWARE PERFORMANCE MODELING; SOFTWARE VALIDATIONS; UML DIAGRAMS; UML MODELS; UNIFIED MODELING LANGUAGE (UML);

JAVA PROGRAMMING LANGUAGE;

EID: 57349159344     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1383559.1383575     Document Type: Conference Paper

References (19)

1. A. Di Marco, P. Inverardi, Compositional Generation of Software Architecture Performance QN Models, Proc. of WICSA 2004, pp. 37-46, 2004.
2. S. Balsamo, A. Di Marco, P. Inverardi, M. Simeoni, Model-based Performance Prediction in Software Development: A Survey, IEEE TSE, 30(5):295-310, 2004.
3. M. Bordin, T. Vardanega. Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel- Driven Approach, Proc. of Ada-Europe 2007, LNCS 4498, pp. 114-127.
4. P.P. Campegiani. Tecniche model-driven per la deriva-zione automatica di modelli prestazionali (in Italian). Tech. Rep. University of Roma TorVergata, 2005.
5. V. Cortellessa, A. Di Marco, P. Inverardi. Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. Proc. of FASE 2007, pp. 57-71.
6. V. Cortellessa, M. Gentile, and M. Pizzuti. XPRIT: An XML-based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks (Tool Paper), in Proc. of 1st QEST. 2004. Enschede, NL.
7. S. di Gregorio, Transformations of UML Architectural Models into Performance Models based on ATLAS Transformation Language, Master Thesis, L'Aquila University, 2007. www.di.univaq.it/cortelle/docs/Sarathesis.pdf.
8. V. Grassi, R. Mirandola, A. Sabetta, >From Design to Analysis Models: a Kernel Language for Performance and Reliability Analysis of Component-based Systems, in Proc. of WOSP05, Spain, July 2005, pp. 25-36.
9. Petriu, D.C., Wang, X., From UML Description of High-Level Software Architecture to LQN performance models, Proc. of AGTIVÉ99, LNCS 1779, pp.47-62.
10. D.C. Petriu, H. Shen, Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications, TOOLS 2002, LNCS 2324, pp. 159-177.
11. A. Sabetta, D.C. Petriu, V. Grassi, R. Mirandola, Abstraction-Raising Transformation for Generating Analysis Models, MoDELS 2005 Workshops, LNCS 3844, pp. 217-226.
12. Schurr, A., Programmed Graph Replacement Systems, Handbook of Graph Grammars and Computing by Graph Transformation, pp.479-546, 1997.
13. C.U. Smith, CM. Lladó. Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation. Proc. of QEST 2004, pp. 38-47, 2004.
14. C. Smith, L. Williams More New Software Performance AntiPatterns: Even More Ways to Shoot Yourself in the Foot, Proc. of CMG 2003.
15. OMG, Unified Modeling Language: Superstructure Version, ptc/2006-04-02.
16. OMG, UML Profile for Schedulability, Performance and Time, formal/05-01-02.
17. www.sciences.univ-nantes.fr/lina/atl/atldemo/adt/
18. http://dev.eclipse.org/viewcvs/indextools.cgi/org.eclipse.uml2/plugins/ org.eclipse.uml2/model/
19. http://sealabtools.di.univaq.it/SeaLab/