Hide last authors
Andrea Omicini 10.1 1 = {{eos short="no"/}} ({{eos/}} =
Andrea Omicini 2.1 2
Andrea Omicini 10.1 3 * {{stringEngIta eng="Funding Body" ita="Ente finanziatore"/}}: [[MIUR>>http://www.miur.it||target="_blank"]] (ex 40% - PRIN 2004)
4 * {{stringEngIta eng="Project Acronym" ita="Acronimo"/}}: {{eos/}}
5 * {{stringEngIta eng="Project Full Title" ita="Titolo completo"/}}: {{eos short="no"/}}
6 * {{stringEngIta eng="Official Site" ita="Sito ufficiale"/}}: http://bart.disi.unige.it/EOS/
7 * {{stringEngIta eng="Years" ita="Anni"/}}: 2004-2006
Andrea Omicini 1.1 8
Andrea Omicini 10.1 9 >{{stringEngIta eng="Partners" ita="Partecipanti"/}}
Andrea Omicini 1.1 10
Andrea Omicini 10.1 11 * Alma Mater Studiorum–DEIS
12 ** [[Mirko Viroli>>MirkoViroli.WebHome]] ({{stringEngIta eng="UNIBO Coordinator" ita="Coordinatore UNIBO"/}})
Andrea Omicini 8.1 13 ** [[Alessandro Ricci>>AlessandroRicci.WebHome]]
14 ** [[Enrico Denti>>EnricoDenti.WebHome]]
Andrea Omicini 10.1 15 ** [[Andrea Omicini>>AndreaOmicini.WebHome]]
Andrea Omicini 4.1 16 ** Antonio Natali
Andrea Omicini 1.1 17 * Università degli Studi di Genova
Andrea Omicini 10.1 18 ** Elena Zucca ({{stringEngIta eng="Project Coordinator" ita="Coordinatore del progetto"/}})
Andrea Omicini 1.1 19 * Università degli Studi di Firenze
20 * Università degli Studi Piemonte Orientale
21
Andrea Omicini 10.1 22 >{{stringEngIta eng="Description" ita="Descrizione"/}}
23
24 The objective of this project is to advance design and foundations of modern extensible object systems, where by ”“extensible” we mean object systems which go beyond the traditional ingredients of the object paradigm, aiming at incorporating more and more powerful and flexible features. Note that this “extensibility” can be obtained at two complementary levels: The language level, by language constructs and/or more refined type systems. The metalevel, by more powerful operations for manipulating code fragments considered as black boxes. Both levels, often in an interdependent way, will be considered in this project. The research will consist in the development of formal models/calculi giving rigorous characterizations of the behaviour of the object systems under consideration, and in the application of these results to prevalent languages/environments such as Java, C++, C-sharp, .NET. We will develop prototypes and/or extensions to such languages/environments. The research plan will be based upon four complementary capabilities which are highly desirable for extensible object systems, orthogonal to the distinction between language level and metalevel in the sense that each one can work at either level: Compositional analysis Interoperability Adaptability Structuring and reconfiguration. The first is the capability of analyzing (e.g., typechecking) single fragments and then combining them on the basis of the results of the analysis, without any need of reinspection. The second is the capability of supporting coexistence and cooperation between fragments expressed in heterogeneous languages, or extensions/versions of a language. The third is the capability of adapting a system's behaviour to different, unexpected requests from the external contexts. The last is the availability of flexible mechanisms for composing fragments, which can take place either statically, before execution has started (what we call “structuring”) or dynamically, when an application is already running (what we call "reconfiguration").
25
26 {{velocity}}
27 #set( $projectImg="eos-logo.jpg" )
Andrea Omicini 8.1 28 {{/velocity}}
Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY