Show last authors
1 #includeMacros("Main.MacroSheet")
2
3 #set($projectImg="eos-logo.jpg")
4
5 1 Extensible Object Systems (#eos())
6
7 ##startfloatingbox()
8 ##{image:eos-logo.jpg|width=200}
9 ##endfloatingbox()
10
11 * #stringEnIt("Funding Body","Ente finanziatore"): [MIUR|http://www.miur.it] (ex 40% - PRIN 2004)
12 * #stringEnIt("Project Acronym","Acronimo"): #eos() 
13 * #stringEnIt("Project Full Title","Titolo completo"): "Extensible Object Systems"
14 * #stringEnIt("Official Site","Sito ufficiale"): http://bart.disi.unige.it/EOS/
15 * #stringEnIt("Years","Anni"): 2004-2006
16
17 1.1 #stringEnIt("Partners","Partecipanti")
18
19 * Alma Mater Studiorum—DEIS
20 ** [Mirko Viroli|MirkoViroli.WebHome] (#stringEnIt("UNIBO Coordinator","Coordinatore UNIBO"))
21 ** [Alessandro Ricci|AlessandroRicci.WebHome]
22 ** [Enrico Denti|EnricoDenti.WebHome]
23 ** [Andrea Omicini|AndreaOmicini.WebHome]
24 ** Antonio Natali
25 * Università degli Studi di Genova
26 ** Elena Zucca (#stringEnIt("Project Coordinator","Coordinatore del progetto"))
27 * Università degli Studi di Firenze
28 * Università degli Studi Piemonte Orientale
29
30 1.1 #stringEnIt("Description","Descrizione")
31
32 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:
33 The language level, by language constructs and/or more refined type systems.
34 The metalevel, by more powerful operations for manipulating code fragments considered as black boxes.
35 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:
36 Compositional analysis
37 Interoperability
38 Adaptability
39 Structuring and reconfiguration.
40 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").
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY