Ponencias (Lenguajes y Sistemas Informáticos)

URI permanente para esta colecciónhttps://hdl.handle.net/11441/11394

Examinar

Mostrando 1 - 20 de 1292

Workstream and board-based collaborative work management tools to analyze and improve productivity at work
(CEUR-WS, 2022) Bravo Llanos, Alfonso; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; MCIN/ AEI/ 10.13039/501100011033/
Data and software are currently changing and growing by leaps and bounds. Consequently, the way we used to understand the world until now has radically changed. Many authors know this era of change and exponential growth that we are living in as the 4th Industrial Revolution. It is a context characterized by volatility, uncertainty, complexity and ambiguity, among many other problems, known as a VUCA environment. This situation worsens work performance, preventing workers from maintaining a high level of productivity. These problems affect knowledge workers in many different ways in their day-to-day work, as has been studied in [1], getting an ordered taxonomy of fourteen challenges that negatively affect productivity. On the other hand, Workstream Collaborative Work Management Tools (WSCTs in advance), as Slacks or Teams (i.e.), are one of the most trending software applications nowadays. The flexibility they offer and their different and powerful features make them one of the best techniques to deal with the problems arising from the VUCA context. In particular, we have already deepened one of these possible solutions in order to improve working performance in these environments in [2]. In this case, we focused on board-based collaborative work management tools (BBTs in advance) as Trello or Planner (i.e.), defining eight design patterns for boards of these tools. This PhD Project seeks a twofold contribution, aligned with the two above cited works. First, we want to extend the analysis of the challenges that negatively affect productivity at knowledge work, understanding their causes, relationships between them and the impact of each one, based on [1]. We will use WSCTs for that purpose, focusing on the four most important productivity challenges and their solutions. Secondly, in particular, we will focus and delve into the study of BBTs, analyzing how are they used and making its use help improve productivity (defining how to do it). In this way, we want to study if better use of BBTs leads to better productivity, how much it improves it and how it improves it (which problems it solves or mitigates).
Some Initial Guidelines for Building Reusable Quantum Oracles
(Springer Nature, 2024) Sanchez-Rivero, Javier; Talaván, Daniel; Garcia-Alonso, Jose; Ruiz Cortés, Antonio; Murillo, Juan Manuel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
The evolution of quantum hardware is highlighting the need for advances in quantum software engineering that help developers create quantum software with good quality attributes. Specifically, reusability has been traditionally considered an important quality attribute. Increasing the reusability of quantum software will help developers create more complex solutions. This work focuses on the reusability of oracles, a well-known pattern of quantum algorithms that can be used to perform functions used as input by other algorithms. In this work, we present several guidelines for making reusable quantum oracles. These guidelines include three different levels for oracle reuse: the reasoning behind the oracle algorithm, the function which creates the oracle, and the oracle itself. To demonstrate these guidelines, two different implementations of a range of integers oracle have been built by reusing simpler oracles. The quality of these implementations is evaluated in terms of functionality and quantum circuit depth. Then, we provide an example of documentation following the proposed guidelines for both implementations to foster reuse of the provided oracles. This work aims to be a first point of discussion towards quantum software reusability.
Operating with Quantum Integers: An Efficient ‘Multiples of’ Oracle
(Springer Nature, 2023) Sanchez-Rivero, Javier; Talaván, Daniel; Garcia-Alonso, Jose; Ruiz Cortés, Antonio; Murillo, Juan Manuel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Quantum algorithms are a very promising field. However, creating and manipulating these kind of algorithms is a very complex task, specially for software engineers used to work at higher abstraction levels. The work presented here is part of a broader research focused on providing operations of a higher abstraction level to manipulate integers codified as a superposition. These operations are designed to be composable and efficient, so quantum software developers can reuse them to create more complex solutions. Specifically, in this paper we present a ‘multiples of’ operation. To validate this operation, we show several examples of quantum circuits and their simulations, including its composition possibilities. A theoretical analysis proves that both the complexity of the required classical calculations and the depth of the circuit scale linearly with the number of qubits. Hence, the ‘multiples of’ oracle is efficient in terms of complexity and depth. Finally, an empirical study of the circuit depth is conducted to further reinforce the theoretical analysis.
Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification
(IEEE, 2023) Sanchez-Rivero, Javier; Talavan, Daniel; Garcia-Alonso, Jose; Ruiz Cortés, Antonio; Murillo, Juan Manuel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Grover's algorithm is a well-known contribution to quantum computing. It searches one value within an unordered sequence faster than any classical algorithm. A fundamental part of this algorithm is the so-called oracle, a quantum circuit that marks the quantum state corresponding to the desired value. A generalization of it is the oracle for Amplitude Amplification, that marks multiple desired states. In this work we present a classical algorithm that builds a phase-marking oracle for Amplitude Amplification. This oracle performs a less-than operation, marking states representing natural numbers smaller than a given one. Results of both simulations and experiments are shown to prove its functionality. This less-than oracle implementation works on any number of qubits and does not require any ancilla qubits. Regarding depth, the proposed implementation is compared with the one generated by Qiskit automatic method, UnitaryGate. We show that the depth of our less-than oracle implementation is always lower. This difference is significant enough for our method to outperform UnitaryGate on real quantum hardware.
Interest-Driven Recommendations To Support Time Performance Analyses
(CEUR-WS, 2023) Capitán Agudo, Carlos; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio Educación. España
This paper outlines a doctoral research work that investigates how to support analyses that address time performance questions. To do that, it is investigated how process analysts behave to answer them. Aligned with insights of their behaviors, a system will be developed to recommend the most interesting insights for a certain analyst, with the objective of automating the analysis process.
On Programming Variability with Large Language Model-based Assistant
(ACM, 2023) Acher, Mathieu; Galindo Duarte, José Ángel; Jézéquel, Jean Marc; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Programming variability is central to the design and implementation of software systems that can adapt to a variety of contexts and requirements, providing increased flexibility and customization. Managing the complexity that arises from having multiple features, variations, and possible configurations is known to be highly challenging for software developers. In this paper, we explore how large language model (LLM)-based assistants can support the programming of variability.We report on new approaches made possible with LLM-based assistants, like: features and variations can be implemented as prompts; augmentation of variability out of LLM-based domain knowledge; seamless implementation of variability in different kinds of artefacts, programming languages, and frameworks, at different binding times (compile-time or run-time). We are sharing our data (prompts, sessions, generated code, etc.) to support the assessment of the effectiveness and robustness of LLMs for variability-related tasks.
24th International workshop on configuration (CONFWS'22)
(ACM, 2022) Forza, Cipriano; Galindo Duarte, José Ángel; Stettinger, Martin; Vareilles, Élise; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Configuration is composing product models of complex and variant systems requiring parameterizable components. This traditionally relies on knowledge-representation formalisms that enable the reasoning and automatization of different software engineering tasks when developing such systems. The main goal of this workshop is to promote research in the application areas related to configuration. Traditionally, this workshop has managed to bridge the gap with contributions from both the academy and the industry, thus, enabling the exchange of ideas and challenges. It provides a forum for discussing ideas, evaluations and experiences, especially in using AI techniques for solving configuration problems.
Enterprise information integration
(IO Press, 2016) Hernández Salmerón, Inmaculada Concepción; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Integrating a web application into an automated business process requires to design wrappers that get user queries as input and map them onto the search forms that the application provides. Such wrappers build on automatic navigators which are responsible for navigating to the pages that provide the information required to answer the original user queries. A navigator relies on a web page classifier that discerns which pages provide the information and which do not. In the literature, there are many proposals to classify web pages, but none of them fulfills the requirements for a web page classifier in a navigator context. We address the problem of designing an unsupervised web page classifier that builds solely on the information provided by the URLs and does not require extensive crawling of the site being analysed. Our contribution is CALA, a new automated proposal to generate URL-based web page classifiers. Its salient features are that it does not need to previously crawl the complete web site, it is unsupervised, it does not require to download a page before classifying it, and it is computationally tractable. It has been validated by a number of experiments using real-world, top-visited web sites.
Advisory. Una herramienta para identificar los riesgos de seguridad
(2022) Márquez Trujillo, Antonio Germán; Varela Vaca, Ángel Jesús; Galindo Duarte, José Ángel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
En el desarrollo de un proyecto software actual es frecuente delegar parte de la funcionalidad en librerías o dependencias de terceros. Este uso extensivo de dependencias puede introducir problemas de seguridad en el software que estamos desarrollando y que cada vez afecta a más proyectos software dada la necesidad de conocer cada una de las vulnerabilidades de estas dependencias. Para aliviar este problema, presentamos Advisory , una herramienta que aplica técnicas de análisis automático de la variabilidad al análisis de seguridad de proyectos software.
Simultaneous Evolutionary Optimization of Features Subset and Clusters Number
(ACM, 2023-07-24) Martín, José David; Pontes Balanza, Beatriz; Riquelme Santos, José Cristóbal; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Cluster analysis is a popular technique used to identify patterns in data mining. However, evaluating the accuracy of a clustering task is a challenging process which remains to be an open issue. In this work, we focus on two factors that significantly influence clustering performance: the optimal number of clusters and the subset of relevant attributes. While the former has been extensively studied, the latter has received comparatively less attention, especially in relation to its equivalent in supervised learning. Despite their clear interdependence, these factors have rarely been studied together. In this context, we propose an evolutionary algorithm that simultaneously optimizes both factors using ad-hoc variations of internal validation indices as a fitness function.
Jabuti CE: A Tool for Specifying Smart Contracts in the Domain of Enterprise Application Integration
(ScitePress, 2024) Teles-Borges, Mailson; Bocanegra, Jose; Dornelles, Eldair F.; Sawicki, Sandro; Reina Quintero, Antonia María; Molina-Jimenez, Carlos; Roos-Frantz, Fabricia; Frantz, Rafael Z.; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Some decentralised applications (such as blockchains) take advantage of the services that smart contracts provide. Currently, each blockchain platform is tightly coupled to a particular contract language; for example, Ethereum supports Serpent and Solidity, while Hyperledger prefers Go. To ease contract reuse, contracts can be specified in platform-independent languages and automatically translated into the languages of the target platforms. With this approach, the task is reduced to the specification of the contract in the language statements. This can be tedious and error-prone unless the language is accompanied by supportive tools. This paper presents Jabuti CE, a model-driven tool that assists users of Jabuti DSL in specifying platformindependent contracts for Enterprise Application Integration. We have implemented Jabuti CE as an extension for Visual Studio Code.
Procesamiento de los resultados obtenidos del trabajo con los foros didácticos alojados en cursos virtuales para someterlos a posterior análisis: Realización de informes automáticos partiendo de los correspondientes ficheros logs
(IEEE, 2026-06) Romero Moreno, Luisa María; Enríquez de Salamanca Ros, Fernando; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
El eLearning, asentado en cada vez más instituciones y empresas, continúa evolucionando y mejorando convirtiendo sus métodos en una herramienta de aprendizaje más flexible y utilizados por un mayor número de profesores. Dentro de la evolución natural de estos métodos ha aparecido la disciplina de las Analíticas del Aprendizaje (LA) y que persigue estructurar y organizar el amplísimo volumen de datos que pueden obtenerse del trabajo realizado en el ámbito educativo que incorpora medios digitales. Se presenta aquí un trabajo cuyo objetivo ha sido el diseño de una pieza de software que a través de un fichero en formato csv extraído de un foro de la plataforma Moodle ofrece información sobre las interacciones entre los estudiantes de un curso, entre otros datos. Está información viene presentada en un informe de texto y en un archivo de formato SQL. Posteriormente con un estudio conveniente de estos informes es posible extraer conclusiones contrastadas del trabajo realizado con estos medios y continuar tratando los datos con otras herramientas.
Methodology with python technology and social network analysis tools to analyze the work of students collaborating in facebook groups
(IEEE, 2019) Romero Moreno, Luisa María; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Universities and institutions began to create their virtual campuses by using eLearning platforms whether commercial or not. Within these, it has highlighted among other tools instead of the didactic forums where students among themselves and students and teaching teams could discuss and in general build knowledge within a collaborative context. The data coming from these forums have been analyzed, with different techniques, and have allowed obtaining some very interesting conclusions. However, in recent academic years there is a clear trend of migration of collaborative work that previously occurred in the forums to social networks and mobiles. This poses a problem since these tools are not coordinated by the teaching teams. A preliminary work analyzes this trend and points out the consequences to which it may give rise. The present work exposes a methodology to automate the information obtained from Facebook working group, which have been designed by the students themselves.
Foros Didácticos de las Plataformas de eLearning vs. Redes Sociales y Dispositivos Móviles Aplicados a la Enseñanza Aprendizaje: Un Caso de Estudio Aplicando Analíticas de Aprendizaje
(IEEE, 2018) Romero Moreno, Luisa María; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Las Universidades e instituciones comenzaron a crear sus campus virtuales recurriendo a plataformas eLearning ya fueran comerciales o de software libre. Dentro de ellas, ha destacado entre otras herramientas la de los foros didácticos donde alumnos entre sí y alumnos y equipos docentes podían debatir y en general construir conocimiento dentro de un contexto colaborativo. Los datos provenientes de estos foros han sido analizados, con diferentes técnicas, y han permitido obtener unas muy interesantes conclusiones. Sin embargo, en los últimos cursos académicos se advierte una clara tendencia de migración del trabajo colaborativo que antes se producía en los foros hacía las redes sociales y el dispositivo móvil. Esto plantea un problema al no estar estas herramientas coordinadas por los equipos docentes. El presente trabajo analiza esta tendencia y señala las consecuencias a qué puede dar lugar.
Análisis de la Presencia de Estudiantes Femeninas en las Escuelas de Ingeniería Informática: Una metodología de Aplicación para cambiar la tendencia
(IEEE, 2022) Romero Moreno, Luisa María; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Las llamadas materias STEM constituyen hoy un enorme foco de interés desde el mundo académico y desde las instituciones, sobre todo, si atendemos a una perspectiva de género. Si se analiza el caso de la Ingeniería Informática los resultados arrojados son enormemente sorprendentes. En el curso 2018-19 las matriculaciones femeninas en Ingeniería Informática (en el caso de España) fueron solamente 1,08 % de las matriculaciones femeninas de nuevo ingreso. Y desde esta fecha parece que la tendencia se mantiene e incluso empeora. También ocurre algo similar en los países de nuestro entorno. En el presente trabajo intentamos recoger datos, realizar una reflexión y dar unas pautas que ayuden a cambiar la tendencia, partiendo de la escasa bibliografía de que se dispone al respecto.
Enhancing Event Log Manipulation and Insight Discovery through Querying Process Representations with DFGs
(CEUR-WS, 2023) Salas Urbano, María; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; MCIN/ AEI/ 10.13039/501100011033/
In this doctoral thesis project we will address some limitations of the current process mining tools to analyze business processes. To achieve this, we propose to develop and evaluate a tool based on a query language for analyzing and visualizing business processes from event logs.
Towards Integrating Interface Behavior Models for Components of Distributed Control Software
(IEEE, 2023) Wiesmayr, Bianca; Gutiérrez Fernández, Antonio Manuel; Zoitl, Alois; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Abstract—Modeling distributed control software facilitates reacting to changing hardware configurations due to the higher abstraction level. Well-designed modules of such systems may be arranged flexibly to perform production tasks, which need to be adapted during the life-cycle of the system. Although IEC 61499 supports modeling the relations between inputs and outputs of its software components as service sequence models, these models are not integrated with the rest of the development process. In this paper, we outline our vision of using the captured information on the interface behavior for development tasks of distributed control software modeled according to IEC 61499. The proposed research directions can contribute to the acceptance of modeling methods in the domain, as appropriate tool support can notably leverage the benefit of models.
Modularization Technique to Support Software Variability in Cyber-Physical Production Systems
(ACM, 2023) Sharma, Shubham; Fadhlillah, Hafiyyan Sayyid; Gutiérrez Fernández, Antonio Manuel; Rabiser, Rick; Zoitl, Alois; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Industries still have problems managing and organizing control software variants for different machine processes in Cyber-Physical Production Systems (CPPSs). They still rely mostly on clone-andown approaches to create new control software variants when introducing new process variability in reaction to customers’ requirements. This approach not only results in code duplication but over time particularly makes it more difficult to maintain and evolve the software. Due to a lack of modularization, this approach also often results in unnecessary code in delivered software, locked by parameters, which can have a further negative effect on maintenance. In this paper, we discuss modularization approaches to organize control software in CPPSs. Specifically, for IEC 61499- based control software, we propose the combination of explicit variants described in 150% modules, standardized interfaces, and separation of concerns. We discuss how our approach could help industry to decrease the effort for new projects and at the same time get a better overview of the product and process variability of their CPPSs.
Managing Cyber-Physical Production Systems Variability using V4rdiac: Industrial Experiences
(ACM, 2023-08-28) Fadhlillah, Hafiyyan Sayyid; Gutiérrez Fernández, Antonio Manuel; Rabiser, Rick; Zoitl, Alois; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Cyber-Physical Production Systems (CPPSs) are highly robust and versatile production systems that utilize diverse hardware components through control software. Employing a systematic variability management approach for developing variants of control software can reduce cost and time-to-market to build such complex systems. However, employing this approach in the CPPS domain is challenging. Engineering CPPSs require multidisciplinary engineering knowledge (e.g., process, signal, mechanical). Knowledge about CPPS variability is thus typically scattered across diverse engineering artifacts. Also, variability knowledge is usually not documented explicitly but rather tacit knowledge of mostly senior engineers. Furthermore, control software is commonly implemented using a graphical Domain-Specific Modeling Language (DSML) which only provides minimal support to express variability. This paper describes our experiences dealing with these challenges in an industrial context using a multidisciplinary variability management approach called Variability for 4diac (V4rdiac). V4rdiac is an integrated approach that allows CPPS engineers to conduct stepwise product configuration based on heterogeneous variability models from multiple engineering disciplines. V4rdiac also provides a mechanism to automatically generate control software based on a set of selected configuration options. We evaluate how V4rdiac implements and manages CPPS control software variants in the metallurgical production plant domain. We describe the benefits and lessons learned from using V4rdiac in this domain based on feedback from industrial practitioners.
Implementing a PLC-Service bus with IEC 61499
(IEEE, 2022) Ashiwal, Virendra; Gutiérrez Fernández, Antonio Manuel; Zoitl, Alois; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
With an increased demand for customization, a better quality of products, and available variability in machines, enforcing machine developers to rethink how PLC-software is structured and developed. It demands the PLC-software to be adaptable, flexible, and modular. Current PLC-software uses global variables for interaction between its program organization units (POUs). Global variables increase tight coupling and reduce adaptability, flexibility, and modularity. A new architectural concept, the PLC-Service bus, was suggested to address this issue. To reduce coupling, POUs and software components of the PLC communicate via a service bus. This concept leads to two problems. There are no standard models to describe these interactions clearly, and there is no implementation of the PLC-Service bus to develop PLC-software based on message interaction patterns (MIPs). This paper uses the capping station from the VDMA R+A OPC UA Demonstrator as a running example. With an Event-driven process chain model (EPC), we describe the interactions between various software components of the capping station to identify MIPs. Based on these MIPs, we implement the PLC-software of the capping station with IEC 61499.

Examinar

Envíos recientes