Search

This is the live presentation of a conference paper. Please, access and cite the published version: https://biblioteca.sistedes.es/articulo/composicion-categorica-de-analisis-automaticos-para-lineas-de-productos-extendidas/ Para las Líneas de Productos Software (LPS) se necesitan operaciones que nos permitan analizar dicho software y el reúso de sus características. Los razonadores son herramientas que automatizan estas operaciones. Desde la extensión de LPS con diversos tipos atributos de calidad, el tipo y número de operaciones de razonamiento ha crecido más rápido que el desarrollo de los respectivos razonadores. En consecuencia, las operaciones de an´alisis extendido son en el mejor caso parcialmente soportadas por los razonadores estado-del-arte. Para este desafío, podemos aplicar un enfoque de Teoría de Categorías (TC); el álgebra abstracta que capta los componentes comunes de estructuras aparentemente diferentes. Basándonos en la flexibilidad de sus razonamientos, proponemos una metodología donde las operaciones extendidas sean composiciones configurables de un conjunto de operaciones reusables independientes. Por tanto, buscamos definir e implementar un framework de razonamiento funcional de LPS extendidas basado en TC., Este trabajo está financiado por el programa de investigación e innovación H2020 de la Unión Europea bajo el acuerdo de subvención DAEMON 101017109, por los proyectos también co-financiados por fondos FEDER LEIA UMA18-FEDERJA-15, MEDEA RTI2018-099213-B-I00 y Rhea P18-FR-1081, y la ayuda PRE2019-087496 del Ministerio de Ciencia e Innovación., {"references":["Barr, M., Wells, C.: Category theory for computing science. Prentice Hall (1990)","Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) Software Product Lines. pp. 7–20. Springer, Berlin (2005)","Breiner, S., Breiner, S., Pollard, B., Subrahmanian, E.: Workshop on Applied Category Theory: Bridging Theory and Practice. US Department of Commerce, National Institute of Standards and Technology (2020)","Horcas, J.M., Pinto, M., Fuentes, L.: Software product line engineering: A practical experience. In: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A. p. 164–176. SPLC '19, Association for Computing Machinery, New York, NY, USA (2019)","Käköla, T., Duenas, J.C.: Software product lines. Springer (2006)","Munoz, D.J.: Achieving energy efficiency using a software product line approach. In: Proceedings of the 21st SPLC. p. 131–138. SPLC '17, ACM, NY, USA (2017)","Munoz, D.J., Gurov, D., Pinto, M., Fuentes, L.: Category theory framework for variability models with non-functional requirements. In: Advanced Information Systems Engineering. pp. 397–413. Springer, Cham (2021)","SCHULTZ, P., WISNESKY, R.: Algebraic data integration. Journal of Functional Programming 27, e24 (2017)","Siegmund, N., Sobernig, S., Apel, S.: Attributed variability models: Outside the comfort zone. In: Proceedings of the 11th Joint Meeting on Foundations of Software Engineering. p. 268–278. ACM, New York, New York, USA (2017)","Trinidad, P., Ruiz-Cort´es, A., Benavides, D.: Automated Analysis of Stateful Feature Models, pp. 375–380. Springer Berlin Heidelberg, Berlin, Heidelberg (2013)"]}

La Teoría de Categorías es un álgebra abstracta que capta los componentes comunes de estructuras aparentemente diferentes. Sus principios organizadores pretenden remodelar y reformular problemas, facilitando su resolución y abriendo puertas a nuevas vías de investigación. En este trabajo analizamos su aplicabilidad a Modelos de Variabilidad con los objetivos de estandarizar su expresividad y expandir el conjunto tradicional de herramientas de razonamiento y optimización. Este trabajo est ́a financiado por el programa de investigación e innovación H2020 de la Uni ́on Europea bajo el acuerdo de subvención DAEMON 101017109, por los proyectos también co-financiados por fondos FEDER LEIA UMA18-FEDERJA-15, MEDEA RTI2018-099213-B-I00 y Rhea P18-FR-1081, y la ayuda PRE2019-087496 del Ministerio de Ciencia e Innovación., Este trabajo está financiado por el programa de investigación e innovación H2020 de la Unión Europea bajo el acuerdo de subvención DAEMON 101017109, por los proyectos también co-financiados por fondos FEDER LEIA UMA18-FEDERJA-15, MEDEA RTI2018-099213-B-I00 y Rhea P18-FR-1081, y la ayuda PRE2019-087496 del Ministerio de Ciencia e Innovación., {"references":["Al-Qutaish, R.E.: Quality models in software engineering literature: an analytical and comparative study. Journal of American Science 6(3), 166{175 (2010)","Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wasowski, A.: Clafer: unifying class and feature modeling. Software & Systems Modeling 15(3), 811{845 (2016)","Barr, M., Wells, C.: Category theory for computing science. Prentice Hall (1990)","Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) Software Product Lines. pp. 7{20. Springer, Berlin (2005)","Batory, D., Azanza, M., Saraiva, J.: The objects and arrows of computational design. In: International Conference on Model Driven Engineering Languages and Systems. pp. 1{20. Springer (2008)","Benavides, D., Trinidad, P., Ruiz-Cortes, A., Segura, S.: FaMa, pp. 163{171. Springer Berlin Heidelberg, Berlin, Heidelberg (2013)","Budiardjo, E.K., Zamzami, E.M., et al.: Feature modeling and variability modeling syntactic notation comparison and mapping. Computer and Communications ('14)","Czarnecki, K., Grunbacher, P., Rabiser, R., Schmid, K., Wkasowski, A.: Cool features and tough decisions: A comparison of variability modeling approaches. In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems. p. 173{182. ACM, New York, NY, USA (2012)","Feichtinger, K., Rabiser, R.: Variability model transformations: Towards unifying variability modeling. In: 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). pp. 179{182 (2020)","Genovese, F., Spivak, D.I.: A categorical semantics for guarded petri nets. In: Gadducci, F., Kehrer, T. (eds.) Graph Transformation. pp. 57{74. Springer International Publishing, Cham (2020)","Gonzalez-Huerta, J., Insfran, E., Abrah~ao, S., McGregor, J.D.: Non-functional requirements in model-driven software product line engineering. In: Proceedings of the Fourth InternationalWorkshop on Nonfunctional System Properties in Domain Specic Modeling Languages. NFPinDSML '12, NY, USA (2012)","Horcas, J.M., Pinto, M., Fuentes, L.: An automatic process for weaving functional quality attributes using a software product line approach. Journal of Systems and Software 112, 78 { 95 (2016)","Lliteras, A.B., Torres, D., Collazos, C.A., Fernandez, A.: Development, reuse, and repurposing of software artifacts in digital citizen science. are we reinventing the wheel? In: CEUR Workshop Proceedings (2020)","Munoz, D.J., Pinto, M., Fuentes, L.: Hadas: analysing quality attributes of software congurations. In: Proceedings of the 23rd International Systems and Software Product Line Conference-Volume B. pp. 13{16 (2019)","SCHULTZ, P., WISNESKY, R.: Algebraic data integration. Journal of Functional Programming 27, e24 (2017)","Taentzer, G., Salay, R., Struber, D., Chechik, M.: Transformations of software product lines: A generalizing framework based on category theory. In: 20th Int. Conference on Model Driven Engineering Languages and Systems (MODELS) (2017)"]}

This is a Conference Presentation, please access and cite the published version of the respective publication: https://doi.org/10.5281/zenodo.4974524 Your can watch the live presention video in my Youtube channel: https://youtu.be/JXeOt4UVtJU La Teor��a de Categor��as es un ��lgebra abstracta que capta los componentes comunes de estructuras aparentemente diferentes. Sus principios organizadores pretenden remodelar y reformular problemas, facilitando su resoluci��n y abriendo puertas a nuevas v��as de investigaci��n. En este trabajo analizamos su aplicabilidad a Modelos de Variabilidad con los objetivos de estandarizar su expresividad y expandir el conjunto tradicional de herramientas de razonamiento y optimizaci��n. Este trabajo est�� financiado por el programa de investigaci��n e innovaci��n H2020 de la Uni��n Europea bajo el acuerdo de subvenci��n DAEMON 101017109, por los proyectos tambi��n co-financiados por fondos FEDER LEIA UMA18-FEDERJA-15, MEDEA RTI2018-099213-B-I00 y Rhea P18-FR-1081, y la ayuda PRE2019-087496 del Ministerio de Ciencia e Innovaci��n.

Debido al gran desarrollo de la World Wide Web, tanto en cantidad de contenidos y nodos como en velocidades de acceso, aparecen por parte de la comunidad científico-técnica propuestas de utilización de la misma con objetivos más ambiciosos que la mera descarga de ficheros para ser presentados al usuario. Con esa finalidad se desarrolla la Web Semántica, sistema que pretende introducir información entendible por Agentes Inteligentes, permitiendo de este modo que estos Agentes puedan aumentar sus bases de conocimiento y realizar inferencias que faciliten procesos realizados actualmente de forma manual por los usuarios. De esta forma surgen los lenguajes ontológicos para la web, y en concreto el lenguaje recomendado por la World Wide Web Consortium (W3C) denominado Web Ontology Language (OWL), así como razonadores relacionados como FACT++, Racer y Pellet. Además, con el objetivo de aprovechar el potencial de la web, se han ido generando gran cantidad de contenidos educativos, que debido a los altos costes de producción generan una necesidad de potenciar la reutilización de dichos contenidos. Aparece en este caso el concepto de objeto educativo, que es susceptible de ser reaprovechado para otras experiencias de aprendizaje, con alguna modificación o sin modificación alguna, generando la denominada interoperabilidad de objetos educativos. El presente trabajo pretende potenciar esta interoperabilidad de objetos educativos. Para ello se especifica una ontología completa para teleeducación, basada en la lógica descriptiva y desarrollada en el lenguaje OWL, para que pueda ser utilizada por medio de la Web Semántica. Se estudian, desarrollan e implementan dentro de esta ontología conceptos relacionados con la interacción de los distintos agentes que intervienen en una experiencia de aprendizaje a través de la web. La ontología presentada va además acompañada de una especificación de arquitectura de pares o Peer to Peer (P2P) basada en las arquitecturas de tablas de búsqueda distribuidas (DHTs), que denominaremos DHT Semántica. La DHT Semántica está diseñada para permitir la explotación por parte de Agentes Inteligentes de la ontología especificada, con una alta tolerancia a fallos en nodos de la arquitectura. Estos Agentes asisten en la búsqueda de objetos educativos más allá de la búsqueda por palabras claves. Finalmente, tanto la ontología como la arquitectura se validan utilizando un conjunto de experiencias educativas on-line reales., Romero Llop, R. (2007). Especificación OWL de una ontología para teleeducación en WEB semántica [Tesis doctoral no publicada]. Universitat Politècnica de València. doi:10.4995/Thesis/10251/1828.

The hierarchies of systems SCR – nT4, SCR – nT5 and SCR – nD45 are presented with n> 3, in which the notion of belief is formalized in the sense of justified belief, knowledge and conviction respectively, resulting in systems of Doxástic and epistemic logics in which the problem of logical omniscience can be partially controlled. The systems are characterized with Kripke-style semantics, in which the length of the possible world chains is restricted depending on the type of reasoner. Thus, the depth of a model corresponds to the maximum length of the chains of possible worlds that appear in the model, resulting in the models of depth n being associated with the deductive systems SCR-nT4, SCR-nT5 and SCR-nD45., Se presentan las jerarquías de sistemas SCR–nT4, SCR–nT5 y SCR–nD45 con n > 3, en las cuales se formaliza la noción de creencia en el sentido de creencia justificada, de conocimiento y de convicción respectivamente, dando como resultado sistemas de lógicas doxásticas y epistémicas en los cuales el problema de la omnisciencia lógica puede ser parcialmente controlado. Los sistemas son caracterizados con sem´anticas al estilo Kripke, en las cuales, la longitud de las cadenas de mundos posibles se encuentra restringida en función del tipo de razonador. Así, la profundidad de un modelo corresponde a la longitud máxima de las cadenas de mundos posibles que figuren en el modelo, resultando que los modelos de profundidad n se encuentran asociados a los sistemas deductivos SCR–nT4, SCR–nT5 y SCR–nD45.

Se presentan como extensiones del cálculo proposicional clásico, las jerarquías de sistemas deductivos SCR-(n+1) y CP-n con n ≥ 0. SCR-n es el sistema de creencias para los razonadores de tipo n y CP-n es el cálculo proposicional asociado a los razonadores de tipo n. Los teoremas de los sistemas SCR-n son interpretados como las creencias de un razonador de tipo-n, mientras en los sistemas CP-n se interioriza la noción de creencia mediante el operador [R], en el siguiente sentido: X es una creencia de un razonador tipo-n (X es un teorema de SCR-n) sí y solamente si [R]X es un teorema de CP-n. Cuando se hace la unión de los sistemas de creencias se produce el sistema SCR-w, el cual coincide con el sistema de lógica modal K, por lo que la jerarquía SCR-n resulta ubicada entre el cálculo proposicional clásico y el sistema modal K. La forma como se construyen los sistemas garantiza que un razonador de tipo-(n+1) sepa que es de tipo-n en el siguiente sentido: en el sistema SCR- (n+1) se tienen como teorema, además de los teoremas de SCR-n, la creencia en dichos teoremas; y el razonador de tipo-(n+1) sabe que aplica las reglas de inferencia que utiliza un razonador de tipo- n. Como además un razonador de tipo-n no siempre puede saber que es de tipo-n, resulta que los razonadores de la jerarquía no son autoconcientes. La autoconciencia sólo se puede garantizar al extender el sistema SCR-w al sistema modal K4.

This technical report presents an ontology of a building floor map which could help a mobile robot to organize its knowledge about a building floor and to navigate through it. This ontology defines rooms, corridors and building accesses from the basic architectural elements of any building. These definitions are completed by determining the objects that the robot could find at each place. Finally, definitions of a chair, an armchair and a wheeled chair, which are based on the quantity and the topological location of their parts, are presented. These definitions could help a mobile robot to identify an object as a kind of chair by processing the images coming from a vision system. This ontology was implented using Protégé-OWL version 3.2 beta, RacerPro version 1.9.0., GraphViz version 2.8 for Windows operating system. Este informe técnico presenta una ontología cuyo objetivo es organizar el conocimiento del mapa de la planta de un edificio, el cual podría ser construido y utilizado por un robot móvil que navegara a través de dicha planta. Esta ontología parte de los elementos arquitectónicos básicos del edificio para definir habitaciones, pasillos y accesos a dicho edificio y se completa con la determinación de los objetos que el robot podría encontrar en cada lugar. Finalmente, se define una silla común, un sillón y una silla de oficina, basándose en las partes en las que se compone cada una y la cantidad y la localización topológica de estas. Dichas definiciones podrían ayudar al robot a identificar un objeto como un tipo de silla por medio del procesamiento de las imágenes detectadas por un sistema de visión. Esta ontología ha sido desarrollada utilizando las herramientas Protégé-OWL versión 3.2 beta, RacerPro versión 1.9.0. y GraphViz versión 2.8 para el sistema operativo Windows.

This technical report presents an ontology of a building floor map which could help a mobile robot to organize its knowledge about a building floor and to navigate through it. This ontology defines rooms, corridors and building accesses from the basic architectural elements of any building. These definitions are completed by determining the objects that the robot could find at each place. Finally, definitions of a chair, an armchair and a wheeled chair, which are based on the quantity and the topological location of their parts, are presented. These definitions could help a mobile robot to identify an object as a kind of chair by processing the images coming from a vision system. This ontology was implented using Protégé-OWL version 3.2 beta, RacerPro version 1.9.0., GraphViz version 2.8 for Windows operating system. Este informe técnico presenta una ontología cuyo objetivo es organizar el conocimiento del mapa de la planta de un edificio, el cual podría ser construido y utilizado por un robot móvil que navegara a través de dicha planta. Esta ontología parte de los elementos arquitectónicos básicos del edificio para definir habitaciones, pasillos y accesos a dicho edificio y se completa con la determinación de los objetos que el robot podría encontrar en cada lugar. Finalmente, se define una silla común, un sillón y una silla de oficina, basándose en las partes en las que se compone cada una y la cantidad y la localización topológica de estas. Dichas definiciones podrían ayudar al robot a identificar un objeto como un tipo de silla por medio del procesamiento de las imágenes detectadas por un sistema de visión. Esta ontología ha sido desarrollada utilizando las herramientas Protégé-OWL versión 3.2 beta, RacerPro versión 1.9.0. y GraphViz versión 2.8 para el sistema operativo Windows.