Próxima charla del DC: Jueves 18/11 13.45 Labo Epsilon - Ugo Montanari - Dipartimento di Informatica, Pisa - Models and Languages for Service Component Ensembles

Orador: Ugo Montanari - Dipartimento di Informatica, Pisa

Resumen: Ensambles are: (i) widely distributed, open-ended systems, (ii) with complex interactions and behaviors, but component-based, (iii) which adapt to changing environments and requirements, and (iv) where designers can control and engineer emergent behaviour with static and dynamic support from formal methods. The talk will outline the European FET IP project ASCENS, just started. The project focuses on theory and practice of service component ensambles and includes workpackages covering foundational models, specification and programming languages and their logic, knowledge representation, adaptation, correctness, tool integration, and engineering/best practices. The case studies include robot swarms, e-vehicle mobility and cloud computing.