The Contingency Management Framework Version 1.0

Jakob Bardram

Abstract

The Contingency Management Framework – CMF is designed to support contingency management in Ubiquitous Computing (Ubicomp) systems design. The purpose of this document is to describe the technical design and implementation of version 1.0.
This document describes the overall goal of CMF and its environmental assumptions; it provides an overview of the key concepts in CMF; it documents the overall CMF runtime infrastructure and architecture; and it provides an overview of the CMF programming model, including special programming language notation for contingency management assertions.

Technical report ITU-TR-2009-121 in IT University Technical Report Series, December 2009.

Available as PDF.