From state- to delta-based bidirectional model transformations: the symmetric case

No abstract is available for this paper.

• Publication year

  2011

• Venue

  ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

• Publication date

  2011-10-16

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-24485-8_22
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Using Design Pattern Clues to Improve the Precision of Design Pattern Detection Tools

  2011cited by this paper
• Correctness of model synchronization based on triple graph grammars

  2011cited by this paper
• Synchronizing concurrent model updates based on bidirectional transformation

  2011cited by this paper
• From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case

  2011influential reference
• Symmetric lenses

  2011influential reference
• Instant and incremental QVT transformation for runtime models

  2011cited by this paper
• Matching lenses: alignment and view update

  2010influential reference
• Slicing of UML models using model transformations

  2010cited by this paper
• Supporting automatic model inconsistency fixing

  2009cited by this paper
• A simple game-theoretic approach to checkonly QVT Relations

  2009cited by this paper
• Model Synchronization , Mappings , Tile Algebra , and Categories

  2009influential reference
• From model transformation to incremental bidirectional model synchronization

  2009cited by this paper
• Bidirectional Transformations: A Cross-Discipline Perspective

  2009cited by this paper
• Model Synchronization: Mappings, Tiles, and Categories

  2009cited by this paper
• Algebraic Models for Bidirectional Model Synchronization

  2008influential reference
• Towards automatic model synchronization from model transformations

  2007cited by this paper
• Generative and Transformational Techniques in Software Engineering II

  2007cited by this paper
• Bidirectional model transformations in QVT: semantic issues and open questions

  2007influential reference
• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem

  2005cited by this paper
• UMLDiff: an algorithm for object-oriented design differencing

  2005cited by this paper
• A programmable editor for developing structured documents based on bidirectional transformations

  2004cited by this paper
• Difference and Union of Models

  2003cited by this paper
• Designing Constraint Maintainers for User Interaction

  1998influential reference

• Partial Bidirectionalization of Model Transformation Languages

  2024cites this paper
• Facilitating AADL Model Processing and Analysis with OSATE-DIM

  2024cites this paper
• Fusing Direct Manipulations into Functional Programs

  2024cites this paper
• Using reactive links to propagate changes across engineering models

  2024cites this paper
• Universal Properties of Lens Proxy Pullbacks

  2023cites this paper
• Evaluating Model Differencing for the Consistency Preservation of State-based Views

  2023cites this paper
• Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations

  2022cites this paper
• OSATE-DIM solves the instance model-view update problem in AADL

  2022cites this paper
• Coequalisers under the Lens

  2022cites this paper
• A mathematical foundation to support bidirectional mappings between digital models: an application of multi-scale modelling in manufacturing

  2022cites this paper
• BXtendDSL: A layered framework for bidirectional model transformations combining a declarative and an imperative language

  2022cites this paper
• Derivation of Change Sequences from State-Based File Dierences for Delta-Based Model Consistency

  2022influential citation
• Towards the Co-Evolution of Models and Artefacts of Industrial Tools Through External Views

  2021cites this paper
• Enabling consistency in view-based system development - The Vitruvius approach

  2021cites this paper
• The more legs the merrier: A new composition for symmetric (multi-)lenses

  2021influential citation
• Limits and Colimits in a Category of Lenses

  2021cites this paper
• Controllable and decomposable multidirectional synchronizations

  2021cites this paper
• Methodology for Evaluating a Domain-Specific Model Transformation Language

  2021cites this paper
• Implicit Incremental Model Analyses and Transformations

  2021cites this paper
• A Tangled Web of 12 Lens Laws

  2021cites this paper
• Classifying and Avoiding Compatibility Issues in Networks of Bidirectional Transformations

  2021cites this paper
• Delta Lenses as Coalgebras for a Comonad

  2021cites this paper
• C-Lenses Explained: Bx Foundations for the Rest of Us

  2021influential citation
• Finding a Universal Execution Strategy for Model Transformation Networks

  2021cites this paper
• A diagrammatic approach to symmetric lenses

  2021cites this paper
• What do Users Expect of Bidirectional Transformations?

  2020cites this paper
• Improving software traceability tools and processes

  2020cites this paper
• Incremental execution of rule-based model transformation

  2020cites this paper
• Retentive Lenses

  2020cites this paper
• Trace-baed Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations

  2020cites this paper
• Bidirectional Programming for Parsing and Retentive Printing

  2020influential citation
• Incremental Concurrent Model Synchronization using Triple Graph Grammars

  2020cites this paper
• Internal lenses as functors and cofunctors

  2020cites this paper
• A Case Study for Networks of Bidirectional Transformations

  2020cites this paper
• Characterizing Compatible View Updates in Syntactic Bidirectionalization

  2019cites this paper
• Change propagation and bidirectionality in internal transformation DSLs

  2019cites this paper
• Single Underlying Models for Projectional, Multi-View Environments

  2019cites this paper
• Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive

  2019cites this paper
• Multicategories of Multiary Lenses

  2019cites this paper
• Incremental Bidirectional Model Transformation with eMoflon: : IBeX

  2019cites this paper
• General Supervised Learning as Change Propagation with Delta Lenses

  2019cites this paper
• Centre for Software Certification Supervised learning, change propagation, and delta lenses

  2019cites this paper
• A deep view-point language and framework for projective modeling

  2019cites this paper
• Supervised categorical learning as change propagation with delta lenses

  2019cites this paper
• Classifying Approaches for Constructing Single Underlying Models

  2019cites this paper
• Towards Bidirectional Synchronization Between Communicating Processes and Session Types

  2019cites this paper
• Decomposition of Relations for Multi-model Consistency Preservation

  2019cites this paper
• Offline Delta-Driven Model Transformation with Dependency Injection

  2019cites this paper
• Context-aware traceability across heterogeneous modelling environments

  2018cites this paper
• Inter-Model Consistency Checking and Restoration with Triple Graph Grammars

  2018cites this paper
• Testing bidirectional model transformation using metamorphic testing

  2018cites this paper
• Multiple model synchronization with multiary delta lenses with amendment and K-Putput

  2018influential citation
• Cospans and symmetric lenses

  2018cites this paper
• Putback-based bidirectional model transformations

  2018cites this paper
• Model Synchronization with the Role-oriented Single Underlying Model

  2018cites this paper
• Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain

  2018cites this paper
• A survey of model transformation design patterns in practice

  2018cites this paper
• Customer Co-Creation in Smart Production Ecosystems - Opportunities and Challenges for MDE

  2018cites this paper
• Introduction to Bidirectional Transformations

  2018influential citation
• Engineering Bidirectional Transformations

  2018cites this paper
• Testing models and model transformations using classifying terms

  2018cites this paper
• Multi-model Consistency through Transitive Combination of Binary Transformations

  2018cites this paper
• Integration and Coordination of Health Data Systems : State-ofthe-Art and Open Problems ?

  2018cites this paper
• Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems

  2018cites this paper
• COST Action IC1405 Reversible computation

  2017cites this paper
• Universal Updates for Symmetric Lenses

  2017cites this paper
• Taking Updates Seriously

  2017cites this paper
• Symmetric delta lenses and spans of asymmetric delta lenses

  2017influential citation
• Consistency Checking of Interrelated Models , Long Version ?

  2017cites this paper
• A Deep View-Point Language for Projective Modeling

  2017cites this paper
• Efficient Consistency Checking of Interrelated Models

  2017cites this paper
• Compositionality of Update Propagation: Lax PutPut

  2017cites this paper
• Managing Assurance Cases in Model Based Software Systems

  2017influential citation
• Towards Variability Management in Bidirectional Model Transformation

  2017cites this paper
• Addressing Traceability Challenges in the Development of Embedded Systems

  2017influential citation
• Megamodelling with NGA multimodels

  2017cites this paper
• Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars

  2017cites this paper
• Specification Languages for Preserving Consistency between Models of Different Languages

  2017cites this paper
• Explorer Coalgebraic Aspects of Bidirectional Computation

  2017cites this paper
• Toward Product Lines of Mathematical Models for Software Model Management

  2017cites this paper
• On principles of Least Change and Least Surprise for bidirectional transformations

  2017cites this paper
• Extending Model Synchronization Results from Triple Graph Grammars to Multiple Models

  2016cites this paper
• Leveraging Semantic Web Technologies for Consistency Management in Multi-viewpoint Systems Engineering

  2016cites this paper
• Modular Edit Lenses

  2016cites this paper
• Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal)

  2016cites this paper
• Unifying Set-Based, Delta-Based and Edit-Based Lenses

  2016cites this paper
• Complements Witness Consistency

  2016cites this paper
• An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework

  2016cites this paper
• A model management approach for assurance case reuse due to system evolution

  2016cites this paper
• Theory and Practice of Model Transformations

  2016influential citation
• Bidirectional Transformations are Proof-Relevant Bisimulations ( Extended Abstract )

  2016cites this paper
• Model Management for Regulatory Compliance: A Position Paper

  2016cites this paper
• Semantic Web Technologies for Intelligent Engineering Applications

  2016cites this paper
• Towards the Propagation of Model Updates along different Views in Multi-View Models

  2016cites this paper
• Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization

  2016cites this paper
• Translatability and Translation of Updated Views in ModelJoin

  2016cites this paper
• GRACE TECHNICAL

  2016cites this paper
• Traceability maintenance: Factors and guidelines

  2016influential citation
• Principles and Practice of Bidirectional Programming in BiGUL

  2016cites this paper
• A Metamodel for MDE Process Model-Products Relationships

  2016cites this paper