Behavioural Types for Service Integration: Achievements and Challenges

Authors:
Antonio Brogi;Carlos Canal;Ernesto Pimentel
Affiliations:
Dipartimento di Informatica, Università di Pisa, Italy;Dpto. de Lenguajes y Ciencias de la Computación, University of Málaga, Spain;Dpto. de Lenguajes y Ciencias de la Computación, University of Málaga, Spain
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 11
Cited 1

Regular types for active objects

Object-oriented software composition
Protocol specifications and component adaptors

ACM Transactions on Programming Languages and Systems (TOPLAS)
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
A type system for lock-free processes

Information and Computation - IFIP TCS2000
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services

Journal of Network and Systems Management
Language Primitives and Type Discipline for Structured Communication-Based Programming

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Linearity and Bisimulation

FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Introduction: Service-oriented computing

Communications of the ACM - Service-oriented computing
Contracts and types

Communications of the ACM - Service-oriented computing
A generic type system for the Pi-calculus

Theoretical Computer Science
Strong normalisation in the π-calculus

Information and Computation

A reuse-based approach to the correct and automatic composition of web-services

International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.