Fernando Macías

Fernando Macías
Madrid Institute for Advanced Studies | IMDEA · IMDEA-Software

PhD

About

27
Publications
1,390
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
111
Citations
Citations since 2016
19 Research Items
103 Citations
2016201720182019202020212022051015202530
2016201720182019202020212022051015202530
2016201720182019202020212022051015202530
2016201720182019202020212022051015202530
Introduction

Publications

Publications (27)
Preprint
Full-text available
Modern software engineering deals with demanding problems that yield large and complex software. The area of Model-Driven Software Engineering tackles this issue by using models during the development process, but it does not address some of the communication problems among different stakeholders. Domain-Specific Modelling Languages (DSML) aim at i...
Article
Full-text available
The use of Domain-Specific Languages (DSLs) is a promising field for the development of tools tailored to specific problem spaces, effectively diminishing the complexity of hand-made software. With the goal of making models as precise, simple and reusable as possible, we augment DSLs with concepts from multilevel modelling, where the number of abst...
Conference Paper
Full-text available
Meta-models play a pivotal role in Model-Driven Engineering, as they are used to define the structure of instance models one level below. However, in some scenarios, organizing meta-models and their instances in multi-level models spanning more than two levels yields simpler solutions. This fact has triggered the proposal of different multi-level m...
Article
Multilevel Modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited number of abstraction levels to specify their domain-specific modelling languages (DSMLs). To fully exploit MLM techniques, we need powerful model composition operators. Indeed, the composition of DSMLs is becoming increasingly relevant to t...
Article
Full-text available
Model transformations play an essential role in most model-driven software projects. As the size and complexity of model transformations increase, their reuse, evolution and maintenance become a challenge. This work further details the Model Transformation TEst Specification (MoTES) approach, which leverages contract-based model testing techniques...
Preprint
Full-text available
Multilevel modeling extends traditional modeling techniques with a potentially unlimited number of abstraction levels. Multilevel models can be formally represented by multilevel typed graphs whose manipulation and transformation are carried out by multilevel typed graph transformation rules. These rules are cospans of three graphs and two inclusio...
Chapter
Multilevel modeling extends traditional modeling techniques with a potentially unlimited number of abstraction levels. Multilevel models can be formally represented by multilevel typed graphs whose manipulation and transformation are carried out by multilevel typed graph transformation rules. These rules are cospans of three graphs and two inclusio...
Preprint
Full-text available
Within Model-Driven Software Engineering, Domain-Specific Modelling has proven to be a powerful technique to specify systems and systems' behaviour in a formal, yet understandable way. Runtime verification (RV) has been successfully used to verify the correctness of such behaviour. Specifying behaviour requires managing various levels of abstractio...
Technical Report
Full-text available
Multilevel modeling extends traditional modeling techniques with an unlimited number of abstraction levels. Multilevel models can be formally represented by multilevel typed graphs whose manipulation and transformation are carried out by multilevel typed graph transformation rules. These rules are cospans of three graphs and two inclusion graph hom...
Conference Paper
The MULTI Challenge is intended to encourage the Multilevel Modelling research community to submit solutions to the same, well described problem. This year the subject domain has been changed with respect to previous editions (MULTI Bicycle challenge in 2017 and 2018). This paper presents one solution in the context of process management, where uni...
Conference Paper
Coloured Petri Nets (CPNs) is a modelling language for distributed systems which has been applied in a multitude of industrial cases. The supporting tool of CPNs is currently lacking important features such as having the possibility of tailoring the tool for specific domains and separation of concerns for facilitating its extensions and adaptation...
Technical Report
Full-text available
Multilevel Modelling extends conventional techniques from the area of Model-Driven Engineering(MDE) by providing model hierarchies with multiple levels of abstraction. The correctness of thisparadigm, which offers richer semantics and increased flexibility to modelling processes, can be ensuredusing categorical constructions. Similarly, graph trans...
Conference Paper
Runtime verification is an approach growing in popularity to verify the correctness of complex and distributed systems by monitoring their executions. Domain Specific Modeling Languages are a technique used for specifying such systems in an abstract way, but still close to the solution domain. This paper aims at integrating runtime verification and...
Article
Full-text available
This paper describes one of the solutions for the ninth Transformation Tool Contest (TTC '16), which resolves the Class Responsibility Assignment Case using a transformation tool based on Microsoft Excel and Visual Basic. In this project, these relatively unusual technologies are used to eff�ectively enhance the processing of large models and matri...
Article
Full-text available
Web 2.0 phenomenon, REST services and growing mobile service consumption, among other factors, are leading the development of web applications to a new paradigm, named cross-device web application. Those web sites let organizations of all sizes provide a pervasive and contextual access to their information and services, to customers, employees and...
Chapter
Full-text available
Web 2.0 phenomenon, REST APIs and growing mobile service consumption are leading the development of web applications to a new paradigm, named cross-device web application. Most organizations often possess legacy systems which should face an ongoing evolution process to enhance its accessibility and interoperability. In such scenario, a REST API pla...
Conference Paper
Full-text available
Web application (WA) development has been fueled by the definition and evolution of web application frameworks since late 90’s. In parallel, Model Driven Web Engineering approaches have been defined and successfully applied to reduce the effort of web application development and reuse, fostering the independence of the implementation technology. Al...
Conference Paper
Web 2.0 phenomenon, REST APIs and growing mobile service consumption, among other factors, are leading the development of web applications to a new paradigm, named cross-device web application. Those web sites let organizations of all sizes provide a pervasive and contextual access to their information and services, to customers, employees and part...

Network

Cited By

Projects

Projects (2)
Archived project
Project related to the PhD thesis of Fernando Macías, supervised by Adrian Rutle and Volker Stolz.
Archived project
Model-Driven Migration Process of Legacy Web Applications into Rich Internet Applications