Abstraction-raising transformation for generating analysis models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3844 LNCS, Issue , 2006, Pages 217-226

  Sabetta, Antonino ^a   Petriu, Dorina C ^b   Grassi, Vincenzo ^a   Mirandola, Raffaela ^a  

^a UNIVERSITY OF ROME TOR VERGATA   (Italy)

^b CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; FORMAL LOGIC; MATHEMATICAL MODELS; PETRI NETS; QUEUEING NETWORKS; SEMANTICS;

ABSTRACTION-RAISING TRANSFORMATION; ANALYSIS MODELS; SEMANTIC GAP; TARGET MODEL;

SOFTWARE ENGINEERING;

EID: 33745655868     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11663430_23     Document Type: Conference Paper

References (17)

1. Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M., "Model-based performance prediction in software development: a survey" IEEE Transactions on Software Engineering, Vol 30, N.5, pp.295-310, May 2004.
2. S. Bernardi, S. Donatelli, and J. Merseguer, "From UML sequence diagrams and state-charts to analysable Pétri net models," in Proc. of 3rd Int. Workshop on Software and Performance (WOSP02), Rome, July 2002, pp. 35-45.
3. C. Cavenet, S. Gilmore, J. Hillston, L. Kloul, and P. Stevens, "Analysing UML 2.0 activity diagrams in the software performance engineering process," in Proc. 4th Int. Workshop on Software and Performance (WOSP 2004), Redwood City, CA, Jan 2004, pp. 74-83.
4. V. Cortellessa, A.Pompei, "Towards a UML profile for QoS: a contribution in the reliability domain", In Proc. 4th Int. Workshop on Software and Performance WOSP'2004, pp.197-206, Redwood Shores, California, 2004
5. K. Czarnecki and S. Helsen, "Classification of Model Transformation Approaches", OOPSLA'03 Workshop on Generative Techniques in the Context of MDA, 2003.
6. 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. 5th Int. Workshop on Software and Performance WOSP'2005, pp. 25-36, Palma, Spain, July 2005.
7. J. Jürjens, P. Shabalin, "Automated Verification of UMLsec Models for Security Requirements", Proceedings of UML 2004, Lisbon, Portugal Oct. 11-15, 2004.
8. J.M. Küster, S. Sendall, M. Wahler, "Comparing Two Model Transformation Approaches", Proc. Workshop on OCL and Model Driven Engineering, October, 2004.
9. T. Mens, K. Czarnecki, P. Van Gorp, "A Taxonomy of Model transformations", in Proc. of Dagstuhl 04101 Language Engineering for Model-Driven Software Development (J. Bezivin, R. Heckel eds), 2005.
10. D.C. Petriu, H.Shen, "Applying the UML Performance Profile: Graph Grammar based derivation of LQN models from UML specifications", in Computer Performance Evaluation: Modelling Techniques and Tools, (T. Fields, P. Harrison, J. Bradley, U. Harder, Eds.) LNCS 2324, pp. 159-177, Springer, 2002.
11. D. C. Petriu, C. M. Woodside, "Performance Analysis with UML," in UML for Real, (B. Selic, L. Lavagno, and G. Martin, eds.), pp. 221-240, Kluwer, 2003.
12. OMG, QVT-Merge Group, "Revised submission for MOF 2.0 Query/Views/Transformations RFP", version 1.0, April 2004.
13. OMG, "MDA Guide", version 1.0.1, June 2003.
14. OMG, "UML Profile for Schedulability, Performance, and Time", version 1.0, formal/03-09-01, September 2003.
15. OMG, "UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms (QoS)", Adopted Specification, ptc/2004-06-01, June 2004.
16. Schurr, A., Programmed Graph Replacement Systems, in G.Rozenberg (ed): Handbook of Graph Grammars and Computing by Graph Transformations, pp. 479-546, 1997.
17. Woodside, C.M, Petriu, D.C., Petriu, D.B., Shen, H, Israr, T., and Merseguer, J. "Performance by Unified Model Analysis (PUMA)", In Proc. 5th Int. Workshop on Software and Performance WOSP'2005, pp. 1-12, Palma, Spain, July 2005.