Mobile Calculi based on Domains


Typing the Behavior of Objects and Components using Session Types

A. Vallecillo and V. Vasconcelos and A. Ravara

Abstract

This paper describes a proposal for typing the behavior of objects in component models. Most component models, CORBA in particular, do not offer any support for expressing behavior al properties of objects beyond the ``static' information provided by IDLs. We build on the works by Honda et al. and Gay and Hole to show how session types can be effectively used for describing protocols, extending the information currently provided by object interfaces. We show how session types not only allow high level specifications of complex object interactions, but also allow the definition of powerful interoperability tests at the protocol level, namely compatibility and substitutability of objects.

@InProceedings\{vallecillo.vasconcelos.ravara:typing-behavior-objects,
  author = \{A. Vallecillo and V. Vasconcelos and A. Ravara},
  title = \{Typing the Behavior of Objects and Components using Session Types},
  booktitle = \{1st International Workshop on Foundations of Coordination Languages
               and Software Architectures (Foclasa 2002)},
  year = \{2002}, 
  publisher = \{Elsevier Science Publishers}, 
  url = \{http://mikado.di.fc.ul.pt/repository/vallecillo.vasconcelos.ravara_typing-behavior-objects.pdf}
}


About this site. Last modified: Sat Nov 18 05:43:21 CET 2017