Coordination Via Types in an Event-Based Framework

Authors:
Gianluigi Ferrari;Roberto Guanciale;Daniele Strollo;Emilio Tuosto
Affiliations:
Dipartimento di Informatica, Università degli Studi di Pisa, Italy;Istituto Alti Studi IMT Lucca, Italy;Dipartimento di Informatica, Università degli Studi di Pisa, Italy and Istituto Alti Studi IMT Lucca, Italy;Computer Science Department, University of Leicester,
Venue:
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Year:
2007

Citing 13
Cited 7

Semiring-based constraint satisfaction and optimization

Journal of the ACM (JACM)
Achieving scalability and expressiveness in an Internet-scale event notification service

Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Language Primitives and Type Discipline for Structured Communication-Based Programming

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Content-Based Networking: A New Communication Infrastructure

IMWS '01 Revised Papers from the NSF Workshop on Developing an Infrastructure for Mobile and Wireless Systems
Forwarding in a content-based network

Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications
Distributed Programming with Typed Events

IEEE Software
SHReQ: Coordinating Application Level QoS

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A Comparative Study of Web Services-based Event Notification Specifications

ICPPW '06 Proceedings of the 2006 International Conference Workshops on Parallel Processing
Structured communication-centred programming for web services

ESOP'07 Proceedings of the 16th European conference on Programming
Event based service coordination over dynamic and heterogeneous networks

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
JSCL: a middleware for service coordination

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A process calculus for qos-aware applications

COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
SCC: a service centered calculus

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

Checking Correctness of Transactional Behaviors

FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Event-Based Service Coordination

Concurrency, Graphs and Models
Refactoring Long Running Transactions

Web Services and Formal Methods
Calculi for Service-Oriented Computing

Formal Methods for Web Services
Event based choreography

Science of Computer Programming
Refactoring long running transactions: a case study

TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Model-driven development of long running transactions

Rigorous software engineering for service-oriented systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., services). Basically, the type system expresses coordination policies for handling the events spawn in a network so that distributed components react to events when the type of their public interface is "compatible" with (the policies expressed by) the types of signals.Remarkably, the type system can naturally handle multi-party sessions, as shown in the formalisation of the OpenID protocol which requires multi-party sessions for handling user identities.