Rodin File Types
From Event-B
The Rodin platform manipulates several kind of files which are usually distinguished by their extension.
The purpose of this page is to inventory all file types used by the Rodin platform and plug-ins.
| File Extension | Root Element Type | Contents | Plug-in |
| .bum | IMachineRoot | Event-B Machine | Event-B Core |
| .buc | IContextRoot | Event-B Context | Event-B Core |
| .bcm | ISCMachineRoot | Event-B Statically Checked Machine | Event-B Core |
| .bcc | ISCContextRoot | Event-B Statically Checked Context | Event-B Core |
| .bpo | IPORoot | Event-B Proof Obligations | Event-B Core |
| .bpr | IPRRoot | Event-B Proofs | Event-B Core |
| .bps | IPSRoot | Event-B Proof Statuses | Event-B Core |
| .xmb | N/A | This is a Machine or Context stored in the standard EMF XMI format - used by the Teamwork plug-in to create a copy of the model that can be compared with the repository. | Event-B EMF Framework |
