Previous | 
Home
Section: Research Program
Foundations 2: Foundational calculi and interaction
Modern distributed
systems have witnessed a clear shift
towards interaction and conversations
as
basic building blocks
for software architects and programmers.
The systems are made by components, that
are supposed to
interact and carry out
dialogues in order to achieve
some predefined goal; Web services are a good example of this.
Process calculi are models that have been designed precisely with the
goal
of understanding interaction and composition.
The theory and tools that have been developed on top of process
calculi can set a basis with which CBUS challenges can be tackled.
Indeed industrial proposals of languages for Web services such as BPEL
are strongly inspired by process calculi, notably the