LEADER 04357nam 22005895 450 001 996465762503316 005 20200630014816.0 010 $a3-540-69927-9 024 7 $a10.1007/978-3-540-69927-9 035 $a(CKB)1000000000491035 035 $a(SSID)ssj0000320382 035 $a(PQKBManifestationID)11262153 035 $a(PQKBTitleCode)TC0000320382 035 $a(PQKBWorkID)10247916 035 $a(PQKB)11427949 035 $a(DE-He213)978-3-540-69927-9 035 $a(MiAaPQ)EBC3068589 035 $a(PPN)127054804 035 $a(EXLCZ)991000000000491035 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheory and Practice of Model Transformations$b[electronic resource] $eFirst International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings /$fedited by Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XII, 261 p.) 225 1 $aProgramming and Software Engineering ;$v5063 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-69926-0 320 $aIncludes bibliographical references and index. 327 $aProcess and Engineering of Model Transformations -- Transformations Have to be Developed ReST Assured -- Lifting Transformational Models of Product Lines: A Case Study -- Model Synchronisation: Definitions for Round-Trip Engineering -- The Epsilon Transformation Language -- Model Transformations Supporting Concurrency and Time -- Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? -- On Specifying and Visualising Long-Running Empirical Studies -- Programmed Graph Rewriting with Time for Simulation-Based Design -- Matching and Mapping within Model Transformation Rules -- Live Model Transformations Driven by Incremental Pattern Matching -- Semantics-Based Weaving of UML Sequence Diagrams -- Translation of QVT Relations into QVT Operational Mappings -- Language Support for Model Transformation Reuse and Modularity -- Composition Techniques for Rule-Based Model Transformation Languages -- Approaches for Model Transformation Reuse: Factorization and Composition -- Code Generation by Model Transformation -- Application of Reflection in Model Transformation Languages -- Correctness and Analysis of Model Transformations -- Proofs-as-Model-Transformations -- Analysing Graph Transformation Rules through OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations. 330 $aThis book constitutes the refereed proceedings of the First International Conference on Theory and Practice of Model Transformations, ICMT 2008, held in Zurich, Switzerland, in July 2008. The 17 revised full papers presented were carefully reviewed and selected from 54 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers include different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations. 410 0$aProgramming and Software Engineering ;$v5063 606 $aComputers 606 $aComputer science 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001 615 0$aComputers. 615 0$aComputer science. 615 14$aTheory of Computation. 615 24$aComputer Science, general. 676 $a004.0151 702 $aVallecillo$b Antonio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGray$b Jeff$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPierantonio$b Alfonso$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465762503316 996 $aTheory and Practice of Model Transformations$9774212 997 $aUNISA