Ptolemy
Ptolemy designed an event-based language whose goal is to enable more modular reasoning about advanced separation of concerns mechanisms such as implicit invocation and aspects. Ptolemy provides quantified, typed events that act as an interface between modules, and translucid contracts that enable modular reasoning about modules that announce events and those that listen to them.
This project concluded during the lab’s time at Iowa State University.
Publications
- TOMC '16 · Modular Reasoning in the Presence of Event Subtyping
- Modularity '15 · Modular Reasoning in the Presence of Event Subtyping
- TAOSD '13 · Language Features for Software Evolution and Aspect-oriented Interfaces: An Exploratory Study
- Modularity '13 · On Exceptions, Events and Observer Chains
- FOAL '12 · Event Type Polymorphism
- AOSD '12 · An Exploratory Study of the Design Impact of Language Features for Aspect-oriented Interfaces
- Bagherzadeh MS Thesis · Translucid contracts: Expressive specification and modular verification of aspect oriented interfaces
- FOAL '11 · Applying Translucid Contracts for Modular Reasoning About Aspect and Object Oriented Events
- AOSD '11 · Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces
- FOAL '10 · Translucid Contracts for Aspect-oriented Interfaces
- ESCOT '10 · A Preliminary Study of Quantified, Typed Events
- TOSEM '09 · Modular Aspect-Oriented Design with XPIs
- Setty MS Thesis · On the test-driven development of emerging modularization mechanisms
- ECOOP '08 · Ptolemy: A Language with Quantified Typed, Events
- IEEE Software '06 · Modular Software Design with Crosscutting Interfaces
- ESEC/FSE '05 · Information Hiding Interfaces for Aspect-Oriented Design