Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
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...
Saved in:
| Main Authors | , |
|---|---|
| Format | eBook |
| Language | English |
| Published |
Berlin, Heidelberg
Springer Berlin / Heidelberg
2010
Springer |
| Edition | 1 |
| Series | Lecture Notes in Computer Science |
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | Tratt, Laurence Gogolla, Martin |
| Author_xml | – sequence: 1 fullname: Tratt, Laurence – sequence: 2 fullname: Gogolla, Martin |
| BookMark | eNpNkFtLAzEUhCNesK37H_ZNBBdy2-Tso5Z6gYo-LL4uSfaE1q6JJqviv7daBedlGPgYmJmSgxAD7pGpUJIzoQDqfVI0Gv6ypkdkomopGsU4HJMi5ye6lZQKBJuQ83aFMX2WJvTlQzJuXDssoy_vYo9D2SYTso_p2YzrGPIJOfRmyFj8-ow8Xi3a-U21vL--nV8sKyOpBFYJL8BQAFFLy1HUWluvjONoa-m5YVoyzWnTcy4YIHpwrJFe2wbRGu6YmJGzXbHJG_zIqziMuXsf0Ma4yd2_eaC37OmOfUnx9Q3z2P1gDsOYzNAtLueCfh-gxRfaCFM8 |
| ContentType | eBook |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 3642136885 9783642136887 |
| Edition | 1 2010 edition |
| ExternalDocumentID | 9783642136887 EBC3065437 |
| GroupedDBID | 089 0D6 0DA 2HV 38. 4UP 4V3 A4J AABBV ABBVZ ABMKK ABMNI ACDPG ACWCF ACZTO AEDXK AEJLV AEKFX AEOKE AETDV AEZAY AHSMR ALMA_UNASSIGNED_HOLDINGS AZZ BBABE CZZ IEZ IW0 JJU MA. MW~ MYL SBO TBMHI TPJZQ TSXQS Z5O Z7R Z7S Z7U Z7W Z7X Z7Y Z7Z Z81 Z83 Z84 Z85 Z87 Z88 LDH SAO Z7V Z82 |
| ID | FETCH-LOGICAL-a40481-3f38a088354b2e3577bf6ac2eb54f2a17417209d22318eef8c194f7b9eeba2c13 |
| ISBN | 9783642136870 3642136877 |
| IngestDate | Fri Nov 08 03:53:08 EST 2024 Fri May 30 21:58:40 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | QA76.758 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a40481-3f38a088354b2e3577bf6ac2eb54f2a17417209d22318eef8c194f7b9eeba2c13 |
| OCLC | 654396128 |
| PQID | EBC3065437 |
| PageCount | 285 |
| ParticipantIDs | askewsholts_vlebooks_9783642136887 proquest_ebookcentral_EBC3065437 |
| PublicationCentury | 2000 |
| PublicationDate | 2010 2010-06-29 |
| PublicationDateYYYYMMDD | 2010-01-01 2010-06-29 |
| PublicationDate_xml | – year: 2010 text: 2010 |
| PublicationDecade | 2010 |
| PublicationPlace | Berlin, Heidelberg |
| PublicationPlace_xml | – name: Berlin, Heidelberg |
| PublicationSeriesTitle | Lecture Notes in Computer Science |
| PublicationYear | 2010 |
| Publisher | Springer Berlin / Heidelberg Springer |
| Publisher_xml | – name: Springer Berlin / Heidelberg – name: Springer |
| SSID | ssj0000446831 |
| Score | 1.8395584 |
| Snippet | 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... |
| SourceID | askewsholts proquest |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Congresses Search engines |
| Subtitle | Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings |
| TableOfContents | Surviving the Heterogeneity Jungle with Composite Mapping Operators -- Introduction -- Motivating Example -- Composite Mapping Operators to the Rescue -- Specification of Composite MOps with Kernel MOps -- Kernel MOps -- Composition Model for MOps -- Whitebox-View of Composite MOps -- Related Work -- Prototypical Implementation -- Critical Discussion and Future Work -- References -- Author Index Introduction -- Classification of Exceptions in Model Transformations -- Terminology -- Execution Environment Exceptions -- Transformation Language-Specific Exceptions (TLSE) -- Rule Design Exceptions -- Transformation-Specific Exceptions -- Using Exceptions in Model Transformations -- Exception Handling in Model Transformation -- Modelling Exceptions -- Detection of Exceptions -- Extending Rules with Exceptions -- Modeling the Handler -- Control Flow Concerns -- Related Work -- Conclusion -- References -- Improving Higher-Order Transformations Support in ATL -- Introduction -- Higher-Order Transformations -- Facilitating HOT Development -- Transformation Analysis -- Transformation Synthesis -- Transformation Modification and (De)Composition -- Experimentation -- Related Work -- Conclusions and Future Work -- References -- Towards a Rewriting Logic Semantics for ATL -- Introduction -- Transformations with ATL -- Rewriting Logic and Maude -- Encoding ATL in Maude -- CharacterizingModel Transformations -- Encoding Models and Metamodels in Maude -- Modeling ATL Rules -- Simulation and Formal Analysis -- Simulating the Transformations -- Reachability Analysis -- Related Work -- Conclusions and Future Work -- References -- Metamodel Matching Based on Planar Graph Edit Distance -- Introduction -- Metamodel Matching and Related Work -- Related Matching Approaches -- Metamodel Matching with MatchBox -- Planarity of Metamodels -- Planarity Check for Metamodels -- Maximal Planar Subgraph for Metamodels -- Planar Graph Edit Distance for Metamodel Matching -- Planar Graph Edit Distance Algorithm -- Adjustments and Optimizations -- Improvement by k-max Degree Partial Seed Matches -- Evaluation -- Results for Graph Edit Distance Matcher -- Result for k-max Degree Seed Matches -- Summary of GED Results -- Conclusion and Future Work -- References U-Lenses: Update-Based Bidirectional Transformations -- Building the Definition: Models and Updates -- Building the Definition Cont'd: Views and Update Translation -- Sequential Composition of U-Lenses -- U-Lenses with Alignment: Fixing the Problems -- From U- to S-Lenses -- Review of the Three Problems -- Related Work -- Conclusion -- References -- A Constructive Approach to Testing Model Transformations -- Introduction -- A Constructive Encoding of the MOF -- Encoding the Structure of Metamodels -- Encoding the Constraints ofMetamodels -- Testing via Model Generation -- Related Work and Conclusions -- References -- From Sequence Diagrams to State Machines by Graph Transformation -- Introduction -- Using Sequence Diagrams and State Machines in a Modeling Process -- Preliminary: Algebraic Graph Transformation -- Collection Operator -- Our Transformation Rules Are Specified in the Concrete Syntax -- Transformation of Sequence Diagrams -- Fragment Operator -- Transformation Rules -- Transformation of Sequence Diagrams Formalized -- Related Work -- Conclusions -- References -- Safe Composition of Transformations -- Introduction -- Background -- Basic Transformation Approaches -- Complex Transformation Approaches -- Summary -- Approach -- Component Model -- Composition Language -- Composition Technique -- Validation -- Implementation -- Evaluation -- Case Studies -- Discussion -- Conclusion -- References -- Towards Incremental Execution of ATL Transformations -- Introduction -- Related Works -- Running Example -- Approach -- Considered ATL Subset -- Tracking OCL Expression Dependencies -- Standard Execution Algorithm -- Controlling Individual Rule Execution -- Tool Support -- Compiler -- Transformation Controller -- Integration to EMF-Based Tools -- Conclusions -- References -- Constructing and Navigating Non-invasive Model Decorations -- Introduction Title Page -- Preface -- Organization -- Table of Contents -- Invited Paper -- Search Computing: A Model-Driven Perspective -- Introduction -- Overview of the MDE Approach to Search Computing -- Service Marts Model -- Query Model -- Query Plan Model -- Model Transformations -- Applicability of Model Transformations in the Context of Search Computing -- Query to Plan Transformation -- Related Work -- Conclusions -- References -- Appendix -- Research Papers -- Domain-Specific Composition of Model Deltas -- Introduction -- Big Picture -- A Questionnaire SPL and Its Arrows -- Arrow Metamodels -- Arrow Composition -- Implementation -- Case Studies -- Perspective and Related Work -- Perspective -- Related Work -- Conclusions -- References -- Temporal Model-Based Diagnostics Generation for HVAC Control Systems -- Introduction -- System Architecture -- Source and Target Model Formalisms -- Hybrid-Systems Model -- Model-Based Diagnosis -- Transformation -- Summary of Transformation Approach -- Discrete Abstraction -- Generation of Propositional Logic -- Temporal Unfolding of Cycles -- Related Work -- Conclusions and Future Work -- References -- Synthesis of OCL Pre-conditions for Graph Transformation Rules -- Introduction -- Motivating Examples -- Translating OCL Post-Conditions into Pre-conditions -- Overview -- Basic Replacement Patterns -- Replacement Patterns for Creating Objects -- Putting Everything Together -- Back to the Examples -- Optimizations -- Related Work -- Conclusions and Future Work -- References -- From State- to Delta-Based Bidirectional Model Transformations -- Introduction -- Problems of State-Based Bidirectional Transformations -- Model Synchronization via Lenses: A Missing Link -- Inflexible Interface -- Ill-Formed Sequential Composition -- PutPut: Over-Restrictive State-Based Version Existing Approaches to Model Decoration -- Metamodel Adaptation -- Metamodel Extensibility Mechanisms -- ModelWeaving -- Motivation -- Decoration Extraction and Injection -- Decorator Extraction -- Decorator Injection -- Remarks -- Seamless Decoration Navigation in Epsilon -- A Brief Overview of Epsilon -- The Epsilon Model Connectivity (EMC) Layer -- Getting and Setting Values of Model Element Properties in EMC -- Specifying and Navigating Decorations -- Case Study -- Conclusions and Further Work -- References -- Model-to-Model Transformations By Demonstration -- Introduction -- Motivating Example -- M2M Transformation By-Demonstration at a Glance -- M2M Transformation By-Demonstration in Action -- Iteration 1: Class Diagram to Entity Relationship Diagram -- Iteration 2: Class to Entity -- Iteration 3: Property to Attribute -- Iteration 4: Reference to Relationship -- Related Work -- Conclusions and Future Work -- References -- Implementing Business Process Recovery Patterns through QVT Transformations -- Introduction -- Background -- Business Process -- ADM and KDM -- Marble -- KDM-to-BPMN Transformation -- Involved Metamodels -- Pattern Matching to Detect Business Elements in KDM Models -- Implementation of the L2-to-L3 Transformation -- Case Study -- Related Work -- Conclusion -- References -- Model Migration with Epsilon Flock -- Introduction -- Background -- Conformance -- Relevant Characteristics of MDE Modelling Frameworks -- Existing Approaches -- Co-evolution Example -- Manual Specification with Model-to-Model Transformation -- Manual Specification with Ecore2Ecore Mapping -- Operator-Based Co-evolution with COPE -- Analysis -- Epsilon Flock -- The Epsilon Platform -- Flock -- Example -- Petri Nets in Flock -- UML 1.5 to UML 2.0 in Flock -- Comparison -- Conclusions and Further Work -- References -- Exceptional Transformations |
| Title | Theory and Practice of Model Transformations |
| URI | https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=3065437 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783642136887 |
| Volume | 6142 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELZou9CFtygvRYgNgho_GmeEqlBVwFSqbpXt2AygVqKBgV_P2YmTqFRCsFiJEyXKnXV3Od_3HUIXWGkFgRsPuWAspJymoVSKhFKoJFIqkQRbvPPjU2_4TEdTNq06VDl0SSav1ddaXMl_tApzoFeLkv2DZsuHwgQcg35hBA3DuBL8lqelcu3eeF7pn8OcXC2LbWuT85WXoMQyZh5bvmIPhdY1Xd8vXuxiKJA7noq7yAS4grJ6JsBnAi8LoixLe76OLMsBNyiOSI_nPTu8IQRPjSu3UBbrDW77rr08iRuoEce8iVo3g9HDpExl2T1hTiKLnPHPjXNuo-o9bdQWy1ew22DTs-UPx-e8-XgbtbSFeOygDT3fRVu-sUVQ2Lk9dJXLNwD5Bl6-wcIETr7Binz30eRuMO4Pw6KtRCioZccJiSFcgHUljEqsCYtjaXpCYS0ZNVjAPxpEdd0khcgp4lobrqKEmlgmWkuBVUQOUHO-mOtDFKRaUZ1iyQxLaSpMYrqKm0goqQ2YTt5B57XPnn2-uS3w5awmGx53UOClMXPXi7rcWSX5o99vOUab1aI4Qc3s_UOfQsCUybNCYd93Exhn |
| linkProvider | Library Specific Holdings |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Theory+and+Practice+of+Model+Transformations&rft.au=Tratt%2C+Laurence&rft.au=Gogolla%2C+Martin&rft.date=2010-01-01&rft.pub=Springer+Berlin+%2F+Heidelberg&rft.isbn=9783642136870&rft.volume=6142&rft.externalDocID=EBC3065437 |
| thumbnail_m | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97836421%2F9783642136887.jpg |