Graph Transformations for MDE, Adaptation, and Models at Runtime

No abstract is available for this paper.

• Publication year

  2012

• Venue

  International School on Formal Methods for the Design of Computer, Communication and Software Systems

• Publication date

  2012-06-18

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-642-30982-3_5
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Proceedings Sixth Transformation Tool Contest (TTC 2013), Budapest, Hungary, 19-20 June, 2013

  2013cited by this paper
• Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs

  2012cited by this paper
• A language for feedback loops in self-adaptive systems: Executable runtime megamodels

  2012cited by this paper
• Flexible debugging of behavior models

  2012cited by this paper
• Engineering for Self-Adaptive Systems — Dagstuhl Seminar —

  2011cited by this paper
• Requirements and Assessment of Languages and Frameworks for Adaptation Models

  2011cited by this paper
• Iterative Development of Consistency-Preserving Rule-Based Refactorings

  2011cited by this paper
• What is needed for managing co-evolution in MDE?

  2011cited by this paper
• Model checking requirements at run-time in adaptive systems

  2011cited by this paper
• The Role of Models and Megamodels at Runtime

  2010cited by this paper
• Local Confluence for Rules with Nested Application Conditions

  2010cited by this paper
• Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

  2010cited by this paper
• Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent

  2010cited by this paper
• Delaying Constraint Solving in Symbolic Graph Transformation

  2010cited by this paper
• A Hoare Calculus for Graph Programs

  2010cited by this paper
• The disappearing boundary between development-time and run-time

  2010cited by this paper
• Software Evolution

  2010cited by this paper
• Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance

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

  2010cited by this paper
• Certifying Rule-Based Models using Graph Transformation: Extended, Improved and New Graph Transformation Analysis Techniques: Clearing the Way for a General Road Map to Certification

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

  2010cited by this paper
• Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems

  2010cited by this paper
• The Edge of Graph Transformation - Graphs for Behavioural Specification

  2010cited by this paper
• Slicing of UML models using model transformations

  2010cited by this paper
• Henshin: advanced concepts and tools for in-place EMF model transformations

  2010cited by this paper
• Models@ Run.time to Support Dynamic Adaptation

  2010cited by this paper
• Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques

  2010cited by this paper
• Bridging the gap between formal semantics and implementation of triple graph grammars

  2010cited by this paper
• Adaptation and abstract runtime models

  2010influential reference
• Formal Analysis and Verification of Self-Healing Systems

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

  2009cited by this paper
• Self-adaptive software: Landscape and research challenges

  2009influential reference
• Using Architectural Models to Manage and Visualize Runtime Adaptation

  2009cited by this paper
• Modular verification of dynamically adaptive systems

  2009cited by this paper
• Electronic Communications of the EASST Pre-proceedings Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques ( GT-VMT 2009 ) Improved Flexibility and Scalability by Interpreting Story Diagrams

  2009cited by this paper
• Software Engineering for Self-Adaptive Systems: A Research Roadmap

  2009cited by this paper
• From model transformation to incremental bidirectional model synchronization

  2009cited by this paper
• Generating synchronization engines between running systems and their model-based views

  2009cited by this paper
• Certifying rule-based models using graph transformation

  2009cited by this paper
• Model-driven architectural monitoring and adaptation for autonomic systems

  2009cited by this paper
• Correctness of high-level transformation systems relative to nested conditions†

  2009cited by this paper
• Model checking

  2009cited by this paper
• A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems

  2009cited by this paper
• Engineering Self-Adaptive Systems through Feedback Loops

  2009cited by this paper
• Incremental model synchronization for efficient run-time monitoring

  2009cited by this paper
• MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments

  2009cited by this paper
• Models@ run.time

  2009cited by this paper
• Taming Dynamically Adaptive Systems using models and aspects

  2009cited by this paper
• Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems

  2009cited by this paper
• Friends or foes?: a conceptual analysis of self-adaptation and it change management

  2008cited by this paper
• Tool support for the design of self-optimizing mechatronic multi-agent systems

  2008cited by this paper
• Incremental verification of inductive invariants for the run-time evolution of self-adaptive software-intensive systems

  2008cited by this paper
• Resolution-Like Theorem Proving for High-Level Conditions

  2008cited by this paper
• AMOEBA-RT: Run-Time Verification of Adaptive Software

  2008cited by this paper
• Automating Co-evolution in Model-Driven Engineering

  2008cited by this paper
• An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability

  2008cited by this paper
• On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles

  2008influential reference
• Incremental model synchronization for multiple updates

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

  2008cited by this paper
• Modeling and Verifying Graph Transformations in Proof Assistants

  2008cited by this paper
• 3rd International Workshop on Graph and Model Transformations 2008 (GraMoT 08) : held at ICSE 2008 : Leipzig, Germany, 12 May 2008

  2008cited by this paper
• Modeling of correct self-adaptive systems: a graph transformation system based approach

  2008cited by this paper
• Self-Managed Systems: an Architectural Challenge

  2007cited by this paper
• Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

  2007cited by this paper
• ACSAR: Software Model Checking with Transfinite Refinement

  2007cited by this paper
• The MATE Approach: Enhanced Simulink® and Stateflow® Model Transformation

  2007cited by this paper
• Weakest Preconditions for High-Level Programs

  2006cited by this paper
• Ultra-Large-Scale Systems: The Software Challenge of the Future

  2006cited by this paper
• Model-based development of dynamically adaptive software

  2006cited by this paper
• Towards model-driven unit testing

  2006cited by this paper
• Using temporal logic to specify adaptive program semantics

  2006cited by this paper
• Generating instance models from meta models

  2006cited by this paper
• Constructing Induction Rules for Deductive Synthesis Proofs

  2006cited by this paper
• Incremental model synchronization with triple graph grammars

  2006cited by this paper
• Model Checking Dynamic States in GROOVE

  2006cited by this paper
• Composing invariants

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

  2006influential reference
• Fundamentals of Algebraic Graph Transformation

  2006influential reference
• Automatic Conformance Testing of Web Services

  2005cited by this paper
• Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

  2005cited by this paper
• Visual integration of UML 2.0 and block diagrams for flexible reconfiguration in mechatronic UML

  2005cited by this paper
• Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems

  2005cited by this paper
• A survey of software refactoring

  2004cited by this paper
• Towards Graph Programs for Graph Algorithms

  2004cited by this paper
• Model Checking Graph Transformations: A Comparison of Two Approaches

  2004cited by this paper
• An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems

  2004cited by this paper
• Rainbow: architecture-based self-adaptation with reusable infrastructure

  2004cited by this paper
• Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation

  2004cited by this paper
• Integration of Software Specification Techniques for Applications in Engineering

  2004cited by this paper
• Autonomous Shuttle System Case Study

  2003cited by this paper
• Models in software engineering – an introduction

  2003cited by this paper
• Bounded model checking

  2003cited by this paper
• Towards model checking graph grammars

  2003cited by this paper
• Modelling Recursive Calls with UML State Diagrams

  2003cited by this paper
• FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings

  2003cited by this paper
• Towards the compositional verification of real-time UML designs

  2003cited by this paper
• The Vision of Autonomic Computing

  2003cited by this paper
• Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation

  2002cited by this paper
• Refactoring

  2002cited by this paper
• Detection of conflicting functional requirements in a use case-driven approach

  2002cited by this paper

• Runtime Verification of Self-Adaptive Systems with Changing Requirements

  2023cites this paper
• EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time

  2023cites this paper
• Intent-Based Adaptation Coordination of Highly Decentralized Networked Self-adaptive Systems

  2021cites this paper
• eMoflon: : Neo - Consistency and Model Management with Graph Databases

  2021cites this paper
• Incremental execution of temporal graph queries over runtime models with history and its applications

  2021cites this paper
• A framework for incremental view graph maintenance

  2018cites this paper
• A Tutorial on Graph Transformation

  2018cites this paper
• Automatic Generation of Monitoring Code for Model Based Analysis of Runtime Behaviour

  2017cites this paper
• Modeling collaborations in adaptive systems of systems (Modellierung von Kollaborationen für adaptive Systeme von Systemen)

  2016cites this paper
• Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime

  2016cites this paper
• Lenguaje de dominio específico para configuración de dispositivos de redes

  2016cites this paper
• Towards Smart Systems of Systems

  2015cites this paper
• Mechanisms for Leveraging Models at Runtime in Self-adaptive Software

  2014influential citation
• Jahresbericht 2012

  2014cites this paper
• Model-Driven Engineering of Self-Adaptive Software with EUREMA

  2014cites this paper
• The Implications of Optimality Results for Incremental Model Synchronization for TGGs

  2013cites this paper
• Electronic Communications of the EASST Volume 54 ( 2012 ) Proceedings of the 7 th International Workshop on Graph Based Tools ( GraBaTs 2012 ) Integration of Triple Graph Grammars and Constraints

  2012cites this paper
• Integration of Triple Graph Grammars and Constraints

  2012cites this paper
• A Bibliography of Papers in Lecture Notes in Computer Science (2012): Volumes 7650{7699

  2012cites this paper