A model-driven approach to performability analysis of dynamically reconfigurable component-based systems

Proceedings of the 6th International Workshop on Software and Performance, WOPS'07

Volumn , Issue , 2007, Pages 103-114

  Grassi, Vincenzo ^a   Mirandola, Raffaela ^b   Sabetta, Antonino ^a  

^a UNIVERSITY OF ROME TOR VERGATA   (Italy)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

Dynamic reconfiguration; Model driven development; Performability

Indexed keywords

COMPUTABILITY AND DECIDABILITY; DATA ACQUISITION; FEATURE EXTRACTION; FUNCTIONAL ANALYSIS; PROBLEM SOLVING; SOFTWARE RELIABILITY;

COMPONENT-BASED (C-B) SYSTEMS; DYNAMIC RECONFIGURATION; MODEL-DRIVEN DEVELOPMENT; PERFORMABILITY;

DYNAMIC PROGRAMMING;

EID: 34748852473     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1216993.1217011     Document Type: Conference Paper

References (43)

1. Allen R., Douence R., Garlan D. "Specifying and Analyzing Dynamic Software Architectures" In Fundamental Approaches to Software Engineering, LNCS 1382, Springer Verlag, 1998.
2. T. Andrews et al. "Business Process Execution Language for Web Services Version 1.1" May 2003, on line at: http://www.ibm.com/ developerworks/library/ws-bpel/.
3. C. Atkinson, T. Kühne "Model-Driven Development: A Metamodeling Foundation", IEEE Software, vol. 20, no. 5, pp. 36-41, 2003.
4. S. Balsamo, A. di Marco, P. Inverardi, M. Simeoni "Model-based performance prediction in software development: a survey" IEEE Trans. on Software Engineering, Vol. 30/5, May 2004, pp. 295-310.
5. Bradbury J.S., Cordy J.R., Dingel J., Wermelinger M., "A survey of self-management in dynamic software architecture specifications" In proceedings of WOSS '04, Oct. 2004, Newport Beach, CA, USA.
6. P.J. Brown, J.D. Bovey, X. Chen "Context-aware applications: from the laboratory to the marketplace" IEEE Personal Communications, vol. 4, no. 5, Oct. 1997, pp. 58-64.
7. V. Cortellessa, A. Di Marco, P. Inverardi "Software Performance Model-Driven Architecture" in Proc. of the 21st Annual ACM SAC - Track on Model Transformation, Dijon, France April 23 -27, 2006.
8. I. Cmkovic, M. Larsson (eds.), Building Reliable Component-Based Software Systems, Artech House, 2002.
9. Di Marco A., Mirandola R. "Model Transformation in Software Performance Engineering" QoSA 2006, LNCS 2006.
10. A. Fuggetta, G.P. Picco, G. Vigna "Understanding code mobility" IEEE Trans. on Software Engineering, vol. 24, no. 5, 1998, pp. 342-361.
11. Garlan D., Monroe, R., Wile D. "ACME: Architectural Description of Component-Based Systems. Foundations of Component-Based Systems" (Leavens G.T., Sitaraman M. Eds.), Cambridge University Press, 2000.
12. V. Grassi, R. Mirandola A. Sabetta "A UML Profile to Model Mobile Systems" in Proc. of UML 2004, LNCS 3273 Springer Verlag 2004, pp.128-142.
13. 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. WOSP 2005, ACM, pp 25-36.
14. V. Grassi "Performance Analysis of Mobile Systems" SFM 2005, LNCS 3465 Springer Verlag 2005, pp.107-154
15. V. Grassi, R. Mirandola, A. Sabetta "A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems" in Proc. of CBSE 2006, LNCS 4063 Springer Verlag 2006, pp. 270-284.
16. G. Gu, D.C. Petriu "From UML to LQN by XML Algebra-Based Graph Transformations" in Proc. of WOSP 2005, ACM, pp. 99-110.
17. B.R. Haverkort, R. Marie, G. Rubino, K Trivedi (eds.), Performability Modelling: Techniques and Tools, J. Wiley and Sons, 2001.
18. C. Hofmeister, Dynamic reconfiguration of distributed applications, PhD dissertation, Dept. of Computer Science, University of Maryland, 1993.
19. M.H. Kacem, M.N.Miladi, M. Jmaiel, A. H. Kacem, K. Drira, "Towards a UML profile for the description of dynamic software architectures" COEA 2005, pp 25-39.
20. KLAPER: http://valerianus.ce.uniroma2.it/wiki/klaper/start
21. R. Kravets, P. Krishnan "Power management techniques for mobile communications", in Proc. MOBICOM 1998, Dallas, TX, Oct. 1998.
22. IBM: www.research.ibm.com/autonomic/.
23. Luckham D.C., Kenney J.J., Augustin L.M., Vera J., Bryan D., Mann W. "Specification and Analysis of System Architecture Using RAPIDE" IEEE Trans. on Software Engineering, Vol. 21, No. 4, April 1995.
24. E. M. Maximilien, M.P. Singh "A framework and ontology for dynamic service selection" IEEE Internet Computing, Sept.-Oct. 2004, pp. 84-93.
25. N. Medvidovic, R.N. Taylor "A classification and comparison framework for software architecture description languages" IEEE Trans. on Software Engineering, vol. 26, no. 1, Jan. 2000, pp. 70-93.
26. J.F. Meyer "On evaluating the performability of degradable computer systems" IEEE Trans. on Computers, 29 (8), 1980, pp. 720-731.
27. "MDA Guide Version 1.0.1" OMGDocument omg/03-06-01, on line at: www.omg.org/docs/omg/03-06-01.pdf.
28. "Meta Object Facility (MOF) 2.0 Core Specification", OMG Adopted Specification ptc/03-10-04, on line at: www.omg.org/docs/ptc/03-10- 04.pdf.
29. http://www.modelware-ist.org/
30. "MOF 2.0Query/Views/TransformationsRFP", OMG Document ad/2002-04-10, on line at: www.omg.org/docs/ad/02-04-10.pdf.
31. Oquendo F. "Formally Modelling Software Architectures with the UML 2.0 Profile for π-ADL" ACM Software Engineering Notes, Vol. 31, No. 1, January 2006.
32. Oquendo F. "A Model-Driven Formal Method for Architecture-Centric Software Engineering" ACMSoftware Engineering Notes, Vol. 31, No. 3, May 2006.
33. "OWL-S: Semantic Markup for Web Services" White Paper, The OWL Services Coalition, Nov. 2003, on line at: www.daml.org/services/owl-s/1.0/owl- s.pdf.
34. SHARPE: on line at http://www.ee.duke.edu/~kst/
35. A. Solberg, K.E. Husa, J. Aagedal, E. Abrahamsen "QoS-Aware MDA" in Proc. SIVOES-MDA '03 (in conjunction with UML03) (2003).
36. C.U. Smith, L. Williams. Performance solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison Wesley, 2002.
37. "UML 2.0 Superstructure Specification" OMG Adopted Specification ptc/03-08-02, on line at: www.omg.org/docs/ptc/03-08-02.pdf.
38. "UML Profile for Schedulability, Performance, and Time Specification", OMG Adopted Specification ptc/02-03-02, online at: www.omg.org/docs/ptc/02-03-02.pdf.
39. "UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms", OMG Adopted Specification ptc/04-09-012, on line at: www.omg.org/docs/ptc/04-09-01.pdf.
40. M. Wermelinger, A. Lopes, and J. L. Fiadeiro "A graph based architectural (re)configuration language" In Proc. ESEC/FSE 2001. Software Engineering Notes, 26(5):21-32, ACM, 2001.
41. M. Woodside et al. "Performance by Unified Model Analysis (PUMA)" in Proc. WOSP 2005:5th ACMInt. Workshop on Software and Performance, Palma de Mallorca, Spain, July 11-14, 2005, pp. 1-12.
42. Worldwide Web Consortium (W3C). Web Services Glossary. http://www.w3.org/TR/ws-gloss/ (February 2004).
43. L.M. Feeney "An energy-consumption model for performance analysis of routing protocols for mobile ad hoc networks" Mobile Networks and Applications, 6(3):239-250, June 2001.