Publicado

2014-01-01

IDENTIFYING DEAD FEATURES AND THEIR CAUSES IN PRODUCT LINE MODELS: AN ONTOLOGICAL APPROACH

IDENTIFICANDO CARACTERÍSTICAS MUERTAS Y SUS CAUSAS EN MODELOS DE LÍNEAS DE PRODUCTOS: UN ENFOQUE ONTOLÓGICO

DOI:

https://doi.org/10.15446/dyna.v81n183.36348

Palabras clave:

Product lines, feature models, ontologies, dead features, SQWRL (en)
Líneas de productos, modelo de características, ontologías, características muertas, SQWRL (es)

Descargas

Autores/as

  • GLORIA LUCIA GIRALDO Universidad Nacional de Colombia - Sede Medellín
  • LUISA RINCÓN-PEREZ Universidad Nacional de Colombia - Sede Medellín
  • RAUL MAZO Université Paris 1 Panthéon Sorbonne
Feature Models (FMs) are a notation to represent differences and commonalities between products derived from a product line. However, product line modelers could unintentionally incorporate dead features in FMs. A dead feature is a type of defect, which implies that one or more features are not present in any product of the product line. Some authors have used ontologies in product lines, but they have not exploited ontology reasoning to identify and explain causes for defects in FMs in natural language. In this paper, we propose an ontology that represents FMs in OWL (Web Ontology Language). Then, we use SQWRL (Semantic Query-enhanced Web Rule Language) to identify dead features in a FM and identify and explain certain causes of this defect in natural language. Our preliminary empirical evaluation confirms the benefits of our approach.
Los modelos de características (en inglés Feature Models FMs) son una notación para representar diferencias y similitudes entre productos derivados de una línea de productos. Sin embargo, quienes modelan la línea de productos pueden introducir sin intención en los FMs defectos como las características muertas. Una característica es muerta si no puede estar presente en ningún producto derivado de la línea de productos. Algunos autores han identificado características muertas en los FMs, pero ninguno ha aprovechado las capacidades de razonamiento de las ontologías para identificar y explicar las causas de estos defectos en lenguaje natural. En este trabajo, se propone una ontología para identificar las características muertas en un FM y se proponen consultas sobre la ontología, para identificar y explicar en lenguaje natural ciertas causas de las características muertas detectadas. Nuestra evaluación empírica preliminar confirma los beneficios de nuestra propuesta.

Referencias

Clements, P. and Northrop, L., Software Product Lines: Practices and Patterns 1st ed., Addison-Wesley Professional, 2001.

Pohl, K., Böckle, G. and Linden, F.J., van der: Software Product Line Engineering: Foundations, Principles and Techniques Springer-Verlag New York, Inc., 2005.

Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E. and Peterson, S.P., Feasibility Study Feature-Oriented Domain Analysis ( FODA ). Technical Report 1990.

Trinidad, P., Benavides, D., Duran, A., Ruiz-Cortés, A. and Toro, M., Automated Error Analysis for the Agilization of Feature Modeling. Journal of Systems and Software., 81, pp. 883-896, 2008.

Von Der Massen, T. and Lichter, H., Deficiencies in Feature Models , En: Workshop on Software Variability Management for Product Derivation - Towards Tool Support.( Eds.Mannisto T, Bosch J). 2004.

Trinidad, P., Benavides, D. and Ruiz-Cortés, A., Isolated Features Detection in Feature Models , En: Proceedings of Conference on Advanced Information Systems Engineering (CAiSE 2006). pp. 1-4, 2006.

Benavides, D., Segura, S. and Ruiz-Cortés, A., Automated analysis of feature models 20 years later: A literature review. Information Systems., 35, pp. 615-636, 2010.

Sun, J., Zhang, H. and Wang, H., Formal Semantics and Verification for Feature Modeling , En: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems. IEEE Computer Society, Washington, DC, USA, pp. 303-312, 2005.

Salinesi, C. and Mazo, R., Defects in Product Line Models and how to identify them , En: Software Product Line - Advanced Topic.( Eds.Elfaki A). pp. 97-122, 2012.

Thüm, T., Kastner, C., Benduhn, F. and Meinicke, J., SAAK: FeatureIDE: An extensible framework for feature-oriented software development. Science of Computer Programming., 2012.

Mazo, R., Salinesi, C. and Diaz, D., VariaMos : a Tool for Product Line Driven Systems , En: Proceedings of the 24th International Conference on Advanced Information Systems Engineering (CAiSE Forum'12). Springer Press, Gdansk-Poland, pp. 25-29, 2012.

Trinidad, P., Benavides, D., Ruiz-Cortés, A., Segura, S. and Jimenez, A., FAMA Framework , En: Proceedings of the 12th International Software Product Line Conference. IEEE Computer Society, Washington, DC, USA, 359, 2008.

Trinidad, P. and Ruiz-Cortés, A., Abductive Reasoning and Automated Analysis of Feature models: How are they connected , En: Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems. pp. 145-153, 2009.

Batory, D., Benavides, D. and Ruiz-Cortés, A., Automated analysis of feature models: challenges ahead. Communications of the ACM., 49, pp. 45-47, 2006.

Abo, L., Kleinermann, F. and De Troyer, O., Applying semantic web technology to feature modeling , En: Proceedings of the 2009 ACM symposium on Applied Computing (SAC '09). ACM, New York, pp. 1252-1256, 2009.

Czarnecki, K., Peter Kim, C.H. and Kalleberg, K.T., Feature Models are Views on Ontologies , En: Proceedings of the 10th International on Software Product Line Conference. IEEE Computer Society, Washington, DC, USA, pp. 41-51, 2006.

Mcguinness, D.L. and Van Harmelen, F., OTHERS: OWL web ontology language overview. W3C recommendation., 10, 10, 2004.

O'connor, M., and Das, A., SQWRL: a Query Language for OWL , En: Proceedings of the 6th International Workshop OWL: Experiences and Directions. Chantilly, 2009.

Tsetsos, V., Papataxiarhis, V. and Hadjiefthymiades, S., Personalization based on Semantic Web Technologies. Semantic Web Engineering in the Knowledge Society, Information Science Reference., pp. 52-75, 2008.

Breitman, K.K., Casanova, M.A. and Truszkowski, W., Semantic web: concepts, technologies and applications Springer-Verlag, pp. 105-127, 2007.

Djebbi, O. and Salinesi, C., Criteria for Comparing Requirements Variability Modeling Notations for Product Lines , En: Proceedings of the Fourth International Workshop on Comparative Evaluation in Requirements Engineering. IEEE, pp. 20-35, 2006.

Czarnecki, K., Helsen, S. and Eisenecker, U., Formalizing Cardinality-based Feature Models and their Specialization. Software Process: Improvement and Practice., 10, pp. 7-29, 2005.

Segura, S., Automated Analysis of Feature Models Using Atomic Sets , En: Proceedings of the First Workshop on Analyses of Software Product Lines (ASPL08). 2008.

Borst, W., Construction of Engineering Ontologies for Knowledge Sharing and Reuse: Ph.D. Dissertation [Ph Thesis].Enschede, Netherlands: University of Twente,1998.

Gruber, T., Toward Principles for the Design of Ontologies Used for Knowledge Sharing , En: International Workshop on Formal Ontology.( Eds.Guarino N, Poli R). Padova,Italy, 1993.

Horridge, M., Knublauch, H., Rector, A., Stevens, R. and Wroe, C., A Practical Guide To Building OWL Ontologies Using The Protege-OWL Plugin and CO-ODE Tools Edition 1.02004.

Friedman-Hill, E., Java expert system shell, Available: http://herzberg.ca.sandia.gov/jess.

Noy, N. and Mcguinness, D., Ontology Development 101 : A Guide to Creating Your First Ontology, pp. 1-25, 2001.

APACHE SOFTWARE FOUNDATION: Apache Jena, Available: http://jena.apache.org/documentation/ontology/.

Segura, S., Galindo, J.A., Benavides, D., Parejo, J.A. and Ruiz-Cortés, A., BeTTy: benchmarking and testing on the automated analysis of feature models , En: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems. ACM, New York, NY, USA, pp. 63-71, 2012.

Rincón, L.F., Giraldo, G.L., Mazo, R., Salinesi, C. and Diaz, D., Subconjuntos Minimos de Correccion para explicar caracteristicas muertas en Modelos de Lineas de Productos. El caso de los Modelos de Caracteristicas , En: Proceedings of the 8th Colombian Computer Conference (CCC). Armenia-Colombia, 2013.

Wang, H., Li, Y., Sun, J., Zhang, H. and Pan, J., Verifying feature models using OWL. Web Semantics: Science, Services and Agents on the World Wide Web., 5, pp. 117-129, 2007.

Lee, S., Kim, J., Song, C. and Baik, D., An Approach to Analyzing Commonality and Variability of Features using Ontology in a Software Product Line Engineering , En: Proceedings of the Fifth International Conference on Software Engineering Research, Management and Applications. IEEE, pp. 727-734, 2007.

Liffiton, M. and Sakallah, K., Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints. Journal of Automated Reasoning., 40, pp. 1-33, 2008.

Dimensions

PlumX

Visitas a la página del resumen del artículo

410

Descargas

Los datos de descarga aún no están disponibles.

Cómo citar

[1]
“IDENTIFICANDO CARACTERÍSTICAS MUERTAS Y SUS CAUSAS EN MODELOS DE LÍNEAS DE PRODUCTOS: UN ENFOQUE ONTOLÓGICO”, DYNA, vol. 81, no. 183, pp. 68–77, Jan. 2014, doi: 10.15446/dyna.v81n183.36348.

Licencia

Derechos de autor 2014 DYNA

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.

El autor o autores de un artículo aceptado para publicación en cualquiera de las revistas editadas por la facultad de Minas cederán la totalidad de los derechos patrimoniales a la Universidad Nacional de Colombia de manera gratuita, dentro de los cuáles se incluyen: el derecho a editar, publicar, reproducir y distribuir tanto en medios impresos como digitales, además de incluir en artículo en índices internacionales y/o bases de datos, de igual manera, se faculta a la editorial para utilizar las imágenes, tablas y/o cualquier material gráfico presentado en el artículo para el diseño de carátulas o posters de la misma revista.