Búsqueda avanzada

El autor Antonio Moreno-Delgado ha publicado 4 artículo(s):

1 - Analysis of the Scientific Production of the Spanish Software Engineering Community

Our group has been working on a report for the SpanishúSociety of Software Engineering and Software Development Technologies (SISTEDES) to provide a general overview of the Spanish scientificúproduction and its contributions worldwide in the field of Software Engineering. Although a Database solution could have been used, we decidedúto employ Model-Driven Development (MDD) techniques in order toúevaluate their applicability, suitability and fitness for these kinds of purposes, and to learn from the experience in this domain, which combinesúdata integration, large scale models, and complex queries.

Autores: Loli Burgueño / Antonio Moreno-Delgado / Antonio Vallecillo / 
Palabras Clave: MDD - scientific contribution - SISTEDES - software engineering - Spain

2 - Modular DSLs for flexible analysis: An e-Motions reimplementation of Palladio (High-level Work)

We summarize the main contributions of the work [11] presented in the Modelling Foundations and Applications – 10th European Conference, ECMFA 2014. In [11], we addressed some of the limitations for extending and validating implementations of Non Functional Properties (NFP) analysis tools by presenting a modular, model-based partial reimplementation of one well-known analysis framework, namely the Palladio Architecture Simulator. We specified the key DSLs from Palladio in the e-Motions system, describing the basic simulation semantics as a set of graph transformation rules. Different properties to be analyzed are then encoded as separate, parameterized DSLs, independent of the definition of Palladio. These can then be composed with the base Palladio DSL to generate specific simulation environments. Models created in the Palladio IDE can be fed directly into this simulation environment for analysis. We demonstrate two main benefits of our approach: 1) The semantics of the simulation and the non-functional properties to be analysed are made explicit in the respective DSL specifications, and 2) because of the compositional definition, we can add definitions of new non-functional properties and their analyses.

Autores: Antonio Moreno-Delgado / Steffen Zschaler / Javier Troya /  Francisco Durán / 
Palabras Clave:

3 - On the Modular Specification of NFPs: A Case Study

The modular specification of non-functional properties of systems is a current challenge of Software Engineering, for which no clear solution exists. However, in the case of Domain-Specific Languages some successful proposals are starting to emerge, combining model-driven techniques with aspect-weaving mechanisms. In this paper we show one of these approaches in practice, and present the implementation we have developed to fully support it. We apply our approach for the specification and monitoring of non-functional properties using observers to a case study, illustrating how generic observers defining nonfunctional properties can be defined in an independent manner. Then, correspondences between these observers and the domain-specific model of the system can be established, and then weaved into a unified system specification using an ATL model transformation. Such a unified specification can also be analyzed in a natural way to obtain the required non-functional properties of the system.

Autores: Antonio Moreno-Delgado / Javier Troya / Francisco Durán / Antonio Vallecillo / 
Palabras Clave: Domain Specific Languages - model transformations - Non-functional Properties - weaving mechanisms

4 - First steps towards a specification of Blockchain systems using Maude

This work presents a formal specification of the blockchain algorithm. We specify the consensus algorithm in rewriting logic and Maude. The fact that the specification is executable allows us to simulate and analyze it, with the goal of identifying potential weaknesses and testing new algorithms built on top of the existing infrastructure.

Autores: Francisco Durán / Antonio Moreno-Delgado / 
Palabras Clave: Blockchain - Maude - Rewriting Logic