A design discipline and language features for modular reasoning in aspect-oriented programs

dc.contributor.advisor Gary T. Leavens
dc.contributor.author Clifton, Curtis
dc.contributor.department Computer Science
dc.date 2018-08-24T22:36:12.000
dc.date.accessioned 2020-06-30T08:07:27Z
dc.date.available 2020-06-30T08:07:27Z
dc.date.copyright Sat Jan 01 00:00:00 UTC 2005
dc.date.issued 2005-01-01
dc.description.abstract <p>Aspect-oriented programming lets programmers modularize concerns that are orthogonal to the main decomposition of a program. To do this, aspect-oriented programming includes modules called aspects that may modify the behavior, or advise, code in the main decomposition. Aspect-oriented programming also allows aspects to declaratively specify what code should be advised. This means that a whole-program search is required to find all the aspects that might advise a given piece of code. The problems this causes are somewhat analogous to overriding methods and polymorphic method dispatch in traditional object-oriented programming.;In object-oriented programming, the discipline of behavioral subtyping permits reasoning about polymorphic methods even when overriding methods remain unseen. The discipline gives guidance to the author of an overriding method: the overriding method must satisfy the specification of the overridden, superclass method. If the author follows the discipline, then other programmers can reason about a method invocation based on the specification of the superclass method, even if an unseen overriding method might actually be executed.;This dissertation describes an analogous discipline for aspect-oriented programming. The basic premise is that modular reasoning about aspect-oriented programs requires shared responsibility between the aspect author and the client programmer, whose code might be advised by the aspect.;To mediate this sharing, this dissertation proposes that aspects be categorized into two sorts: "spectators" and "assistants". Spectators are statically restricted to not modify the behavior of the code that they advise. Because of their restricted behavior, spectators may remain unseen by the client programmer. The burden is on the aspect programmer to ensure that spectators satisfy their restrictions. Unlike spectators, assistants are not restricted in their behavior. The burden of reasoning about their effects falls to the client programmer. To do this, the client programmer must be able to identify all applicable assistants. Thus, assistants must be explicitly accepted by the advised code. This discipline allows modular reasoning, permits the use of existing aspect-oriented idioms, and appears to be practical and statically verifiable. A formal study demonstrates that the restrictions on spectators may be statically checked.</p>
dc.format.mimetype application/pdf
dc.identifier archive/lib.dr.iastate.edu/rtd/1840/
dc.identifier.articleid 2839
dc.identifier.contextkey 6105720
dc.identifier.doi https://doi.org/10.31274/rtd-180813-16445
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath rtd/1840
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/72297
dc.language.iso en
dc.source.bitstream archive/lib.dr.iastate.edu/rtd/1840/r_3184594.pdf|||Fri Jan 14 21:41:33 UTC 2022
dc.subject.disciplines Computer Sciences
dc.subject.keywords Computer science
dc.title A design discipline and language features for modular reasoning in aspect-oriented programs
dc.type article
dc.type.genre dissertation
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
thesis.degree.level dissertation
thesis.degree.name Doctor of Philosophy
Original bundle
Now showing 1 - 1 of 1
7.05 MB
Adobe Portable Document Format