*********************************************************************
*                       Ecole Normale Supe'rieure                   *
*                                                                   *
*                              Se'minaire                           *
*                SEMANTIQUE ET INTERPRETATION ABSTRAITE             *
*                              P. Cousot                            *
*                                                                   *
*                        Vendredi, 14h00--15h30                     *
*                           Salle S16, etage -1                     *
*                  DI  ENS  45 rue d'Ulm  75005 Paris               *
*********************************************************************

*** Vendredi 29 septembre 2006 14h00-15h30 **************************

Andrzej Tarlecki (Institute of Informatics, Warsaw University and 
                  Institute of Computer Science, Polish Academy of 
                  Sciences, Varsovie, Pologne)

TOWARD (INSTITUTIONAL) FOUNDATIONS FOR HETEROGENEOUS SPECIFICATIONS

Abstract: 

The overall idea of the talk is to present recent work aimed at                 
dealing with multiple logical systems in a single specification and             
software development task. I first recall the basic technical notions           
related to modelling logical systems as institutions, and mention a             
number of exciting possibilities for applications of the theory of              
institutions.  Then I sketch how the mechanisms of various mappings             
between institutions may be used to cater for heterogeneous                     
specifications, which span an number of linked institutions, and for            
the description of the development process which may 'migrate' between          
various institutions in the course of development of separate modules           
of the system. I will introduce a concept of a distributed                      
heterogeneous specification, which captures different views of the              
same system to be developed and briefly suggest how such distributed            
specifications can be used in the process of sofwtare development.              
Overall, a picture of a heterogeneous logical environment for software          
specification and development is emerging as a diagram of institutions          
linked by morphisms of various kinds.                                           

This work is funded in part by the European IST FET programme under             
the IST-2005-016004 SENSORIA project.                                           
*********************************************************************
Pour recevoir l'annonce par courrier electronique: 
WWW: http://www.di.ens.fr/~cousot/annonceseminaire.shtml
*********************************************************************