AVISO IMPORTANTE
Recomendamos que se envíen a RIUMA aquellas publicaciones que vayan a utilizar como aportaciones en próximas convocatorias de solicitud de sexenios, solicitud de complementos o acreditación, ya que NO podemos asegurarle que los envíos que se realicen DURANTE EL PERÍODO DE LA CONVOCATORIA, puedan ser aprobados a tiempo.
Listar por autor "Durán-Muñoz, Francisco Javier"
Mostrando ítems 1-15 de 15
-
A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems.
Araujo De Oliveira, Patricia; Durán-Muñoz, Francisco Javier
; Pimentel-Sánchez, Ernesto (Wiley, 2021)
An adaptive system can modify its settings at runtime as a response to changes in its operational environment. To analyse this kind of systems at design time is a difficult task since it requires considering the system ... -
A Requirements-Driven Approach for Building Architecture Projects of Self-Adaptive Systems
(UMA Editorial, 2022)A well-structured software architectural project allows us to analyze and describe the properties of a complex system towards a general and complete overview, thus enabling the alternative decision-making in the face of ... -
A rewriting logic semantics for the analysis of P programs
Durán-Muñoz, Francisco Javier; Ramírez, Carlos; Rocha, Camilo; Pozas, Nicolás (Elsevier, 2025-02-15)
P is a domain-specific language designed for specifying asynchronous, event-driven systems. Its computational model is based on actors, i.e., on communicating state machines. This paper presents a formal semantics of P ... -
Aplicación web para el análisis unificado de procesos BPMN
(2022-06)Un proceso de negocio es un conjunto de actividades estructuradas que tienen como objetivo desarrollar un determinado producto o software. BPMN es la notación de facto para diseñar y modelar gráficamente estos procesos. ... -
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
Durán-Muñoz, Francisco Javier; Pozas, Nicolás; Rocha, Camilo (Elsevier, 2024)
A significant task in business process optimization is concerned with streamlining the allocation and sharing of resources. This paper presents an approach for analyzing business process provisioning under a resource ... -
Composición de servicios con restricciones usando utilidad
(2022-06)La composición de servicios puede ser entendida como la correspondencia servicio- proveedor dentro de una arquitectura basada en servicios. No solamente bastará con realizar una mera asignación, sino que dicha selección ... -
La escalabilidad en la gestión de aplicaciones IoT basadas en servicios.
(UMA Editorial, 2024)La tesis afronta los desafíos de escalabilidad en aplicaciones IoT y propone soluciones automatizadas para la gestión eficiente de servicios. Se identifican cinco problemas clave: la complejidad de gestionar numerosos ... -
Live migration of trans-cloud applications.
Carrasco Mora, José Manuel; Durán-Muñoz, Francisco Javier; Pimentel-Sánchez, Ernesto (Elsevier, 2020)
The development of applications independent of the cloud providers where they are going to be deployed is still an open issue. In fact, cloud agnostic software development presents important challenges to be solved. One ... -
Location-aware scalable service composition.
Pozas García, Nicolás; Durán-Muñoz, Francisco Javier; Moreno Berrocal, Katia; Pimentel-Sánchez, Ernesto (Wiley, 2023)
The problem of service composition is the process of assigning resources to services from a pool of available ones in the shortest possible time so that the overall quality of service is maximized. This article provides ... -
Monitorización a nivel de Plataforma de servicios desplegados en la Nube
(2017-01-30)El desarrollo y crecimiento de tecnologías basadas en Cloud Computing o Computación en la Nube nos proporciona un nuevo modelo de entender el desarrollo y computación de aplicaciones y servicios. Este modelo está basado ... -
On the Modular Specification of NFPs: A Case Study
Moreno-Delgado, Antonio; Troya-Castilla, Javier; Durán-Muñoz, Francisco Javier; Vallecillo-Moreno, Antonio Jesús (Jornadas de Ingeniería del Software y Bases de Datos, 2013-09)
The modular specification of non-functional properties of systems is a current challenge of Software Engineering, for which no clear solution exists. However, in the case of Domain-Specific Languages some successful proposals ... -
Self-healing trans-cloud applications.
Brogi, Antonio; Carrasco Mora, José Manuel; Durán-Muñoz, Francisco Javier; Pimentel-Sánchez, Ernesto; Soldani, Jacopo (Springer Nature, 2022-07-04)
Trans-cloud applications consist of multiple interacting components deployed across different cloud providers and at different service layers (IaaS and PaaS). In such complex deployment scenarios, fault handling and recovery ... -
Simulation and analysis of MultEcore multilevel models based on rewriting logic.
Rodríguez, Alejandro; Durán-Muñoz, Francisco Javier; Kristensen, Lars Michael (Springer Nature, 2021)
Multilevel modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited number of abstraction levels when specifying domain-specific modelling languages (DSMLs). In this paper, we ... -
Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud.
Carrasco Mora, José Manuel; Durán-Muñoz, Francisco Javier; Pimentel-Sánchez, Ernesto (Elsevier, 2018)
The diversity in the way in which different cloud providers offer their services, give their SLAs, present their QoS, or support different technologies complicates the portability and interoperability of cloud applications, ... -
Unified Management of Applications on Heterogeneous Clouds
(UMA Editorial, 2021-06-18)La diversidad con la que los proveedores cloud ofrecen sus servicios, definiendo sus propias interfaces y acuerdos de calidad y de uso, dificulta la portabilidad y la interoperabilidad entre proveedores, lo que incurre en ...