Incremental model synchronization for efficient run-time monitoring

No abstract is available for this paper.

• Publication year

  2009

• Venue

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

• Publication date

  2009-10-04

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-642-12261-3_13
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Engineering for Self-Adaptive Systems — Dagstuhl Seminar —

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

  2010cited by this paper
• Models@ run.time

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

  2009cited by this paper
• Efficient Model Synchronization of Large-Scale Models

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

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

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

  2009cited by this paper
• GRACE TECHNICAL REPORTS A Model-Driven Framework for Constructing Runtime Architecture Infrastructures

  2008cited by this paper
• 08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map

  2008cited by this paper
• Comprehensive support for management of enterprise applications

  2008cited by this paper
• Model Synchronisation: Definitions for Round-Trip Engineering

  2008cited by this paper
• ATL: A model transformation tool

  2008cited by this paper
• Incremental model synchronization for multiple updates

  2008cited by this paper
• K@RT: An Aspect-Oriented and Model-Oriented Framework for Dynamic Software Product Lines ⋆

  2008cited by this paper
• Global Constraint Checking at Run-Time

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

  2007cited by this paper
• Model-driven Development of Complex Software: A Research Roadmap

  2007cited by this paper
• System Monitoring using Constraint Checking as part of Model Based System Management

  2007cited by this paper
• Applying OMG D&C specification and ECA rules for autonomous distributed component-based systems

  2006cited by this paper
• The Vision of Autonomic Computing

  2003influential reference
• Using Gauges for Architecture-Based Monitoring and Adaptation

  2001cited by this paper

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

  2023cites this paper
• Role-Modeling in Round-Trip Engineering for Megamodels

  2022cites this paper
• Learning to Adapt – Software Engineering for Uncertainty

  2022cites this paper
• Towards Highly Scalable Runtime Models with History

  2020cites this paper
• Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures

  2020influential citation
• Controversy Corner A generic approach to model generation operations

  2019cites this paper
• On the Expressive Power of Declarative Constructs in Interactive Document Scripts

  2019cites this paper
• Descriptive business process models at run-time

  2018influential citation
• A generic approach to model generation operations

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

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

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

  2018cites this paper
• Change Impact Analysis for Evolving Configuration Decisions in Product Line Use Case Models

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

  2017cites this paper
• Implementation and Analysis of Autonomic Management

  2017cites this paper
• Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures

  2017cites this paper
• Incremental Reconfiguration of Product Specific Use Case Models for Evolving Configuration Decisions

  2017cites this paper
• Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract)

  2016cites this paper
• Model-Driven Management of Docker Containers

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

  2016cites this paper
• Modeling for Sustainability

  2016cites this paper
• Supporting change in product lines within the context of use case-driven development and testing

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

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

  2016cites this paper
• Reusable Self-Adaptation through Bidirectional Programming

  2016cites this paper
• Incremental Test Generation Algorithms

  2015cites this paper
• Detecting adaptation conflicts at run time using models@run.time

  2015cites this paper
• A Method for Aspect-oriented Meta-Model Evolution

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

  2014influential citation
• Bridging the gap between formal semantics and implementation of triple graph grammars

  2014cites this paper
• On Unifying Development Models and Runtime Models

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

  2014cites this paper
• Streaming Model Transformations By Complex Event Processing

  2014cites this paper
• Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems

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

  2013cites this paper
• Model-Driven Engineering of Adaptation Engines for Self-Adaptive Software : Executable Runtime Megamodels

  2013cites this paper
• Transformation as Search

  2013cites this paper
• An early warning system for risk management

  2013cites this paper
• Expressing model relations as basis for structural consistency analysis in models@run.time

  2012cites this paper
• Graph Transformations for MDE, Adaptation, and Models at Runtime

  2012cites this paper
• A runtime model for fUML

  2012cites this paper
• Model Based Monitoring and Controlling for Platform-as-a-Service (PaaS)

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

  2012influential citation
• ClickWatch — An experimentation framework for communication network test-beds

  2012cites this paper
• Towards supporting multiple execution environments for UML/OCL models at runtime

  2012cites this paper
• Formal Methods for Model-Driven Engineering

  2012influential citation
• Software Engineering for Self-Adaptive Systems: A Second Research Roadmap (Draft Version of May 20, 2011)

  2011cites this paper
• Language and Framework Requirements for Adaptation Models

  2011cites this paper
• Instant and incremental QVT transformation for runtime models

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

  2011cites this paper
• Supporting runtime software architecture: A bidirectional-transformation-based approach

  2011cites this paper
• Engineering for Self-Adaptive Systems : A Second Research Roadmap ( Draft Version of November 9 , 2011 )

  2011cites this paper
• Bridging the gap between formal semantics and implementation of triple graph grammars

  2010cites this paper
• Applying MDE Tools at Runtime: Experiments upon Runtime Models

  2010cites this paper
• Validation of reasoning engines an adaptation mechanisms for self-adaptive systems. (Validation des moteurs de raisonnement et mécanismes d'adaptation pour les systèmes auto-adaptatifs)

  2010cites this paper
• Adaptation and abstract runtime models

  2010cites this paper
• Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

  2010cites this paper
• Toward Megamodels at Runtime

  2010influential citation
• Using Models at Runtime For Monitoring and Adaptation of Networked Physical Devices: Example of a Flexible Manufacturing System

  2010cites this paper
• The Role of Models and Megamodels at Runtime

  2010influential citation
• Leveraging Models from Design-time to Runtime to Support Dynamic Variability. (Modèles à la Conception et à l'Exécution pour Gérer la Variability Dynamique)

  2010cites this paper
• Using Models at Runtime For Monitoring and Adaptation of Networked Physical Devices : Example of a Flexible Manufacturing System

  2010cites this paper