Automated generation of monitors for pattern contracts

Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

While the informal style used to describe design patterns has proven valuable, it is also imprecise. To ensure that patterns are applied correctly, we must also have precise pattern characterizations, and tools for determining whether the appropriate implementation requirements are satisfied. To address this problem, we first present a specification language that captures pattern requirements precisely, as well as the ways in which patterns are specialized for use. Second, we present a tool that generates a set of aspect-oriented monitors for a system based on the specifications of the patterns used in its design. The generated aspects are used to monitor the system at runtime to determine whether the appropriate implementation requirements are satisfied.

Original languageEnglish
Title of host publicationApplied Computing 2006 - The 21st Annual ACM Symposium on Applied Computing - Proceedings of the 2006 ACM Symposium on Applied Computing
PublisherAssociation for Computing Machinery
Pages1779-1784
Number of pages6
ISBN (Print)1595931082, 9781595931085
DOIs
Publication statusPublished - Jan 1 2006
Event2006 ACM Symposium on Applied Computing - Dijon, France
Duration: Apr 23 2006Apr 27 2006

Publication series

NameProceedings of the ACM Symposium on Applied Computing
Volume2

Other

Other2006 ACM Symposium on Applied Computing
CountryFrance
CityDijon
Period4/23/064/27/06

Keywords

  • Aspects
  • Contracts
  • Design patterns
  • Monitoring
  • Specification

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Automated generation of monitors for pattern contracts'. Together they form a unique fingerprint.

  • Cite this

    Tyler, B., Hallstrom, J. O., & Soundarajan, N. (2006). Automated generation of monitors for pattern contracts. In Applied Computing 2006 - The 21st Annual ACM Symposium on Applied Computing - Proceedings of the 2006 ACM Symposium on Applied Computing (pp. 1779-1784). (Proceedings of the ACM Symposium on Applied Computing; Vol. 2). Association for Computing Machinery. https://doi.org/10.1145/1141277.1141695