LEADER 05355nam 22007095 450 001 996465590903316 005 20200702015040.0 010 $a3-642-02408-4 024 7 $a10.1007/978-3-642-02408-5 035 $a(CKB)1000000000753997 035 $a(SSID)ssj0000320383 035 $a(PQKBManifestationID)11286212 035 $a(PQKBTitleCode)TC0000320383 035 $a(PQKBWorkID)10248292 035 $a(PQKB)11260091 035 $a(DE-He213)978-3-642-02408-5 035 $a(MiAaPQ)EBC3064345 035 $a(PPN)136306810 035 $a(EXLCZ)991000000000753997 100 $a20100301d2009 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] $eSecond International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings /$fedited by Richard F. Paige 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (X, 285 p.) 225 1 $aProgramming and Software Engineering ;$v5563 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-02407-6 320 $aIncludes bibliographical references and index. 327 $aInvited Paper -- Foundations for Bidirectional Programming -- Full Papers -- Model Superimposition in Software Product Lines -- Efficient Model Transformations by Combining Pattern Matching Strategies -- Managing Dependent Changes in Coupled Evolution -- Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages -- A Collection Operator for Graph Transformation -- Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions -- Towards Model Round-Trip Engineering: An Abductive Approach -- Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa -- Solving Constraints in Model Transformations -- Automatic Model Generation Strategies for Model Transformation Testing -- A Simple Game-Theoretic Approach to Checkonly QVT Relations -- Supporting Model?Driven Development of Object?Relational Database Schemas: A Case Study -- Typing in Model Management -- Supporting Parallel Updates with Bidirectional Model Transformations -- Short Papers -- Experiments with a High-Level Navigation Language -- Using Metrics for Assessing the Quality of ASF+SDF Model Transformations -- Achieving Rule Interoperability Using Chains of Model Transformations -- Panel on Bidirectional Transformations -- Bidirectional Transformations: A Cross-Discipline Perspective. 330 $aThis book constitutes the refereed proceedings of the Second International Conference on Theory and Practice of Model Transformations, ICMT 2009, held at the ETH in Zurich, Switzerland, in June 2009. The 14 revised full papers and 3 revised short papers presented together with 1 invited lecture were carefully reviewed and selected from 67 submissions. The papers address questions about the nature and features of model transformations, their composability and combination to build new model transformations and implement high-level model management operations, the classification of languages for expressing transformations, the measurement of the quality and extra-functional requirements of model transformations, and the definition of development methodologies that allow exploiting all their potential benefits. The volume also contains the minutes of the GRACE International Meeting on Bidirectional Transformations, held in December 2009 near Tokyo, Japan. 410 0$aProgramming and Software Engineering ;$v5563 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer simulation 606 $aManagement information systems 606 $aComputer science 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer simulation. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSimulation and Modeling. 615 24$aSoftware Engineering. 615 24$aManagement of Computing and Information Systems. 676 $a005.1 702 $aPaige$b Richard F$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465590903316 996 $aTheory and Practice of Model Transformations$9774212 997 $aUNISA