00831nam0-2200313---450-99000970835040332120130404103008.0978-88-498-2790-3000970835FED01000970835(Aleph)000970835FED0100097083520130404d2010----km-y0itay50------baitaITy-------001yyScienzaistruzioni per l'usoAlessandro GiulianiSoveria MannelliRubbettino2010127 p.17 cmScienzeMetodo507.222itaGiuliani,Alessandro229525ITUNINAREICATUNIMARCBK990009708350403321II H 3748911FSPBCFSPBCScienza246499UNINA06032nam 22008175 450 99646643600331620200703023134.01-280-38724-697866135651673-642-13688-510.1007/978-3-642-13688-7(CKB)2670000000028982(SSID)ssj0000446831(PQKBManifestationID)11267878(PQKBTitleCode)TC0000446831(PQKBWorkID)10504473(PQKB)11254757(DE-He213)978-3-642-13688-7(MiAaPQ)EBC3065437(PPN)149063962(EXLCZ)99267000000002898220100629d2010 u| 0engurnn|008mamaatxtccrTheory and Practice of Model Transformations[electronic resource] Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /edited by Laurence Tratt, Martin Gogolla1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 278 p. 95 illus.) Programming and Software Engineering ;6142Bibliographic Level Mode of Issuance: Monograph3-642-13687-7 Includes bibliographical references.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.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.Programming and Software Engineering ;6142Software engineeringComputer logicProgramming languages (Electronic computers)Computer communication systemsComputer programmingMathematical logicSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Málaga <2010>swdSoftware engineering.Computer logic.Programming languages (Electronic computers).Computer communication systems.Computer programming.Mathematical logic.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Computer Communication Networks.Programming Techniques.Mathematical Logic and Formal Languages.005.10285Tratt Laurenceedthttp://id.loc.gov/vocabulary/relators/edtGogolla Martinedthttp://id.loc.gov/vocabulary/relators/edtICMT 2010BOOK996466436003316Theory and Practice of Model Transformations774212UNISA