Combining B Tools for Multi-Process Systems Specification - LINA - Equipe COmposants et LOgiciels SûrS Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Combining B Tools for Multi-Process Systems Specification

Résumé

We introduce a systematic method that combines process-oriented design and abstract systems to specify multiprocess system using Event B. As far as specification is concerned, the proposed method guides the user to describe his/her system by considering both process-oriented view and event B style of specification. With regard to mechanization, the method enforces the conjoined use of both theorem proving technique and model checking technique with the associated tools: AtelierB and ProB. This method makes it easy the specification in Event B of multi-process systems and it also fasters the correctness proof. Our proposal is illustrated with a case study: a multi-process system with the interaction between processes that deal with parts using common resources.
Fichier non déposé

Dates et versions

hal-00482855 , version 1 (11-05-2010)

Identifiants

  • HAL Id : hal-00482855 , version 1

Citer

Christian Attiogbe. Combining B Tools for Multi-Process Systems Specification. African Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42. ⟨hal-00482855⟩
50 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More