Mathematics in Computer Science

, Volume 2, Issue 1, pp 63–83 | Cite as

Possible Worlds Versioning

  • Blanca MancillaEmail author
  • John Plaice


We present a history of the application of the possible-world semantics of intensional logic to the development of versioned structures, ranging from simple software configuration to the networking of distributed context-aware applications permeated by multiple shared contexts.

In this approach, all of the components of a system vary over a uniform multidimensional version, or context, space, and the version tag of a built version is the least upper bound of the version tags of the selected best-fit components. Context deltas allow the description of changes to contexts, and the subsequent changes to components and systems from one context to another. With ӕthers, active contexts with multiple participants, several networked programs may communicate by broadcasting deltas through a shared context to which they are continually adapting.

Mathematics Subject Classification (2000).



Software configuration intensional logic possible-worlds semantics context-aware computation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer 2008

Authors and Affiliations

  1. 1.School of Computer Science and EngineeringThe University of New South Wales, UNSWSydneyAustralia

Personalised recommendations