On exceptions, events and observer chains
12th Annual International Conference on Aspect-Oriented Software Development (AOSD '13)
Link to Published Version
Proceedings of the 12th Annual International Conference on Aspect-Oriented Software Development (AOSD '13)
March 24-29, 2013
Modular understanding of behaviors and flows of exceptions may help in their better use and handling. Such reasoning tasks about exceptions face unique challenges in event-based implicit invocation (II) languages that allow subjects to implicitly invoke observers, and run the observers in a chain. In this work, we illustrate these challenge in Ptolemy and propose Ptolemy-X that enables modular reasoning about behaviors and flows of exceptions for event announcement and handling. Ptolemy-X's exception-aware specification expressions and boundary exceptions limit the set of (un)checked exceptions of subjects and observers of an event. Exceptional postconditions specify the behaviors of these exceptions. Greybox specifications specify the flows of these exceptions among the observers in the chain. Ptolemy-X's type system and refinement rules enforce these specifications and thus enable its modular reasoning. We evaluate the utility of Ptolemy-X's exception flow reasoning by applying it to understand a set of aspect-oriented (AO) bug patterns. We also present Ptolemy-X's semantics including its sound static semantics.
© ACM, 2013. 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 12th Annual International Conference on Aspect-Oriented Software Development (AOSD '13).
Bagherzadeh, Mehdi; Rajan, Hridesh; and Darvish, Ali, "On exceptions, events and observer chains" (2013). Computer Science Conference Presentations, Posters and Proceedings. 44.