Andrea Omicini, Mirko Viroli, Alessandro Ricci, Andrea Roli

Andrea Omicini, Mirko Viroli, Alessandro Ricci, Andrea Roli
([email protected])
Alma Mater Studiorum – Università di Bologna, Italy
(Ongoing) research context as far as ICT-FY is concerned:
Agents & Artifacts: a paradigm for engineering complex
and adaptive systems
.. composing autonomous/intelligent/adaptive parts
.. with service-oriented/functional/adaptable parts
Building a language and infrastructure on top of Java
Formal approaches to adative systems engineering
Stochastic process algebras + logic programming
Formal analysis and verification (where feasible)
Deployment over tuple-based systems (see A&A)
Goal here (being a partner of an IP on Eternal Systems):
Providing an infrastructure and/or specific components
for building eternal systems
Conceiving/implementing stochastic algorithms for
adaptation
Mirko Viroli