Monitoring Design Pattern Contracts

Short Description
on monitoring design pattern specifications. In [19], the. authors discuss issues in testing … proach for determining whether design pattern requirements …

Website: www.eecs.ucf.edu | Filesize: 127kb

Content
Monitoring Design Pattern Contracts
Jason O. Hallstrom
Computer Science
Clemson University
Clemson, SC 29634, USA
jasonoh@cs.clemson.edu
Neelam Soundarajan, Benjamin Tyler
Computer Science and Engineering
Ohio State University
Columbus, OH 43210, USA
{neelam, tyler}@cse.ohiostate.
edu
ABSTRACT
Design patterns allow system designers to reuse well established
solutions to commonly occurring problems. These
solutions are usually described informally. While such descriptions
are certainly useful, to ensure that designers precisely
and unambiguously understand the requirements that
must be met when applying a given pattern, we also need
formal characterizations of these requirements. Further, system
designers need tools for determining whether a system
implemented using a given pattern satisfies the appropriate
requirements. In [18], we described an approach to specifying
design patterns using formal contracts. In this paper, we
develop a monitoring approach for determining whether the
pattern contracts used in developing a system are respected
at runtime.
Categories and Subject Descriptors
D.2.1 [Software Engineering]: Requirements/Specifications;
D.2.4 [Software Engineering]: Verification-Runtime
Monitoring; D.1.m [Programming Techniques]: Patterns-
AOP
General Terms
Design, Reliability, Verification
Keywords
Design patterns, Aspect-oriented programming, Runtime
monitoring of contracts
1. INTRODUCTION
Design patterns [2, 8, 10,…