- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- A domain specific language for encoding design rules
Open Collections
UBC Theses and Dissertations
UBC Theses and Dissertations
A domain specific language for encoding design rules Morgan, Clinton Alan
Abstract
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain classes of errors. Design rules often crosscut program structure and enforcing them is emerging as an important application domain for Aspect Oriented Programming. For many interesting design rules, current general purpose AOP languages lack the expressiveness to characterize them statically and enforce them at compile time. We have developed a domain specific language called Program Description Logic (PDL). PDL allows succinct declarative definitions of programmatic structures which correspond to design rule violations. PDL is based on a fully static and expressive pointcut language. PDL pointcuts allow characterizing a wide range of design rules without sacrificing static verification. We evaluate PDL by comparing it to FxCop, an industrial strength tool for checking design rules.
Item Metadata
Title |
A domain specific language for encoding design rules
|
Creator | |
Publisher |
University of British Columbia
|
Date Issued |
2006
|
Description |
Design rules express constraints on the behavior and structure of a program.
These rules can help ensure that a program follows a set of established
practices, and avoids certain classes of errors.
Design rules often crosscut program structure and enforcing them is
emerging as an important application domain for Aspect Oriented Programming.
For many interesting design rules, current general purpose AOP languages
lack the expressiveness to characterize them statically and enforce
them at compile time.
We have developed a domain specific language called Program Description
Logic (PDL). PDL allows succinct declarative definitions of programmatic
structures which correspond to design rule violations. PDL is based
on a fully static and expressive pointcut language. PDL pointcuts allow
characterizing a wide range of design rules without sacrificing static verification.
We evaluate PDL by comparing it to FxCop, an industrial strength tool
for checking design rules.
|
Genre | |
Type | |
Language |
eng
|
Date Available |
2011-03-07
|
Provider |
Vancouver : University of British Columbia Library
|
Rights |
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.
|
DOI |
10.14288/1.0052056
|
URI | |
Degree | |
Program | |
Affiliation | |
Degree Grantor |
University of British Columbia
|
Campus | |
Scholarly Level |
Graduate
|
Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.