An Incremental Algorithm for High-Performance Runtime Model Consistency

  • Christopher Wolfe
  • T. C. Nicholas Graham
  • W. Greg Phillips
Conference paper

DOI: 10.1007/978-3-642-04425-0_27

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5795)
Cite this paper as:
Wolfe C., Graham T.C.N., Phillips W.G. (2009) An Incremental Algorithm for High-Performance Runtime Model Consistency. In: Schürr A., Selic B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg

Abstract

We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one of many possible target models. When either model is changed at runtime, the transformation is incrementally updated. We describe the theory underlying our approach, and show restrictions sufficient for a simple and efficient implementation.

We demonstrate this implementation in Fiia.Net, our model-based toolkit for developing adaptive groupware. Developers using Fiia.Net control components and connections through a high-level conceptual runtime model. Meanwhile, the toolkit transparently maintains the underlying distributed system, and propagates failures back into the conceptual model. This approach provides high stability, and performance that is sufficiently fast for interactive applications.

Keywords

Adaptive groupware runtime models incremental model transformation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Christopher Wolfe
    • 1
  • T. C. Nicholas Graham
    • 1
  • W. Greg Phillips
    • 2
  1. 1.School of ComputingQueen’s UniversityKingstonCanada
  2. 2.Department of Electrical and Computer EngineeringRoyal Military College of CanadaKingstonCanada

Personalised recommendations