MODULARITYModularity (formerly known as Aspect-oriented Software Development - AOSD)
Link to Published Version
Journal or Book Title
FOAL '12 Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
FOAL '12 The eleventh workshop on Foundations of Aspect-Oriented Languages
March 26, 2012
Subtype polymorphism is an important feature available in most modern type systems which makes code reuse and specialization possible. Recent works on separation of crosscutting concerns have created event interfaces (types) to decouple subjects from handlers. Extending the notion of subtyping to these event interfaces is a logical step. In this paper, we define event type polymorphism in the context of the Ptolemy language. Ptolemy allows declaring quantified, typed events which provide an interface between subjects and handlers. We add the notion of polymorphic event types to the Ptolemy language, defining a subtype relation among event types which in turn allows for both depth and width subtyping with regard to event context. Since Ptolemy only has explicit event announcement, our semantics is simpler and easier to reason about when compared to previously defined approaches. We also give the first formally defined static semantics for polymorphic events as well as demonstrate its usefulness via examples.
© ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, pp. 33-38. ACM, 2012. https://doi.org/10.1145/2162010.2162020
Fernando, Rex D.; Dyer, Robert; and Rajan, Hridesh, "Event type polymorphism" (2012). Computer Science Conference Presentations, Posters and Proceedings. 31.