Generating synchronization engines between running systems and their model-based views

Authors:
Hui Song;Yingfei Xiong;Franck Chauvel;Gang Huang;Zhenjiang Hu;Hong Mei
Affiliations:
Key Laboratory of High Confidence Software Technologies (Ministry of Education), Peking University, Beijing, China;Key Laboratory of High Confidence Software Technologies (Ministry of Education), Peking University, Beijing, China;Key Laboratory of High Confidence Software Technologies (Ministry of Education), Peking University, Beijing, China;Key Laboratory of High Confidence Software Technologies (Ministry of Education), Peking University, Beijing, China;National Institute of Informatics, GRACE Center, Tokyo, Japan;Key Laboratory of High Confidence Software Technologies (Ministry of Education), Peking University, Beijing, China
Venue:
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Year:
2009

Citing 17
Cited 12

Architecture-based runtime software evolution

Proceedings of the 20th international conference on Software engineering
Reflection, self-awareness and self-healing in OpenORB

WOSS '02 Proceedings of the first workshop on Self-healing systems
Eclipse Modeling Framework

Eclipse Modeling Framework
Pro JMX: Java Management Extensions

Pro JMX: Java Management Extensions
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure

Computer
Runtime recovery and manipulation of software architecture of component-based systems

Automated Software Engineering
The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems

Software—Practice & Experience
Model-driven Development of Complex Software: A Research Roadmap

FOSE '07 2007 Future of Software Engineering
Self-Managed Systems: an Architectural Challenge

FOSE '07 2007 Future of Software Engineering
Towards automatic model synchronization from model transformations

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Towards Instant Automatic Model Refinement Based on OCL

APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
Using components for architecture-based management: the self-repair case

Proceedings of the 30th international conference on Software engineering
ANDROID A PROGRAMMERS GUIDE

ANDROID A PROGRAMMERS GUIDE
Composition of Qualitative Adaptation Policies

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Incremental model synchronization with triple graph grammars

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Framework-Specific modeling languages with round-trip engineering

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Managing dynamic reconfiguration in component-based systems

EWSA'05 Proceedings of the 2nd European conference on Software Architecture

Inferring meta-models for runtime system data from the clients of management APIs

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Supporting runtime software architecture: A bidirectional-transformation-based approach

Journal of Systems and Software
Instant and incremental QVT transformation for runtime models

Proceedings of the 14th international conference on Model driven engineering languages and systems
API2MoL: Automating the building of bridges between APIs and Model-Driven Engineering

Information and Software Technology
Using qos-contracts to drive architecture-centric self-adaptation

QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Graph transformations for MDE, adaptation, and models at runtime

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Rapid GUI development on legacy systems: a runtime model-based solution

Proceedings of the 7th Workshop on Models@run.time
Towards supporting multiple execution environments for UML/OCL models at runtime

Proceedings of the 7th Workshop on Models@run.time
Detecting anti-patterns in Java EE runtime system model

Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Extracting models from web API documentation

ICWE'12 Proceedings of the 12th international conference on Current Trends in Web Engineering
Synchronizing concurrent model updates based on bidirectional transformation

Software and Systems Modeling (SoSyM)
Model-based high availability configuration framework for cloud

Proceedings of the 2013 Middleware Doctoral Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

The key point to leverage model-based techniques on runtime system management is to ensure the correct synchronization between the running system and its model-based view. In this paper, we present a generative approach, and the supporting tool, to make systematic the development of synchronization engines between running systems and models. We require developers to specify “what kinds of elements to manage” as a MOF meta-model and “how to manipulate those elements using the system's management API” as a so-called access model. From these two specifications, our SM@RT tool automatically generates the synchronization engine to reflect the running system as a MOF-compliant model. We have applied this approach on several practical systems, including the JOnAS JEE server.