A Model-Based Approach for User Requirements Decomposition and Component Selection

To meet user requirements, Commercial-off-the-Shelf (COTS) component based systems are built by integrating different components potentially provided by different vendors. The gap between the user requirements, related to the overall system, and the available components can be large. Thus the selection of appropriate components for building the system becomes a difficult task, especially when non-functional requirements are taken into account. In this paper, we propose an approach to close this gap in the context of highly available systems to be deployed on a Service Availability Forum (SA Forum) compliant middleware. Our approach decomposes the user requirements into lower level requirements, referred to as configuration requirements with the help of an ontology. Sets of components satisfying the functional requirements are checked for compliance with non-functional requirements and chosen accordingly. It is a model based approach, which consists of six metamodels and the necessary transformations including traceability links between user requirements and a solution to facilitate system evolution and maintainability.

[1]  Maria Toeroe,et al.  Ontology-based user requirements decomposition for component selection for highly available systems , 2014, Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014).

[2]  Daniel Amyot,et al.  Non-Functional Properties in Service Oriented Architecture - A Consumer's Perspective , 2012, J. Softw..

[3]  Dorina C. Petriu,et al.  Traceability Links in Model Transformations between Software and Performance Models , 2013, SDL Forum.

[4]  Ling Liu,et al.  Encyclopedia of Database Systems , 2009, Encyclopedia of Database Systems.

[5]  Dorina C. Petriu,et al.  Approach for generating performance models from UML models of SOA systems , 2010, CASCON.

[6]  Larisa Shwartz,et al.  Decomposition of IT service processes and alternative service identification using ontologies , 2008, NOMS 2008 - 2008 IEEE Network Operations and Management Symposium.

[7]  Olly Gotel,et al.  An analysis of the requirements traceability problem , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[8]  James Kempf,et al.  Handling Performance Sensitive Native Cloud Applications with Distributed Cloud Computing and SLA Management , 2013, 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing.

[9]  Jean Bézivin,et al.  Applying Generic Model Management to Data Mapping , 2005, BDA.

[10]  Mark S. Fox,et al.  A Requirement Ontology for Engineering Design , 1996 .

[11]  Julio Cesar Sampaio do Prado Leite,et al.  Using UML to reflect non-functional requirements , 2001, CASCON.

[12]  Arda Goknil,et al.  Survey of Traceability Approaches in Model-Driven Engineering , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[13]  Xavier Franch,et al.  Dealing with Non-Functional Requirements in Model-Driven Development , 2010, 2010 18th IEEE International Requirements Engineering Conference.

[14]  Zachary J. Oster,et al.  Identifying Optimal Composite Services by Decomposing the Service Composition Problem , 2011, 2011 IEEE International Conference on Web Services.

[15]  Krzysztof Czarnecki,et al.  Staged Configuration Using Feature Models , 2004, SPLC.

[16]  Xavier Franch,et al.  Using Quality Models in Software Package Selection , 2003, IEEE Softw..

[17]  Maria Toeroe,et al.  Service Availability: Principles and Practice , 2012 .

[18]  Juan Trujillo,et al.  A trace metamodel proposal based on the model driven architecture framework for the traceability of user requirements in data warehouses , 2011, Inf. Syst..

[19]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[20]  Junichi Suzuki,et al.  Modeling Non-Functional Aspects in Service Oriented Architecture , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).

[21]  Jean Bézivin,et al.  Using ATL for Checking Models , 2006, GRaMoT@GPCE.

[22]  Abdelwahab Hamou-Lhadj,et al.  A model driven approach for AMF configuration generation , 2010, SAM'10.

[23]  Maria Toeroe,et al.  Bridging the Gap between User Requirements and Configuration Requirements , 2012, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.

[24]  Zachary J. Oster,et al.  Decomposing the Service Composition Problem , 2010, 2010 Eighth IEEE European Conference on Web Services.