• Ponencia
      Icon

      ARTIST: Model-Based Stairway to the Cloud 

      Troya Castilla, Javier; Brunelière, Hugo; Fleck, Martin; Wimmer, Manuel; Orue-Echevarría, Leire; Gorroñogoitia, Jesús (CEUR-WS, 2015)
      Over the past decade, cloud services emerged as one of the most promising technologies in IT. Since cloud computing allows ...
    • Ponencia
      Icon

      Energy Analysis of Services through Green Metrics: Towards Green Certificates 

      Fugini, Mariagrazia; Parejo Maestre, José Antonio (Springer, 2012)
      Energy-awareness in services can be obtained through annotations regarding energy consumption. In this paper, annotations ...
    • Ponencia
      Icon

      From Out-Place Transformation Evolution to In-Place Model Patching 

      Bergmayr, Alexander; Troya Castilla, Javier; Wimmer, Manuel (ACM Digital Library, 2014)
      Model transformation is a key technique to automate software engineering tasks. Like any other software, transformations ...
    • Ponencia
      Icon

      Fully Verifying Transformation Contracts for Declarative ATL 

      Oakes, Bentley James; Troya Castilla, Javier; Lúcio, Levy; Wimmer, Manuel (IEEE Computer Society, 2015)
      The Atlas Transformation Language (ATL) is today a de-facto standard in model-driven development. It is understood by ...
    • Ponencia
      Icon

      Introducing Approximate Model Transformations 

      Troya Castilla, Javier; Vallecillo Moreno, Antonio (Universidad de Cádiz, 2014)
      Model transformations dealing with very large models need to count on mechanisms and tools to be able to manage them. The ...
    • Ponencia
      Icon

      Methodology for Green Certificates of Service Applications 

      Fugini, Mariagrazia; Parejo Maestre, José Antonio (IEEE Computer Society, 2012)
      Energy-aware services can be obtained by composing Green Performance Indicators (GPIs) into a Green Certificate (GC), ...
    • Ponencia
      Icon

      Towards Approximate Model Transformations 

      Troya Castilla, Javier; Wimmer, Manuel; Burgueño, Loli; Vallecillo Moreno, Antonio (CEUR-WS, 2014)
      As the size and complexity of models grow, there is a need to count on novel mechanisms and tools for transforming them. ...
    • Ponencia
      Icon

      Towards Pattern-Based Optimization of Cloud Applications 

      Fleck, Martin; Troya Castilla, Javier; Langer, Phillip; Wimmer, Manuel (CEUR-WS, 2014)
      With the promise of seemingly unlimited resources and the flexible pay-as-you-go business model, more and more applications ...
    • Ponencia
      Icon

      Towards Systematic Mutations for and with ATL Model Transformations 

      Troya Castilla, Javier; Bergmayr, Alexander; Burgueño, Loli; Wimmer, Manuel (IEEE Computer Society, 2015)
      Model transformation is a key technique to automate software engineering tasks, such as generating implementations of ...
    • Ponencia
      Icon

      UML-based Cloud Application Modeling with Libraries, Profiles, and Templates 

      Bergmayr, Alexander; Troya Castilla, Javier; Neubauer, Patrick; Wimmer, Manuel; Kappel, Gerti (CEUR-WS, 2014)
      Recently, several cloud modeling approaches have emerged. They address the diversity of cloud environments by introducing ...
    • Ponencia
      Icon

      XMLText: From XML Schema to Xtext 

      Neubauer, Patrick; Bergmayr, Alexander; Mayerhofer, Tanja; Troya Castilla, Javier; Wimmer, Manuel (ACM Digital Library, 2015)
      A multitude of Domain-Specific Languages (DSLs) have been implemented with XML Schemas. While such DSLs are well adopted ...