Institute for Software Research
School of Computer Science, Carnegie Mellon University


Checking Temporal Relations between
Multiple Objects

Ciera Jaspan, Jonathan Aldrich

June 2008
Originally written December 2007


Keywords: Software frameworks, object constraints, relationships, static analysis, shape analysis

Software frameworks contain constraints with unusual properties. The constraints frequently span multiple objects and classes, and they change according to the current context. Additionally, they may not be enforced at the same point where they were specified or broken, thus causing unexpected runtime errors. This paper describes a lightweight specification system to describe multiobject temporal constraints. It also provides a detailed description of a static analysis to check that the constraints are not broken. The implementation of the analysis is used to check example plugins from the ASP.NET and Eclipse frameworks.

28 pages

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by