With the emerging connected automated vehicles, 5G and Internet of Things (IoT), vehicles
and road infrastructure become connected and cooperative, enabling Cooperative …

Abstract Automata models are well-established in many areas of computer science and are
supported by a wealth of theoretical results including a wide range of algorithms and …

Emergent Software Systems (ESSs) are designed to reduce the initial effort in creating
autonomous solutions and fully adaptive support systems that can autonomously learn the …

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 …

BPMN choreography is a modeling language capable to describe scenarios where several
independent participants have to collaborate in a climate of opposing interests and therefore …

CHOReVOLUTION is a platform for the tool-assisted development and execution of scalable
applications that leverage the distributed collaboration of services specified through service …

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 …

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' …

Nowadays, software systems are often built by reusing and integrating existing services
distributed over the Internet. Service choreography is a service engineering approach to …

In the near future we will be surrounded by a virtually infinite number of software
applications that provide services in the digital space. This situation radically changes the …