Toggle navigation
First Steps
Tutorial
B-Method Tutorial
Manual
B-Method Manual
FAQ
Download
Report Bug
PDF
BMotionWeb for ProB Handbook
BMotionWeb for ProB Handbook
Work in Progress
ladenberger@cs.uni-duesseldorf.de
http://www.stups.hhu.de/ProB/index.php5/BMotionWeb
1 Introduction
1.1 Overview
1.1.1 Formats of this Handbook
1.2 Conventions
1.3 ADVANCE
1.4 Creative Commons Legal Code
2 First Steps
2.1 Installation and Start
2.2 Open a Visualization
2.3 Create a new Visualization
3 BMotionWeb
3.1 Reference
3.1.1 BMotionWeb Manifest File
3.1.2
bmotion.json
Configuration File
4 BMotionWeb for Event-B and Classical-B
4.1 Tutorial
4.1.1 Preparation
4.1.2 The Formal Model
4.1.3 Link the Model with the Visualization
4.1.4 Create the Actual Visualization
4.1.5 Start the Visualization
4.1.6 Create Observers
4.1.7 Add Event Handler
4.2 Reference
4.2.1 Selectors
4.2.2 Observers
4.2.3 Event Handler
5 Frequently Asked Questions
5.1 Where can I download the tool?
5.2 Where can I report bugs?
5.3 Where can I find examples?
6 Index
