Behavioural types for service integration: achievements and challenges

A. Brogi, C. Canal, E. Pimentel

CONCUR’2004 Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA’04)

London (United Kingdom), August 2004

Electronic Notes in Theoretical Computer Science, Elsevier, (to appear)


Increasing attention is being paid to the development of so called behavioural types as a means to formally address the problem of ensuring the correct interoperation of software components as well as of Web services. The objective of this paper is to provide an insightful synthesis of the state-of-the-art in this area, both to summarise the main  results achieved and to point out some important challenges to be faced for a real impact of these ideas in the software world. (Draft)