Cantitate/Preț
Produs
Total produse
Vezi coșul
Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings de Laurence Tratt

Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings: Lecture Notes in Computer Science, cartea 6142

Editat de Laurence Tratt, Martin Gogolla
en Limba Engleză Paperback – 17 iun 2010

ACTUALIZAREA: Notăm cu interes tranziția tehnologică majoră pe care Theory and Practice of Model Transformations o documentează. Dacă în etapele timpurii ale ingineriei software bazate pe modele, transformările erau realizate adesea prin soluții improvizate precum XSLT, această a treia ediție a conferinței ICMT (Malaga, 2010) marchează maturizarea domeniului către limbaje dedicate și fundamentări teoretice riguroase. Descoperim aici un efort colectiv de a depăși limitările de scalabilitate și expresivitate ale metodelor anterioare.

Structura volumului reflectă o progresie logică de la fundamente la aplicații industriale complexe. Recomandăm atenției secțiunile dedicate execuției incrementale a transformărilor ATL și utilizării QVT pentru implementarea pattern-urilor de business. Dacă Model Driven Engineering Languages and Systems de Dorina C. Petriu v-a oferit cadrul teoretic extins al ingineriei bazate pe modele, această carte oferă instrumentele practice și studiile de caz necesare pentru implementarea efectivă a acestor transformări în sisteme reale.

Prin cele 278 de pagini, editorii Laurence Tratt și Martin Gogolla grupează contribuții ce vizează diagnosticarea bazată pe modele pentru sisteme HVAC, compoziția deltelor de model și tehnici de testare a transformărilor. Abordarea este una tehnică și precisă, punând accent pe modul în care transformările servesc drept „adeziv” între diverse activități de modelare, de la generarea implementărilor până la migrarea datelor între instrumente eterogene. Este un volum esențial pentru înțelegerea modului în care teoria grafurilor și logica de rescriere sunt aplicate în ingineria software modernă.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32736 lei

Preț vechi: 40920 lei
-20%

Puncte Express: 491

Carte disponibilă

Livrare economică 23 iunie-07 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642136870
ISBN-10: 3642136877
Pagini: 278
Ilustrații: X, 278 p. 95 illus.
Greutate: 0.64 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

De ce să citești această carte

Recomandăm acest volum practicienilor și cercetătorilor din ingineria software care doresc să stăpânească limbajele ATL, QVT și Epsilon. Cititorul câștigă acces la soluții verificate pentru migrarea modelelor și execuția incrementală, elemente critice pentru scalabilitatea sistemelor complexe. Este o resursă tehnică ce transformă conceptele abstracte de modelare în instrumente de producție eficiente.

Descriere scurtă

Model transformations are the glue that tie modelling activities together. If you’ve used modelling in anger then, whether you know it or not, you’ve used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementations. Model transformations have humble beginnings—at 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 year’sedition showedhow model transformations are increasingly being used in previously unfamiliar areas.

Cuprins

Invited Paper.- Search Computing: A Model-Driven Perspective.- Research Papers.- Domain-Specific Composition of Model Deltas.- Temporal Model-Based Diagnostics Generation for HVAC Control Systems.- Synthesis of OCL Pre-conditions for Graph Transformation Rules.- From State- to Delta-Based Bidirectional Model Transformations.- A Constructive Approach to Testing Model Transformations.- From Sequence Diagrams to State Machines by Graph Transformation.- Safe Composition of Transformations.- Towards Incremental Execution of ATL Transformations.- Constructing and Navigating Non-invasive Model Decorations.- Model-to-Model Transformations By Demonstration.- Implementing Business Process Recovery Patterns through QVT Transformations.- Model Migration with Epsilon Flock.- Exceptional Transformations.- Improving Higher-Order Transformations Support in ATL.- Towards a Rewriting Logic Semantics for ATL.- Metamodel Matching Based on Planar Graph Edit Distance.- Surviving the Heterogeneity Jungle with Composite Mapping Operators.