Checking Temporal Relations between Multiple Objects

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2008
Accession Number
ADA486196

Entities

People

  • Ciera Jaspan
  • Jonathan Erik Aldrich

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Boolean Algebra
  • Case Studies
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Contracts
  • Information Systems
  • Language
  • Logic
  • Software Development
  • Specifications
  • Transfer Functions
  • Transient Response Analysis
  • Web Applications

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Systems Analysis and Design