Vincenzo Grassi
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.
- 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/.Google Scholar
- S. Balsame, 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. Google ScholarDigital Library
- L. Bass, P. Clements, R. Kazman, Software Architectures in Practice, Addison-Wesley, New York, NY, 1998. Google ScholarDigital Library
- 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.Google Scholar
- V. Cortellessa. H. Singh, B. Cukic, E. Gunel, V. Bharadwaj "Early reliability assessment of UML based software models" in Proc. 3rd Int. Workshop on Software and Performance (WOSP'02), July 24--26, 2002, Rome (Italy). Google ScholarDigital Library
- 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'04), Jan. 2004, pp. 197--206. Google ScholarDigital Library
- I. Crnkovic, M. Larsson (eds.), Building Reliable Component-Based Software Systems, Artech House, 2002. Google ScholarDigital Library
- 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.Google Scholar
- Hissam, S. A., et al. "Packaging Predictable Assembly" in Proc. Component Deployment (CD 2002), LNCS 2370, Springer Verlag (2002), pp. 108--124. Google ScholarDigital Library
- S. S. Lavenberg, Computer Performance Modeling Handbook (New York, 1983), Academic Press. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- "MDA Guide Version 1.0.1" OMGDocument omg/03-06-01, on line at: www.omg.org/docs/omg/03-06-01.pdf.Google Scholar
- "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.Google Scholar
- "MOF 2.0 Query/Views/Transformations RFP", OMG Document ad/2002-04-10, on line at: www.omg.org/docs/ad/02-04-10.pdf.Google Scholar
- J. Oldevik "UMT UML model tranformation tool" on line at: http://umt-qvt.sourceforge.net/docs/UMT documentation v08.pdf.Google Scholar
- "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.Google Scholar
- 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.Google Scholar
- B. Selic, J. Rumbaugh "Using UML for Modeling Complex Real-Time Systems" (March 1998) on line at: www-106.ibm.com/developerworks/rational/library/content/03July/1000/1155/1155 umlmodeling.pdf.Google Scholar
- C. U. Smith, C. M. Llado "Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation" Tech. Report March 2004, on line at: www.perfeng.com/.Google Scholar
- C. U. Smith, L. Williams. Performance solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison Wesley, 2002. Google ScholarDigital Library
- B. Spitznagel, D. Garlan "Architecture-based performance analysis" in Proc. 1998 Conf. on Software Engineering and Knwoledege Engineering, June 1998.Google Scholar
- C. Szyperski, Component Software: Beyond Object-Oriented Programming, Addison Wesley, 2002. Google ScholarDigital Library
- V. Tosic, B. Pagurek, B. Esfandiari, K. Patel, W. Ma "Web Service Offerings Language (WSOL) and Web Service Composition Management (WSCM)", position paper at the Workshop on Object-Oriented Web Services - OOWS (at OOPSLA 2002), Seattle, USA, Nov. 2002. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- "UML 2.0 Superstructure Specification" OMG Adopted Specification ptc/03-08-02, on line at: www.omg.org/docs/ptc/03-08-02.pdf.Google Scholar
- "UML Profile for Schedulability, Performance, and Time Specification", OMG Adopted Specification ptc/02-03-02, on line at: www.omg.org/docs/ptc/02-03-02.pdf.Google Scholar
- "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.Google Scholar
- D. Varrò, G. Varrò, A. Pataricza "Designing the automatic transformation of visual languages" Science of Computer Programming, vol. 44(2), 2002, pp. 205--227. Google ScholarDigital Library
- W.-L. Wang, Y. Wu, M.-H. Chen "An architecture-based software reliability model" Proc. IEEE Pacific Rim Int. Symposium on Dependable Computing, Hong Kong, China, Dec. 1999. Google ScholarDigital Library
- L.G. Williams, C. U. Smith "A Performance Model Interchange Format" Journal of Systems and Software, 49, 1, 1999. Google ScholarDigital Library
- "XML Schema to Ecore Mapping" June 2004, on line at: http://dev.eclipse.org.Google Scholar
- From design to analysis models: a kernel language for performance and reliability analysis of component-based systems
Recommendations
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a ...
Automated transformation of design text ROM diagram into SysML models
This paper proposes an approach to generating System Modeling Language (SysML) diagrams from a Recursive Object Model (ROM) diagram. The ROM diagram represents entities (or concepts) and three kinds of relations between these entities found in a ...
Automated analysis of security-design models
We have previously proposed SecureUML, an expressive UML-based language for constructing security-design models, which are models that combine design specifications for distributed systems with specifications of their security policies. Here, we show ...
Comments