Rodin File Types

From Event-B
Revision as of 11:37, 8 March 2013 by imported>Colin
Jump to navigationJump to search

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