• Aucun résultat trouvé

Preface

N/A
N/A
Protected

Academic year: 2022

Partager "Preface"

Copied!
1
0
0

Texte intégral

(1)

Preface

The second Workshop on the Analysis of Model Transformations (AMT’13) was held on September 29, 2013 in Miami, Florida, in collocation with the ACM/IEEE 16th International Conference on Model Driven Engineering Lan- guages and Systems (MODELS’13).

The AMT workshop series acknowledges the increasing importance and com- plexity of model transformations and attempts to provide a forum in which the analysis of model transformations to support the development, quality assurance, maintenance, and evolution of model transformations is discussed.

The workshop had over 30 attendees and contained a keynote given by Robert Baillargeon from Sodius Corporation and presentations of nine papers by authors from 11 countries, organized into four sessions: Testing 1; Testing 2; Reuse, Evolution and Optimization; and Non-functional Requirements. A discussion session concluded the workshop.

The keynote by Robert Baillargeon reviewed trends in automotive software development, highlighted the use of model transformations to achieve migration, interoperability, or amplification (i.e., assert creation), and identified challenges in each of these areas.

Discussion was lively and enhanced significantly by a number of participants from industry (Boeing, Tibco, and Sodius); a broad range of topics were dis- cussed including technical challenges (e.g., testing, requirements and optimiza- tion) and more fundamental questions (e.g., adoption of model transformations in industry and how it can be improved).

Overall, AMT’13 reflected a growing interest in the analysis of model trans- formations in academia and industry and its use to facilitate all lifecycle activi- ties.

Acknowledgements

We thank Robert Baillargeon for his stimulating and informative keynote, the AMT’13 Program Committee for their hard work, and the MODELS’13 Work- shop Chairs for their support.

The AMT’13 Co-Organizers Benoit Baudry,

Juergen Dingel, Levi Lucio, and Hans Vangheluwe

Références

Documents relatifs

The rest of this paper is organized as follows: Section 2 gives an overview of the GM-to-AUTOSAR transformation previously presented in [29]; Section 3 introduces the

Most declarative and hybrid transformation languages have a common exe- cution semantics which consists of applying individual transformation rules to specific source model

We used Alloy as the QueST underlying language, so metamodels as well as queries are encoded as Alloy specification.. The authors of paper [BECG12] provide an automatic translation

Named variadic functions specify the type of the node, the nesting of the function calls reflects the structure of the tree and the optional leading arguments accept functions that

Christian Schlegel University of Applied Sciences (Germany) Lionel Seinturier University of Lille/INRIA (France) Severine Sentilles M¨ alardalen University (Sweden) Massimo

When the contract prover is determining which rules the con- tract depends on, the output in Figure 4 will be produced. In the section marked a), the analysis indicates that the

It tries to cover all aspects of modeling, yet analytics and mining of model repositories (and other large collections of models) has not been a prime focus or the topic of a

In the same paper they point out the fact that the formalism used to define model transformations in Triple Graph Grammars (T GG s) [37] could also be used to encode structural