Skip to Main content Skip to Navigation
Conference papers

Combining B Tools for Multi-Process Systems Specification

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00482855
Contributor : Christian Attiogbe Connect in order to contact the contributor
Submitted on : Tuesday, May 11, 2010 - 4:32:32 PM
Last modification on : Wednesday, April 27, 2022 - 4:28:31 AM

Identifiers

  • HAL Id : hal-00482855, version 1

Citation

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⟩

Share

Metrics

Record views

47