Model Driven Engineering Languages and Systems

Volume 5795 of the series Lecture Notes in Computer Science pp 357-371

An Incremental Algorithm for High-Performance Runtime Model Consistency

  • Christopher WolfeAffiliated withSchool of Computing, Queen’s University
  • , T. C. Nicholas GrahamAffiliated withSchool of Computing, Queen’s University
  • , W. Greg PhillipsAffiliated withDepartment of Electrical and Computer Engineering, Royal Military College of Canada

* Final gross prices may vary according to local VAT.

Get Access


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.


Adaptive groupware runtime models incremental model transformation