Typing the behavior of objects and components using session types (2002) [22 citations — 4 self]
Download:
by Antonio Vallecillo, Vasco T. Vasconcelos, António Ravara
In FOCLASA’02, volume 68(3) of ENTCS
http://mikado.di.fc.ul.pt/repository/vallecillo.vasconcelos.ravara_typing-behavior-objects.pdf
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Vallecillo02typingthe,author = {Antonio Vallecillo and Vasco T. Vasconcelos and António Ravara},
title = {Typing the behavior of objects and components using session types},
booktitle = {In FOCLASA’02, volume 68(3) of ENTCS},
year = {2002},
pages = {2003},
publisher = {Elsevier}
}
Years of Citing Articles
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 behavioral properties of objects beyond the “static ” information provided by IDLs. We build on the works by Honda et al. [6] and Gay and Hole [5] 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 1
