From design to analysis models: a kernel language for performance and reliability analysis of component-based systems

ABSTRACT

To facilitate the use of non-functional analysis results in the selection and assembly of components for component-based systems, automatic prediction tools should be devised, to predict some overall quality attribute of the application without requiring extensive knowledge of analysis methodologies to the application designer. To achieve this goal, a key idea is to define a model transformation that takes as input some "design-oriented" model of the component assembly and produces as a result an "analysis-oriented" model that lends itself to the application of some analysis methodology. However, to actually devise such a transformation, we must face both the heterogeneous design level notations for component-based systems, and the variety of non-functional attributes and related analysis methodologies we could be interested in. In this perspective, we define a kernel language whose aim is to capture the relevant information for the analysis of non-functional attributes of component-based systems, with a focus on performance and reliability. Using this kernel language as a bridge between design-oriented and analysis-oriented notations we reduce the burden of defining a variety of direct transformations from the former to the latter to the less complex problem of defining transformations to/from the kernel language. The proposed kernel language is defined within the MOF (Meta-Object Facility) framework, to allow the exploitation of MOF-based model transformation facilities.

REFERENCES

• 1: T. Andrews et al. "Business Process Execution Language for Web Services Version 1.1" May 2003, on line at: <u>http://www.ibm.com/developerworks/library/ws-bpel/</u>.
• 2: Simonetta Balsamo , Antinisca Di Marco , Paola Inverardi , Marta Simeoni, Model-Based Performance Prediction in Software Development: A Survey, IEEE Transactions on Software Engineering, v.30 n.5, p.295-310, May 2004 [doi>10.1109/TSE.2004.9]
• 3: Len Bass , Paul Clements , Rick Kazman, Software architecture in practice, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
• 4: J. Bezivin, E. Breton. G. Dupé, P. Valduriez "The ATL transformation-based model management framework" Res. Report no. 03.08. IRIN, Univ. de Nantes, Sept. 2003.
• 5: Vittorio Cortellessa , Harshinder Singh , Bojan Cukic, Early reliability assessment of UML based software models, Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy [doi>10.1145/584369.584415]
• 6: Vittorio Cortellessa , Antonio Pompei, Towards a UML profile for QoS: a contribution in the reliability domain, Proceedings of the 4th international workshop on Software and performance, January 14-16, 2004, Redwood Shores, California
• 7: Ivica Crnkovic , Magnus Larsson, Building Reliable Component-Based Software Systems, Artech House, Inc., Norwood, MA, 2002
• 8: D'Ambrogio A., G. Iazeolla, R. Mirandola "A XML-based method for the prediction of software reliability" in Proc. the 6th IASTED Int. Conf. Software Engineering and Applications, Nov. 2002, Cambridge, USA, pp. 234--240.
• 9: Scott A. Hissam , Gabriel A. Moreno , Judith A. Stafford , Kurt C. Wallnau, Packaging Predictable Assembly, Proceedings of the IFIP/ACM Working Conference on Component Deployment, p.108-124, June 20-21, 2002
• 10: Stephen S. Lavenberg, Computer Performance Modeling Handbook, Academic Press, Inc., Orlando, FL, 1983
• 11: C. Leangsuksun, H. Song, L. Shen "Reliability Modeling Using UML" Proceeding of 2003 Int. Conf. on Software Engineering Research and Practice, June 23--26, 2003, Las Vegas, Nevada, USA.
• 12: Nenad Medvidovic , Richard N. Taylor, A Classification and Comparison Framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, v.26 n.1, p.70-93, January 2000 [doi>10.1109/32.825767]
• 13: "MDA Guide Version 1.0.1" OMGDocument omg/03-06-01, on line at: <u>www.omg.org/docs/omg/03-06-01.pdf</u>.
• 14: "Meta Object Facility (MOF) 2.0 Core Specification", OMG Adopted Specification ptc/03-10-04, on line at: <u>www.omg.org/docs/ptc/03-10-04.pdf</u>.
• 15: "MOF 2.0 Query/Views/Transformations RFP", OMG Document ad/2002-04-10, on line at: <u>www.omg.org/docs/ad/02-04-10.pdf</u>.
• 16: J. Oldevik "UMT UML model tranformation tool" on line at: <u>http://umt-qvt.sourceforge.net/docs/UMT documentation v08.pdf</u>.
• 17: "OWL-S: Semantic Markup for Web Services" White Paper, The OWL Services Coalition, Nov. 2003, on line at: <u>www.daml.org/services/owl-s/1.0/owl-s.pdf</u>.
• 18: D.B. Petriu, M. Woodside " A Metamodel for Generating Performance Models from UML Designs" in Proc. «UML»2004, Lisbon, Portugal, Oct. 2004, LNCS 3273, pp. 41--53.
• 19: B. Selic, J. Rumbaugh "Using UML for Modeling Complex Real-Time Systems" (March 1998) on line at: <u>www-106.ibm.com/developerworks/rational/library/content/03July/1000/1155/1155 umlmodeling.pdf</u>.
• 20: C. U. Smith, C. M. Llado "Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation" Tech. Report March 2004, on line at: <u>www.perfeng.com/</u>.
• 21: Performance solutions: a practical guide to creating responsive, scalable software, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 2002
• 22: B. Spitznagel, D. Garlan "Architecture-based performance analysis" in Proc. 1998 Conf. on Software Engineering and Knwoledege Engineering, June 1998.
• 23: Clemens Szyperski, Component Software: Beyond Object-Oriented Programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2002
• 24: Vladimir Tosic , Kruti Patel , Bernard Pagurek, WSOL - Web Service Offerings Language, Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web, p.57-67, May 27-28, 2002
• 25: H.-L. Truong, T. Fahringer "Performance Analysis, Data Sharing and Tools Integration in Grids: New Approach based on Ontology" Int. Conf. on Computational Science (ICCS 2004), LNCS 3038, Springer-Verlag, Poland, June 2004.
• 26: "UML 2.0 Superstructure Specification" OMG Adopted Specification ptc/03-08-02, on line at: <u>www.omg.org/docs/ptc/03-08-02.pdf</u>.
• 27: "UML Profile for Schedulability, Performance, and Time Specification", OMG Adopted Specification ptc/02-03-02, on line at: <u>www.omg.org/docs/ptc/02-03-02.pdf</u>.
• 28: "UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms", OMG Adopted Specification ptc/04-09-012, on line at: <u>www.omg.org/docs/ptc/04-09-01.pdf</u>.
• 29: Dániel Varró , Gergely Varró , András Pataricza, Designing the automatic transformation of visual languages, Science of Computer Programming, v.44 n.2, p.205-227, August 2002 [doi>10.1016/S0167-6423(02)00039-4]
• 30: Wen-Li Wang , Ye Wu , Mei-Hwa Chen, An Architecture-Based Software Reliability Model, Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing, p.143, December 16-17, 1999
• 31: C. U. Smith , L. G. Williams, A performance model interchange format, Journal of Systems and Software, v.49 n.1, p.63-80, Dec. 15, 1999 [doi>10.1016/S0164-1212(99)00067-9]
• 32: "XML Schema to Ecore Mapping" June 2004, on line at: <u>http://dev.eclipse.org</u>.