On the Requirements for Quality Composability Modeling and Analysis

作者: Javier Fernandez Briones , Miguel de Miguel , Juan Pedro Silva , Alejandro Alonso

DOI: 10.1109/ISORCW.2010.27

关键词:

摘要: Real-time, embedded and safety-critical systems have to meet some quality criteria in order provide certain reliance on its operation. The of a system depends the complex composition subsystems. Quality composability matchmaking provided required specifications. To allow for flexibility during design, we study as configuration problem. We options specifications represent design choices, deployment operation modes or component adaptability. This kind assessments architectures is very important e.g., COTS development. contributions this paper are: modeling requirements model analysis, compare two approaches, show how model-driven environment can leverage assessments. QoS-FT + OCL MARTE VSL, are used attach models. However, our ultimate goal evaluate these specifications, implemented tool-support using constraint satisfaction techniques.

参考文章(13)
Alejandro Antonio Alonso Muñoz, Miguel Angel de Miguel Cabello, Javier Fernández Briones, Juan Pedro Silva Gallino, Analysis of Quality Dependencies in the Composition of Software Architectures Actas del 13th Jornadas de Tiempo Real | 13th Jornadas de Tiempo Real | 05/02/2010 - 06/05/2010 | Granada, España. ,(2010)
James Robertson, Suzanne Robertson, Mastering the requirements process ACM Press/Addison-Wesley Publishing Co.. ,(1999)
Donald G. Firesmith, Common Concepts Underlying Safety, Security, and Survivability Engineering Defense Technical Information Center. ,(2003) , 10.21236/ADA421683
Kyriakos Kritikos, Dimitris Plexousakis, Mixed-Integer Programming for QoS-Based Web Service Matchmaking IEEE Transactions on Services Computing. ,vol. 2, pp. 122- 139 ,(2009) , 10.1109/TSC.2009.10
Javier F. Briones, Miguel Ángel de Miguel, Alejandro Alonso, Juan Pedro Silva, Modeling Quality of Service Adaptability enterprise distributed object computing. ,(2008) , 10.1109/EDOCW.2008.45
ANTONIO RUIZ–CORTÉS, OCTAVIO MARTÍN–DÍAZ, AMADOR DURÁN, M. TORO, Improving the Automatic Procurement of Web Services Using Constraint Programming International Journal of Cooperative Information Systems. ,vol. 14, pp. 439- 467 ,(2005) , 10.1142/S0218843005001225
M.A. de Miguel, J.F. Briones, J.P. Silva, A. Alonso, Integration of safety analysis in model-driven software development IET Software. ,vol. 2, pp. 260- 280 ,(2008) , 10.1049/IET-SEN:20070050
S. Degwekar, S.Y.W. Su, H. Lam, Constraint specification and processing in Web services publication and discovery international conference on web services. pp. 210- 217 ,(2004) , 10.1109/ICWS.2004.40
Javier F. Briones, Miguel A. de Miguel, A. Alonso, Juan Pedro Silva, Quality of Service Composition and Adaptability of Software Architectures international symposium on object/component/service-oriented real-time distributed computing. pp. 169- 173 ,(2009) , 10.1109/ISORC.2009.45