Buscar
Mostrando ítems 1-10 de 11
Ponencia
Towards Approximate Model Transformations
(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 ...
Ponencia
Fully Verifying Transformation Contracts for Declarative ATL
(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 ...
Ponencia
Towards Pattern-Based Optimization of Cloud Applications
(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 ...
Ponencia
ARTIST: Model-Based Stairway to the Cloud
(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 ...
Ponencia
From Out-Place Transformation Evolution to In-Place Model Patching
(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 ...
Ponencia
Energy Analysis of Services through Green Metrics: Towards Green Certificates
(Springer, 2012)
Energy-awareness in services can be obtained through annotations regarding energy consumption. In this paper, annotations are given as Green Performance Indicators (GPIs). A service is annotated in terms of its structure, ...
Ponencia
Introducing Approximate Model Transformations
(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 ...
Ponencia
Methodology for Green Certificates of Service Applications
(IEEE Computer Society, 2012)
Energy-aware services can be obtained by composing Green Performance Indicators (GPIs) into a Green Certificate (GC), a document showing a service’s energy related performance along all the service lifecycle. This paper ...
Ponencia
XMLText: From XML Schema to Xtext
(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 ...
Ponencia
Towards Systematic Mutations for and with ATL Model Transformations
(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 ...