Logo Université Nantes The CBS Project 
Communicating B Systems
(to provide Event B Method with Compositional Approach) 
July, 2002 
sdssssssscbvcbvsssslhkhhkjhkjhkjhkhkjkjhkssssssdsdsdsdsdsdsdsdsdssd
CBS - Providing the B Systems Method with a Bottom UP Approach
Le projet CBS vise à introduire une approche ascendante (bottom-up) dans le développement de systèmes utilisant les systèmes abstraits B. 
CBS permet (et à terme) :
- la composition de systèmes abstraits : asynchone, avec variables partagées et/ou echange de messages,
- la communication entre systèmes abstraits avec possiblité de synchronisation (synchronizing communication) à la CSP,
- d'encoder des systèmes interactifs/communicants en B et de les analyser/développer avec les outils de B.
Un précompilateur est en développement pour transformer des systèmes abstraits composés en systèmes abstraits "standards" afin de les exploiter avec les outils classiques de B (Atelier B, etc).
Documents
  • C. Attiogbé, Communicating B Abstract Systems, Research Report 02.08 IRIN, University of Nantes [.ps.gz] 
Participants
  • Christian Attiogbé
Atelier de développement
[Python]      [Spark]       [xml] 
Travaux en cours :
  • Compilation de Spécifications (CBS -> B)  [sujet TER_0304 (.ps)] 
  • Syntaxe abstraite et interface d'encodage de systèmes interactifs en CBS
  • Encodage des Systèmes à actions [Action Systems, Back] en CBS
    		•
    Travaux connexes
    CBS                CBS                  CBS
    mise à jour : 23 octobre 2003
    Contact : Christian Attiogbé email
    IRIN - OCM/MSF
    Modèles, Objets, Composants    		 Addresse
    IRIN - Faculté des sciences 
     2, rue de la Hussinière BP 92298 
    44 322 Nantes Cedex 3