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

被引:2
作者
Abbasipour, Mahin [1 ]
Sackmann, Margarete [1 ]
Khendek, Ferhat [1 ]
Toeroe, Maria [1 ]
机构
[1] Concordia Univ, Elect & Comp Engn, Montreal, PQ, Canada
来源
FORMALISMS FOR REUSE AND SYSTEMS INTEGRATION | 2015年 / 346卷
基金
加拿大自然科学与工程研究理事会;
关键词
component; decomposition; ontology; user requirements; model driven engineering; non-functional requirements; traceability;
D O I
10.1007/978-3-319-16577-6_8
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:173 / 202
页数:30
相关论文
共 30 条
[1]  
Abbasipour M., 2014, 15 IEEE INT C INF RE
[2]  
Alhaj Mohammad, 2013, SDL 2013: Model-Driven Dependability Engineering. 16th International SDL Forum. Proceedings: LNCS 7916, P203, DOI 10.1007/978-3-642-38911-5_12
[3]  
Alhaj M., 2010, P CASCON 2010 TOR
[4]  
Ameller D., 2010, Proceedings of the 2010 IEEE 18th International Conference on Requirements Engineering (RE2010), P189, DOI 10.1109/RE.2010.32
[5]  
[Anonymous], SURVEY TRACEABILITY
[6]  
[Anonymous], 2009, Encyclopedia of Database Systems [Internet], DOI [DOI 10.1007/978-0-387-39940-9_183, 10.1007/978-0-387-39940-9_183]
[7]  
[Anonymous], 2012, OMG Object Constraint Language (OCL) Version 2.3.1
[8]   Decomposition of IT service processes and alternative service identification using ontologies [J].
Bartsch, Christian ;
Shwartz, Larisa ;
Ward, Christopher ;
Grabarnik, Genady ;
Buco, Melissa J. .
2008 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, VOLS 1 AND 2, 2008, :714-+
[9]  
Becha H., 2012, NONFUNCTIONAL PROPER, P575
[10]   Using ATL for Checking Models [J].
Bezivin, Jean ;
Jouault, Frederic .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 152 :69-81