Sottoaree

Ricerca: dettaglio

  • Home
  • > Ricerca
  • > Ricerca: dettaglio: DISCO (Distribution, Interaction, Specification, Composition for Object Systems)

DISCO (Distribution, Interaction, Specification, Composition for Object Systems)

DISCO
The DISCO (Distribution, Interaction, Specification, Composition for Object Systems) project is funded by MIUR - Programmi di ricerca di rilevante interesse nazionale. The duration is 24 months, from 22/03/2010 through 22/03/2012, and the funding is 53639 EUR.
This project builds on and extends the achievements of projects EOS and EOSDUE.

In previous PRIN projects (EOS, EOSDUE) we have achieved substantial results in extending object systems beyond the traditional ingredients of the object paradigm, incorporating more powerful and flexible features.

Basing on our experience in this work, we face in DISCO two new grand challenges posed to object technology:

   1. exploiting objects in distributed environments, and
   2. ensuring reliability by formal specification and verification techniques. Keywords in the project title summarize these two challenges as main objectives and composition as our privileged mean to achieve them.

Today, distributed computing has become a ubiquitous technology in the form of the Internet and the Web. There is growing demand for applications that work well on and off line, combining the ease of maintenance of web applications with the high quality user experience of local clients. In particular, there is an increasing trend towards the provision of software as a service via the network (cloud or utility computing). An important question to address is then whether specific principles of object-oriented programming still can help to program, structure and organize such systems. We believe the answer is yes.

Development of provably reliable software has been an ideal goal since the beginning of computer science. However, nowadays there is a renewed confidence in the research community towards its achievement in real-world applications. More specifically, integration of programming languages with verification techniques is a hot topic (see, e.g., the PLPV workshops series), often focused on object-oriented programming, as also shown by many European projects.

DISCO aims at obtaining a substantial advancement of the state-of-the-art of object technology related to (1) and (2).

Homepage http://bart.disi.unige.it/DISCO/website/

Appartiene a:
PROGETTI PRECEDENTI