Atjaunināt sīkdatņu piekrišanu

Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings 2010 ed. [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 278 pages, weight: 440 g, 95 Illustrations, black and white; X, 278 p. 95 illus., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 6142
  • Izdošanas datums: 17-Jun-2010
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642136877
  • ISBN-13: 9783642136870
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
  • Formāts: Paperback / softback, 278 pages, weight: 440 g, 95 Illustrations, black and white; X, 278 p. 95 illus., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 6142
  • Izdošanas datums: 17-Jun-2010
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642136877
  • ISBN-13: 9783642136870
Model transformations are the glue that tie modelling activities together. If youve used modelling in anger then, whether you know it or not, youve used model transformations. They come in all shapes and sizes from moving models between di erent tools to generating implementations. Model transformations have humble beginningsat one point, not long ago, it was said by many in the know that the way forward in model transformations was to use XSLT. That this idea now raises a wry smile shows how far the model transformation community has come in a short time. Where once model transformations were hacked together in a variety of unsuitable languages, we now have a number of powerful, dedicated languages and theories at our disposal. Since 2008, the ICMT conference series has played a huge part in advancing the subject, and this third edition was no di erent. The theories and languages presented at ICMT have allowed principled model transformations to play an ever greater part in real systems. Of course there is still much more to do: we need our model transformations, languages, and theories to scale further, allow greater expressivity, be more ?exible, and aid reusability; and we lack empirically backed studies of model transformations in use. Doubtless you can think of other gaps. Yet, though some real-world challenges lie just beyond our reach,eachyearseesonce-dauntingproblemsconquered.Muchofthatprogressis nowdriven byICMT, andthis yearsedition showedhow model transformations are increasingly being used in previously unfamiliar areas.
Invited Paper
Search Computing: A Model-Driven Perspective
1(15)
Marco Brambilla
Stefano Ceri
Massimo Tisi
Research Papers
Domain-Specific Composition of Model Deltas
16(15)
Maider Azanza
Don Batory
Oscar Diaz
Salvador Trujillo
Temporal Model-Based Diagnostics Generation for HVAC Control Systems
31(14)
Marion Behrens
Gregory Provan
Synthesis of OCL Pre-conditions for Graph Transformation Rules
45(16)
Jordi Cabot
Robert Clariso
Esther Guerra
Juan de Lara
From State- to Delta-Based Bidirectional Model Transformations
61(16)
Zinovy Diskin
Yingfei Xiong
Krzysztof Czarnecki
A Constructive Approach to Testing Model Transformations
77(16)
Camillo Fiorentini
Alberto Momigliano
Mario Ornaghi
Iman Poernomo
From Sequence Diagrams to State Machines by Graph Transformation
93(15)
Roy Grønmo
Birger Møller-Pedersen
Safe Composition of Transformations
108(15)
Florian Heidenreich
Jan Kopcsek
Uwe Aßmann
Towards Incremental Execution of ATL Transformations
123(15)
Frederic Jouault
Massimo Tisi
Constructing and Navigating Non-invasive Model Decorations
138(15)
Dimitrios S. Kolovos
Louis M. Rose
Nikolaos Drivalos Matragkas
Richard F. Paige
Fiona A.C. Polack
Kiran J. Fernandes
Model-to-Model Transformations By Demonstration
153(15)
Philip Langer
Manuel Wimmer
Gerti Kappel
Implementing Business Process Recovery Patterns through QVT Transformations
168(16)
Ricardo Perez-Castillo
Ignacio Garcia-Rodriguez de Guzman
Mario Piattini
Model Migration with Epsilon Flock
184(15)
Louis M. Rose
Dimitrios S. Kolovos
Richard F. Paige
Fiona A.C. Polack
Exceptional Transformations
199(16)
Eugene Syriani
Jorg Kienzle
Hans Vangheluwe
Improving Higher-Order Transformations Support in ATL
215(15)
Massimo Tisi
Jordi Cabot
Frederic Jouault
Towards a Rewriting Logic Semantics for ATL
230(15)
Javier Troya
Antonio Vallecillo
Metamodel Matching Based on Planar Graph Edit Distance
245(15)
Konrad Voigt
Thomas Heinze
Surviving the Heterogeneity Jungle with Composite Mapping Operators
260(17)
Manuel Wimmer
Gerti Kappel
Angelika Kusel
Werner Retschitzegger
Johannes Schoenboeck
Wieland Schwinger
Author Index 277