Formal Verification Techniques for Model Transformations: A Tridimensional Classification

No abstract is available for this paper.

• Publication year

  2015

• Venue

  Journal of Object Technology

• Publication date

  2015-08-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.5381/jot.2015.14.3.a1
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model transformation intents and their properties

  2016cited by this paper
• A survey of approaches for verifying model transformations

  2015cited by this paper
• Model synchronization based on triple graph grammars: correctness, completeness and invertibility

  2015cited by this paper
• Verification of Model Transformations: A Survey of the State-of-the-Art

  2013cited by this paper
• Towards the Formal Verification of Model Transformations: An Application to Kermeta

  2013cited by this paper
• Automated verification of model transformations based on visual contracts

  2013cited by this paper
• A Classification of Model Checking-Based Verification Approaches for Software Models

  2013cited by this paper
• Confluence of aspects for sequence diagrams

  2013cited by this paper
• Author manuscript, published in "Proceedings of MODELS/UML'2005 (2005)" Weaving Executability into Object-Oriented Meta-Languages

  2013cited by this paper
• Model transformation testing: the state of the art

  2012cited by this paper
• Automated verification of model transformations based on visual contracts

  2012cited by this paper
• Towards a model transformation intent catalog

  2012cited by this paper
• On Model Subtyping

  2012cited by this paper
• A Tridimensional Approach for Studying the Formal Verification of Model Transformations

  2012influential reference
• Verification of model transformations

  2012influential reference
• On the Formal Verification of Systems of Synchronous Software Components

  2012cited by this paper
• Contracts for Model Execution Verification

  2011influential reference
• Theory and Practice of Model Transformations

  2011cited by this paper
• A Static Analyzer for Model Transformations

  2011cited by this paper
• Two Basic Correctness Properties for ATL Transformations: Executability and Coverage

  2011cited by this paper
• Formal verification of QVT transformations for code generation

  2011cited by this paper
• A multi-paradigm foundation for model transformation language engineering

  2011cited by this paper
• A formal framework for model management

  2011cited by this paper
• Lecture Notes in Computer Science (LNCS)

  2011influential reference
• A relationship-based approach to model integration

  2011cited by this paper
• A Rewriting Logic Semantics for ATL

  2011influential reference
• Local Confluence Analysis of Consistent EMF Transformations

  2011cited by this paper
• Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis

  2010cited by this paper
• A Platform for Experimenting with Language Constructs for Modularizing Crosscutting Concerns

  2010cited by this paper
• DSLTrans: A Turing Incomplete Transformation Language

  2010influential reference
• A technique for automatic validation of model transformations

  2010cited by this paper
• Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions

  2010influential reference
• Verifying semantic conformance of state machine-to-java code generators

  2010cited by this paper
• Specification and Verification of Model Transformations Using UML-RSDS

  2010cited by this paper
• Automating the transformation-based analysis of visual languages

  2010cited by this paper
• Barriers to systematic model transformation testing

  2010cited by this paper
• Logics and Languages for Reliability and Security

  2010cited by this paper
• Towards Automated, Formal Verification of Model Transformations

  2010cited by this paper
• A gentle introduction to formal verification of computer systems by abstract interpretation

  2010cited by this paper
• Verification and validation of declarative model-to-model transformations through invariants

  2010influential reference
• A Type-Theoretic Framework for Certified Model Transformations

  2010cited by this paper
• On the semantics of real-time domain specific modeling languages

  2010cited by this paper
• OCL contracts for the verification of model transformations

  2010cited by this paper
• Proving Model Transformations

  2010influential reference
• Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude

  2009cited by this paper
• Right or Wrong ? – Verification of Model Transformations using Colored Petri Nets

  2009cited by this paper
• On the Specification and Verification of Model Transformations

  2009influential reference
• Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification

  2009cited by this paper
• Supporting domain-specific model patterns with metamodeling

  2009cited by this paper
• Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions

  2009cited by this paper
• Bidirectional Transformations: A Cross-Discipline Perspective GRACE Meeting Notes, State of the Art, and Outlook

  2009cited by this paper
• Formal Specification and Analysis of Domain Specific Models Using Maude

  2009cited by this paper
• An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations

  2008influential reference
• Specifying the correctness properties of model transformations

  2008cited by this paper
• Verifying Model Transformations by Structural Correspondence

  2008cited by this paper
• Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts

  2008cited by this paper
• Towards a Systematic Method for Proving Termination of Graph Transformation Systems

  2008cited by this paper
• 15 Years of Triple Graph Grammars

  2008cited by this paper
• Pattern-Based Model-to-Model Transformation

  2008cited by this paper
• Towards Verifying Model Transformations

  2008influential reference
• Proofs-as-Model-Transformations

  2008cited by this paper
• Domain-Specific Modeling: Enabling Full Code Generation

  2008cited by this paper
• Using Alloy for the Analysis of Model Transformations: A Case Study

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

  2007cited by this paper
• All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic

  2007cited by this paper
• Metamodel-based model conformance and multiview consistency checking

  2007cited by this paper
• A Landscape of Bidirectional Model Transformations

  2007cited by this paper
• On model typing

  2007cited by this paper
• Information Preserving Bidirectional Model Transformations

  2007cited by this paper
• Analysis of Model Transformations via Alloy

  2007cited by this paper
• Performing systematic literature reviews in software engineering

  2006cited by this paper
• The meta-object facility typed

  2006cited by this paper
• Symbolic invariant verification for systems with dynamic structural adaptation

  2006cited by this paper
• A Taxonomy of Model Transformation

  2006cited by this paper
• Model transformations? transformation models!

  2006influential reference
• Tool Integration with Triple Graph Grammars - A Survey

  2006cited by this paper
• Path-Length Analysis for Object-Oriented Programs

  2006cited by this paper
• Definition and validation of model transformations

  2006cited by this paper
• A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules

  2006influential reference
• Testing, abstraction, theorem proving: better together!

  2006cited by this paper
• Software Abstractions - Logic, Language, and Analysis

  2006influential reference
• Efficient Detection of Conflicts in Graph-based Model Transformation

  2006cited by this paper
• Aspect Categories and Classes of Temporal Properties

  2006cited by this paper
• Towards Verified Model Transformations

  2006cited by this paper
• Termination Analysis of Model Transformations by Petri Nets

  2006cited by this paper
• Automatic Termination Proofs for Programs with Shape-Shifting Heaps

  2006cited by this paper
• Feature-based survey of model transformation approaches

  2006influential reference
• Behavioral Refinement of Graph Transformation-Based Models

  2005cited by this paper
• Refactoring OCL annotated UML class diagrams

  2005influential reference
• Formal Refactoring for UML Class Diagrams

  2005cited by this paper
• Confluence of Graph Transformation Revisited

  2005cited by this paper
• Formal Verification of Java Code Generation from UML Models

  2005cited by this paper
• Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL

  2005cited by this paper
• Termination Criteria for Model Transformation

  2005influential reference
• Model Checking Graph Transformations: A Comparison of Two Approaches

  2004cited by this paper
• About the authors

  2004cited by this paper
• Meaningful modeling: what's the semantics of "semantics"?

  2004cited by this paper
• Model Transformation: The Heart and Soul of Model-Driven Software Development

  2003cited by this paper
• MDA explained - the Model Driven Architecture: practice and promise

  2003cited by this paper
• Right to be wrong.

  2003cited by this paper

• Challenges and promises of self-adaptive simulation models

  2024cites this paper
• Formal Verification of Code Conversion: A Comprehensive Survey

  2024cites this paper
• Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis

  2023cites this paper
• Model Transformation Testing and Debugging: A Survey

  2022cites this paper
• Formalizing model transformation patterns

  2022cites this paper
• Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation

  2022cites this paper
• A Taxonomy of MBSE Approaches by Languages, Tools and Methods

  2022cites this paper
• Towards a Clean Architecture for Android Apps using Model Transformations

  2022cites this paper
• Foundations

  2021cites this paper
• A Survey on the Relevance of the Performance of Model Transformations

  2021cites this paper
• Verification Approach for Refactoring Transformation Rules of State-Based Models

  2021cites this paper
• Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites

  2020cites this paper
• An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

  2020cites this paper
• Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela

  2020cites this paper
• Challenges for Automation in Adaptive Abstraction

  2019cites this paper
• Verification of concurrent systems in a model-driven engineering workflow

  2019cites this paper
• Towards the qualification of an AADL model transformation tool with contracts

  2019cites this paper
• Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP

  2019cites this paper
• Correctness of an ATL Model Transformation from SysML to Promela

  2019cites this paper
• An MDA Approach for the Specification of Relay-Based Diagrams

  2018cites this paper
• Verification of Model Transformations Using Isabelle/HOL and Scala

  2018cites this paper
• Model Driven Engineering Approach to Manage Peripherals in Mobile Devices

  2018cites this paper
• Survey and classification of model transformation tools

  2018cites this paper
• New Trends in Model and Data Engineering

  2018cites this paper
• Using language workbenches and domain-specific languages for safety-critical software development

  2018cites this paper
• Architecting Microservices

  2017cites this paper
• On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL

  2017cites this paper
• Well-Behaved Model Transformations with Model Subtyping

  2017cites this paper
• Experimentation with a Big-Step Semantics for ATL Model Transformations

  2017cites this paper
• Static Analysis of Model Transformations

  2017cites this paper
• Translating Target to Source Constraints in Model-to-Model Transformations

  2017cites this paper
• A formal verification technique for behavioural model-to-model transformations

  2017cites this paper
• Mechanically Proving Determinacy of Hierarchical Block Diagram Translations

  2016cites this paper
• A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams

  2016cites this paper
• Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

  2016cites this paper
• Coupled software transformations revisited

  2016cites this paper
• Real-time model-driven engineering: an overview

  2016cites this paper
• Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique

  2016cites this paper
• Transformation and validation of BPMN models to Petri nets models using GROOVE

  2016cites this paper
• Automated testing of DSL implementations—experiences from building mbeddr

  2016cites this paper
• Formal Verification of Graph-Based Model Transformations

  2015influential citation
• Model based system engineering for safety of railway critical systems

  2015cites this paper
• Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report

  2015cites this paper
• Model Transformation Semantic Analysis by Transformation

  2015cites this paper
• Analysis of Source-to-Target Model Transformations in QueST

  2015cites this paper
• In Partnership With: Institut National Des Sciences Appliquées De Rennes Project-team Diverse

  year unknowncites this paper