Typing the Behavior of Software Components using Session Types

This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session types allow not only high level specifications of complex interactions, but also the definition of powerful interoperability tests at the protocol level, namely compatibility and substitutability of components. We present a decidable proof system to verify these notions, which makes our approach of a pragmatic nature.

• Type: Journal
• Year: 2006
• Where: FUIN
• Authors: Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara
• Keywords: FUIN 2006, Powerful Interoperability Tests, Session Types, Software Component Interfaces