Ontological approach to derive product configurations from a  Software Product Line Reference Architecture

Francisca Losavio; Oscar Ramón Ordaz; Stephane Jean

doi:10.18682/cyt.v1i16.548

Francisca Losavio Universidad Central de Venezuela, Caracas, Venezuela
Oscar Ramón Ordaz Univerisdad Central de Venezuela, Caracas, Venezuela
Stephane Jean Université de Poitiers, Poitiers, France

DOI: https://doi.org/10.18682/cyt.v1i16.548

Keywords: software product line, reference architecture, ontology, quality product derivation, Healthcare Integrated Information System

Abstract

Software Product Lines (SPL) based on reuse, claim to improve evolution, time to market and decrease software development costs. Concrete software products or systems, members of the SPL family, are derived by instantiating a generic Reference Architecture (RA), holding common and variant components. The construction of RA is a complex and costly task, as well as its usage for product derivation, due to the huge number of variants, essentially caused by non functional requirements variability. In consequence, the selection of an RA instance or Feasible Solution (FS), meeting RA constraints and customer requirements, is not straightforward. In this work RA is built by a bottom-up process from existing products; RA and its instances are represented by a non-directed connected graph. The HIS-RA Ontology also represents RA and captures Healthcare Integrated Information Systems (HIS) domain knowledge. Moreover, FS must be connected (the induced graph by FS in RA has no isolated components), consistent (it verifies consistency rules among FS components), and working (it meets domain functional (FR) and non functional (NFR) requirements). The main goal of this paper is to define a semiautomatic process (FFSP), to derive consistency rules using the HIS-RA Ontology built-in reasoning capabilities, to construct consistent, connected and working FS. Software quality is considered by FFSP in the traceability between FR and NFR, and it is specified by ISO/IEC 25010, to guarantee RA evolution and the overall concrete product configuration quality. FFSP is validated on a HIS domain a case study.

Downloads

Download data is not yet available.

Author Biographies

Francisca Losavio, Universidad Central de Venezuela, Caracas, Venezuela

Profesora titular, jubilada, dedicación exclusiva, docente-investigador, Escuela de Computación, Facultad de Ciencias, Univerisdad Central de Venezuela, doctora en informática de la Univerisdad de Paris XI, Orsay, Francia 1992, coordinadora del Laboratorio de Modelos, Software y Tecnología (MoST)

Oscar Ramón Ordaz, Univerisdad Central de Venezuela, Caracas, Venezuela

Profesor titular, jubilado, dedicación exclusiva, docente-investigador, Escuela de Matemática, Facultad de Ciencias, Univerisdad Central de Venezuela, doctor en informática de la Univerisdad de Paris XI, Orsay, Francia 1985, miembro del Laboratorio de Modelos, Software y Tecnología (MoST)

Stephane Jean, Université de Poitiers, Poitiers, France

Profesor de la Universidad de Poitiers y miembro del Laboratoire d’Informatique et d’Automatique pour les Systèmes
LIAS/ENSMA, Poitiers, Francia, doctor en informática

References

Clements P. and Northrop L. (2001). SPL: practices and patterns, 3rd ed. Readings, MA, Addison Wesley.

Nakagawa E. Y., Antonio P. O. and Becker M. (2011). RA and PLA: a subtle but critical difference, ECSA 2011, LNCS 6903, pp. 207-211, Springer-Verlag, Berlin, Heidelberg.

Shaw M., Garlan D. (1996). Software Architecture. Perspectives of an emerging discipline, Prentice-Hall.

Pohl K., Böckle G., van der Linden F. (2005). SPL engineering - foundations, principles, and techniques. Springer IXXVI, pp. 1-467

ISO/IEC NP 26550 (2013) Software and Systems Engineering – Ref. Model for Software and Systems PL. ISO/IEC JTC1/SC7 WG4.

Lee, K., Kang, K. and Lee, J. (2002). Concepts and Guidelines of Feature Modeling for Product Line Software Engineering. Proceedings of the 7th. Int. Conf. on Software Reuse: Methods, Techniques, and Tools, ISBN: 3-540-43483-6, pp 62-77.

Matinlassi M. (2004). Comparison of software product line architecture design Methods: COPA, FAST, FORM, KobrA and QADA, ICSE’04.

Czarnecki K., Hwan C., Kim P.,Trygve K. (2006) Feature Models are Views on Ontologies, SPIC 2006.

Kaviani N., Mohabbati B., Gasevic D., Finke M. (2008) Semantic Annotations of Feature Models for Dynamic Product Configuration in Ubiquitous Environments 4th Int. Workshop on Semantic Web Enabled Software Engineering, 7th Int. Semantic Web Conference.

Mohabbati B., Nima Kaviani N., Dragan Gašević D. (2009) Semantic Variability Modeling for Multi-staged Service Composition, Proceedings of the 13th Software Product Lines Conf., Vol 2., 2009.

Tenorio T., Dermeval D., Bittencourt I. (2014) On the Use of Ontology for Dynamic Reconfiguring Software Product Line Products, Conference Paper January 2014, ResearchGate, at: http://www.researchgate.net/publication/275771587

Losavio F. Ordaz O., Levy N., Baiotto. A. (2012). Graph Modeling of a Refactoring Process for Product Line Architecture Design, JLDP, Lille, 47-58, 7-11 November.

Losavio F., Ordaz O., Esteller V. (2015). Quality-Based Bottom-up Design of Reference Architecture applied to HIS, RCIS 2015, pp. 76-81, IEEE, May, Athens, Greece.

Gruber T. (1993) Toward Principles for the Design of Ontologies Used for KnowledgeSharing. Available as Technical Report KSL 93-04, Knowledge Systems Laboratory, Stanford University. 1993.

ISO/IEC 25010 (2011). Systems and software engineering -- Systems and software Quality Requirements and Evaluation (SQuaRE) -- System and software quality models, ISO/IEC JTC1/SC7/WG6.

Elsner C. (2012). Automating Staged Product Derivation for Heterogeneous Multi–Product-Lines, Doctoral Thesis, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany.

Siegmund N., Rosenmuller M., Kuhlemann M., Kastner C., Apel S., Saake G. (2012). SPL Conqueror: Towords Optimization of Non-functional Properties in SPL, Soft. Qual. Jour., Vol. 20, No. 3-4, Sept, pp. 487-517(31).

Samilovich S. (2010). OpenEMR – Historia Clínica Electrónica de codigo abierto y distribuición gratuita, apta para su uso en el sistema de salud Argentina, JAIIO CAIS. http://www.39jaiio.org.ar/sites/default/files/Programa_CAIS_39AIIO_v8.pdf

Losavio, F., Ordaz O., Santos I. (2015) Proceso de análisis del dominio ágil de sistemas integrados de salud en un contexto venezolano, Revista Venezolana de Información, Tecnología y Conocimiento, ENL@CE, Vol. 12, No. 1, pp.101-134 , Enero-Abril 2015, ISSN: 1690-7515, http://www.produccioncientifica.luz.edu.ve/index.php/enlace/index

Losavio F., Matteo A., Levy N. (2009) Web Services Domain Knowledge with an Ontology on Software Quality Standards 3rd Int. Conf. on Internet Technologies and Applications (ITA’09), UK, pp.74-85, CAIR (Center for Applied Internet Research), Glyndwr University, 8-11 September.

Asikainen T., Mannisto T., Soininen T. (2007) Kumbang: A domain ontology for modelling variability in software product families Advanced Engineering Informatics 21, pp 23–40. Elsevier.

Jean S., Losavio F., Matteo A., Leyv N. (2010) An extension of Owl-S with Quality Standards, 4th Inter. Conf. on Research Challenges in Information Science (RCIS 2010), pp 483-494, IEEE (Print Version ISBN #978-1-4244-4840-1), Niza, France, May 10-21.

Hector A. Duran-Limon, F. Castillo-Barrera E., Lopez-Herrejon R. (2011) Towards an Ontology-Based Approach for Deriving Product Architectures, 15th Intern. Software Product Line Conference SPLC '11, Volume 2 Article No. 29, ACM August 21-26, Munich, Germany New York, NY, USA ©2011.

Losavio F., Ordaz O. (2015) Quality-Based Heuristic for Optimal Product Derivation in Software Product Lines, 6th Inter. Conf. On Internet Technology & Applications (ITA’15), pp. 113-129, Glyndwr, North Wales, U.K. 8-11 September.

Esteller V., Losavio F., Matteo A., Ordaz O. Modelos de Variabilidad con Requisitos no Funcionales en un Contexto de Producción Industrial de Software, Revista Venezolana de Computación (ReVeCom), ISSN: 2244-7040, Vol. 1, No. 2, pp. 12-22, Diciembre 2014, Selección de los Mejores Artículos de CoNCISa 2014

http://www.svc.net.ve/revecom

White J., Schmidt D.C., Benavides D., ; Trinidad P. (2008) Automated Diagnosis of Product-Line Configuration Errors in Feature Models, Software Product Line Conference, 2008. SPLC '08. 12th International, pp. 225 – 234, 8-12 September.

Mendonca M., Cowan D. (2010) Decision-making coordination and efficient reasoning techniques for feature-based configuration, Science of Computer Programming 75, pp. 311–332, Elsevier

Salinesi C., Mazo R., Djebbi O., Dia D. (2011) Constraints: The core of product line engineering, Research Challenges in Information Science (RCIS), Fifth International Conference on, 19-21 May 2011, pages 1-10.

Zhang W., Kunz T., Hansen K.M. (2007) Engineering Complex Computer Systems ‘07. 12th IEEE International Conference on, pp. 148 – 160.

Yang D., Dong M., Miao R. (2008) Development of a product configuration system with an ontology-based approach, Computer Aided Design, Volume 40, Issue 8, August, pp. 863–878, Elsevier.

WSMO Working Group, co-chair: Christoph Bussler, John Domingue, and Dieter Fensel, Web Service Modeling Ontology (WSMO) - An Ontology for Semantic Web Services, Position paper at the W3C Workshop on Frameworks for Semantics in Web Services, June 9-10, 2005, Innsbruck, Austria.

Qiu Q., and Xiong Q. (2007) An Ontology for Semantic Web Services. R. Perrott et al. (Eds.): HPCC, LNCS 4782, pp. 776–784, 2007. © Springer-Verlag Berlin Heidelberg.

Hanna S., and Alawneh A. (2010) An Approach of Web Service Quality Attributes Specification, IBIMA Publishing Communications of the IBIMA, Vol. 2010, Article ID 552843, 13 pages,

http://www.ibimapublishing.com/journals/CIBIMA/cibima.html

Bayer J., Flege O., Knauber P., Laqua R., Muthig D., Schmid K.,Widen T., DeBaud JM (1999) PuLSE: A Methodology to Develop Software Product Lines, Best Paper Award at the Symposium on Software Reusability‘99 (SSR’99), Los Angeles, May.

Fensel, D. Bussler, C. (2002) The Web Service Modeling Framework WSMF, Electronic Commerce Research and Applications, 1(2).

Abramowicz W., Hofman R., Suryn W., Zyskowski D. (2008) SQuaRE based Web Services Quality Model, Proceedings of the International MultiConference of Engineers and Computer, Vol I IMECS 2008, 19-21 March, Hong Kong.

Kitchenham, B y Charters, S. (2007). Guidelines for Performing Systematic Literature Reviews In Software Engineering. Keele University and University of Durham, Technical report EBSE-2007-01.

Wang H., Li YF, Sun J.,, Zhang H., Pan J. (2005) A Semantic Web Approach to Feature Modeling and Verification, Workshop on Semantic Web.

Losavio F., Ordaz O, Márquez H. (2015) Assessment for quality product derivation from a software product line reference architecture, Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS) 5(2), pp. 48-59.