Listar por autor "Durán, Francisco"
Mostrando ítems 1-12 de 12
-
Bidimensional Cross-Cloud Application Management with TOSCA and Brooklyn (summary)
Carrasco Mora, José Manuel; Cubo, Javier; Durán, Francisco; Pimentel-Sánchez, Ernesto
(Salamanca University Press, 2016)
The diversity in the way different cloud providers offer their services, give their SLAs, present their QoS, support different technologies, etc., complicates the portability and interoperability of cloud applications, and ... -
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7
(2017)This paper introduces some novel features of Maude 2.7. We have added support for: (i) built-in order-sorted unification modulo associativity, commutativity, and identity, (ii) built-in variant generation, (iii) built-in ... -
Component-wise application migration in bidimensional cross-cloud environments
Carrasco Mora, José Manuel; Durán, Francisco; Pimentel-Sánchez, Ernesto (ScitePress, 2017-04)
We propose an algorithm for the migration of cloud applications' components between different providers, possibly changing their service level between IaaS and PaaS. Our solution relies on three of the key ingredients of ... -
GTS Families for the Flexible Composition of Graph Transformation Systems
(2017)Morphisms between graph-transformation systems (GTSs) have been successfully used for the refinement, reuse, and composition of GTSs. All these uses share a fundamental problem: to be able to define a morphism, source and ... -
Modular DSLs for flexible analysis: An e-Motions reimplementation of Palladio
We address some of the limitations for extending and validating MDE-based implementations of NFP analysis tools by presenting a modular, model-based partial reimplementation of one well-known analysis framework, namely the ... -
Mutantes como apoyo para la valoración de pruebas
En este trabajo proponemos el uso de la técnica de mutation testing, o pruebas basadas en mutación, en asignaturas de pruebas de software para ayudar en la labor de evaluación de las mismas, a la vez que su propio uso ayuda ... -
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages
Durán, Francisco; Moreno-Delgado, Antonio; Álvarez-Palomo, José María (Springer, 2016)
Domain experts may use novel tools that allow them to de- sign and model their systems in a notation very close to the domain problem. However, the use of tools for the statistical analysis of stochas- tic systems requires ... -
Towards a unified management of applications on heterogeneous clouds
Carrasco Mora, José Manuel; Durán, Francisco; Pimentel-Sánchez, Ernesto (2016-10-05)
The diversity in the way cloud providers o↵er their services, give their SLAs, present their QoS, or support di↵erent technologies, makes very difficult the portability and interoperability of cloud applications, and favours ... -
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications
(2016)Non-Functional Properties (NFPs) are crucial in the design of software. Specification of systems is used in the very first phases of the software development process for the stakeholders to make decisions on which architecture ... -
Towards the model-based predictive performance analysis of Cloud adaptive systems with e-Motions (Trabajo en progreso)
We use graph transformation to define an adaptive component model, what allows us to carry on predictive analyses on dynamic architectures through simulations. Specifically, we build on the e-Motions definition of the ... -
Towards the predictive analysis of cloud systems with e-Motions
De Oliveira, Patricia; Moreno-Delgado, Antonio; Durán, Francisco; Pimentel-Sánchez, Ernesto (2017-05-17)
Current methods for the predictive analysis of software systems are not directly applicable on self-adaptive systems as cloud systems, mainly due to their complexity and dynamism. To tackle the difficulties to handle the ... -
Two Decades of Maude
(2015-09-30)This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his ...