Premium
Decomposition tool for event‐B
Author(s) -
Silva Renato,
Pascal Carine,
Hoang Thai Son,
Butler Michael
Publication year - 2011
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.1002
Subject(s) - decomposition , event (particle physics) , mathematical proof , computer science , variable (mathematics) , theoretical computer science , mathematics , chemistry , mathematical analysis , physics , geometry , organic chemistry , quantum mechanics
Two methods have been identified for Event‐B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the respective tool support in the Rodin platform. Besides alleviating the complexity for large systems and respective proofs, decomposition allows team development in parallel over the same Event‐B project which is very attractive in the industrial environment. Copyright © 2011 John Wiley & Sons, Ltd.