• Bidimensional Cross-Cloud Application Management with TOSCA and Brooklyn (summary) 

      Carrasco, José; Cubo, Javier; Durán, Francisco; Pimentel, 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 

      Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; [et al.] (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, José; Durán, Francisco; Pimentel, 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 

      Durán, Francisco; Zschaler, Steffen (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 

      Moreno-Delgado, Antonio; Durán, Francisco; Zschaler, Steffen; Troya, Javier (2014-08-01)
      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 

      Chicano, Francisco; Durán, Francisco
      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; Alvarez-Palomo, Jose Maria (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, José; Durán, Francisco; Pimentel, 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 

      Moreno-Delgado, Antonio; Durán, Francisco; Meseguer, José (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) 

      De Oliveira, Patricia; Durán, Francisco; Pimentel, Ernesto (2017)
      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, 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 

      Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; [et al.] (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 ...