Ptolemy: A Language with Quantified, Typed Events

Ptolemy-I: Instance-level Quantified Typed Event for Integrated System Design

Integrated systems are those where components must behave together in order to fulfill overall requirements. In such systems, modularization of integration relationships is important for enabling separate component compilation, testing, and debugging, and for enhanced reuse. Existing languages and approaches for modularizing integration relationships work, but do not solve all problems. In particular, they either do not completely decouple components or require workarounds, which at a minimum incurs design and performance overheads.

This web-page provides materials describing an extension to Ptolemy to support what we call instance-level quantified, typed events, which solves all of the problems mentioned above. We call this extension Ptolemy-I (I for instance-level).

Detailed Technical Report: The technical contributions of our work on Ptolemy-I include: the design, semantics, and type system of instance-level quantified, typed events and a proof of its soundness. Our detailed technical report describes these.

Interpreter and Examples: To demonstrate the feasibility of our language design, we have implemented this design in an interpreter. To provide an initial assessment of the language's benefits, we have implemented canonical examples in the literature. These are also available from here.

Our initial assessments show that instance-level quantified, typed events improve the separation of integration concerns over previous language design proposals.