Both from a theoretical and a technological point of view,
global computing raises a number of challenging and
difficult research questions whose relevance for
the future of Software Engineering cannot be underestimated.
On the theory side, examples include
the quest for interaction models, coordination calculi, foundations for
co-operation and mobility, resource usage and security, semantics
and methods for service specification, orchestration and deployment,
among many others.
On the other hand, long term research in coalgebra theory
and coindution provided an useful set of both conceptual and
methodological tools to study the
the semantics of reactive, interactive and mutable
systems.
In such a context, this third Joint Research Workshop,
intends to bring together Dutch and Portuguese
research groups on both coalgebraic methods and
their application to the development of models and calculi for
interaction, composition and coordination of software components and
services.
Is is expected the workshop will promote a deep understanding of these
topics and their interplay, raising new research questions and fostering
further collaboration.
Organisation :
L. S. Barbosa, J. N. Oliveira, N. F. Rodrigues, Paula Anjo
Talks
On the Eclipse coordination tools and dynamic reconfigurations in Reo
(slides)
Christian Krause, CWI
Coordination via constraint interaction
(slides)
José Proença, CWI
Fault-based test case generation for component connectors
(slides)
Sun Meng, CWI
Validating software integration with coordination analysis
(slides)
Nuno Rodrigues, UM
Automata Models for Component Connectors
(slides)
Marcello Bonsangue, CWI and Leiden University
Quantitative domain theory
(abstract)
Dirk Hofmann, UA
On the design of a Galculator
(slides)
Paulo Silva, UM
Pointfree Alloy: the other side of the moon
(slides)
José Nuno Oliveira, UM
Mapping between Alloy specifications and relational database implementations
(slides)
Hugo Pacheco, UM
Sampling, splitting and merging in coinductive stream calculus
(slides)
Jan Rutten, CWI
A Kleene Theorem for Polynomial Coalgebras
(slides)
Alexandra Silva, CWI