Checking Temporal Relations between Multiple Objects

摘要

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 multi- object 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 plug-ins from the ASP.NET and Eclipse frameworks.