000 05079nam a22006255i 4500
001 978-3-642-13688-7
003 DE-He213
005 20240730192757.0
007 cr nn 008mamaa
008 100629s2010 gw | s |||| 0|eng d
020 _a9783642136887
_9978-3-642-13688-7
024 7 _a10.1007/978-3-642-13688-7
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aTheory and Practice of Model Transformations
_h[electronic resource] :
_bThird International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /
_cedited by Laurence Tratt, Martin Gogolla.
250 _a1st ed. 2010.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2010.
300 _aX, 278 p. 95 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v6142
505 0 _aInvited 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.
520 _aModel 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.
650 0 _aSoftware engineering.
_94138
650 0 _aComputer science.
_99832
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer networks .
_931572
650 0 _aComputer programming.
_94169
650 0 _aMachine theory.
_9151280
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputer Communication Networks.
_9151281
650 2 4 _aProgramming Techniques.
_9151282
650 2 4 _aFormal Languages and Automata Theory.
_9151283
700 1 _aTratt, Laurence.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9151284
700 1 _aGogolla, Martin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9151285
710 2 _aSpringerLink (Online service)
_9151286
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642136870
776 0 8 _iPrinted edition:
_z9783642136894
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v6142
_9151287
856 4 0 _uhttps://doi.org/10.1007/978-3-642-13688-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c94432
_d94432