Now showing items 1-9 of 9

    • Icon

      ARTIST: Model-Based Stairway to the Cloud  [Presentation]

      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 improving the quality of software and, at the same time, aims at reducing costs of operating ...
    • Icon

      From Out-Place Transformation Evolution to In-Place Model Patching  [Presentation]

      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 are not resilient to change. As changes to transformations can invalidate previously produced ...
    • Icon

      Fully Verifying Transformation Contracts for Declarative ATL  [Presentation]

      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 the community that methods for exhaustively verifying such transformations provide an important pillar ...
    • Icon

      Introducing Approximate Model Transformations  [Presentation]

      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 usual approach to improve performance in these cases has focused on the use of concurrency ...
    • Icon

      Towards Approximate Model Transformations  [Presentation]

      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. This is required, e.g., when model transformations need to provide target models without having ...
    • Icon

      Towards Pattern-Based Optimization of Cloud Applications  [Presentation]

      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 are moving to the cloud. However, to fully utilize the features offered by cloud providers, the ...
    • Icon

      Towards Systematic Mutations for and with ATL Model Transformations  [Presentation]

      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 software systems from higher-level models. To enable this automation, transformation engines are used ...
    • Icon

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

      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 a considerable set of modeling concepts in terms of novel domain-specific languages. At the ...
    • Icon

      XMLText: From XML Schema to Xtext  [Presentation]

      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 and flexible, they miss modern DSL editor functionality. Moreover, since XML is primarily designed ...