Synthesis and verification of self-aware computing systems
Self-aware computing systems are envisaged to exploit the knowledge of their own software
architecture, hardware infrastructure and environment in order to follow high-level goals …
architecture, hardware infrastructure and environment in order to follow high-level goals …
Automated synthesis of service choreographies
Future Internet research promotes the production of a distributed-computing environment
that will be increasingly surrounded by a virtually infinite number of software services that …
that will be increasingly surrounded by a virtually infinite number of software services that …
CHOREOS: Large scale choreographies for the future internet
In this paper we share our experience in the CHOReOS EU project. CHOReOS provides
solutions for the development and execution of large scale choreographies for the Future …
solutions for the development and execution of large scale choreographies for the Future …
Distributed enforcement of service choreographies
A choreography-based and collaborative road mobility system for L'Aquila city
Next Generation Internet (NGI) is the European initiative launched to identify the future
internet technologies, designed to serve the needs of the digitalized society while ensuring …
internet technologies, designed to serve the needs of the digitalized society while ensuring …
On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems
The Future Internet is becoming a reality, providing a large-scale computing environments
where a virtually infinite number of available services can be composed so to fit users' …
where a virtually infinite number of available services can be composed so to fit users' …