Dream types: a domain specific type system for component-based message-oriented middleware

We present a type system for the Dream component-based message-oriented middleware. This type system aims at preventing the erroneous use of messages, such as the access of missing content. To this end, we adapt to our setting a type system developed for extensible records.

[1]  B. Pierce.  Programming with intersection types and bounded polymorphism , 1992 .

[2]  Didier Rémy,et al.  Typing record concatenation for free , 1992, POPL '92.

[3]  Didier Rémy,et al.  Type inference for records in natural extension of ML , 1994 .

[4]  Jay Lepreau,et al.  The Flux OSKit: a substrate for kernel and language research , 1997, SOSP.

[5]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[6]  Thomas A. Henzinger,et al.  Interface Theories for Component-Based Design , 2001, EMSOFT.

[7]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[8]  Gordon S. Blair,et al.  The Design and Implementation of Open ORB 2 , 2001, IEEE Distributed Syst. Online.

[9]  Christopher K. Hess,et al.  Dynamic Resource Management and Automatic Configuration of Distributed Component Systems , 2001, COOTS.

[10]  David Notkin,et al.  Architectural Reasoning in ArchJava , 2002, ECOOP.

[11]  Julia L. Lawall,et al.  Proceedings of the 2002 Usenix Annual Technical Conference Think: a Software Framework for Component-based Operating System Kernels , 2022 .

[12]  Elie Najm,et al.  Behavioural Contracts for a Sound Assembly of Components , 2003, FORTE.

[13]  Thierry Coupaye,et al.  An Open Component Model and Its Support in Java , 2004, CBSE.

[14]  Edward A. Lee,et al.  A behavioral type system and its application in Ptolemy II , 2004, Formal Aspects of Computing.

[15]  Vivien Quéma,et al.  DREAM: a component framework for the construction of resource-aware, reconfigurable MOMs , 2004, ARM '04.

[16]  Vivien Quéma,et al.  DREAM: A Component Framework for Constructing Resource-Aware, Configurable Middleware , 2005, IEEE Distributed Syst. Online.

[17]  Alan Schmitt,et al.  An Abstract Machine for the Kell Calculus , 2005, FMOODS.

[18]  Tom Hirschowitz,et al.  Component-oriented programming with sharing: containment is not ownership , 2005, GPCE'05.