Title

Applying Translucid Contracts For Modular Reasoning About Aspect And Object Oriented Events

Keywords

Aspect-oriented events; Aspect-oriented interfaces; Grey-box specification; Implicit invocation; Modular reasoning; Object-oriented events; Ptolemy; Quantified typed events; Translucid contracts

Abstract

The Implicit Invocation (II) architectural style improves modularity and is promoted by aspect-oriented (AO) languages and design patterns like Observer. However, it makes modular reasoning difficult, especially when reasoning about control effects of the advised code (subject). Our language Ptolemy, which was inspired by II languages, uses translucid contracts for modular reasoning about the control effects; however, this reasoning relies on Ptolemy's event model, which has explicit event announcement and declared event types. In this paper we investigate how to apply translucid contracts to reasoning about events in other AO languages and even non-AO languages like C#.

Publication Date

4-29-2011

Publication Title

Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011

Number of Pages

31-35

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1145/1960510.1960517

Socpus ID

79955127033 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/79955127033

This document is currently not available here.

Share

COinS