No edit summary |
No edit summary |
||
(44 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{DISPLAYTITLE:BMotionWeb}} | |||
[[Category:Components]] | [[Category:Components]] | ||
__NOTOC__ | |||
<div style="text-align:center;"> | |||
[[File:bmotion_logo.png|center]] | |||
</div> | |||
<h4 style="text-align:center;">What is BMotionWeb?</h4> | |||
<h4 style="text-align:center;">BMotionWeb is a tool built on top of the [[ProB Java API]] for creating interactive visualizations of Classical-B, Event-B and CSP models.</h4> | |||
<h3 style="text-align:center;">Download</h3> | |||
<div style="text-align:center;"> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="glyphicon glyphicon-download"></i> [[BMotion_Studio_Download | Download BMotionWeb]] | |||
</p> | |||
</div> | |||
<br/> | |||
<h3 style="text-align:center;">Getting Started</h3> | |||
<div style="text-align:center;"> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="glyphicon glyphicon-check"></i> [http://www3.hhu.de/stups/handbook/bmotion/current/html/first_steps.html First Steps (Installation and Start)] | |||
</p> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="glyphicon glyphicon-check"></i> [http://www3.hhu.de/stups/handbook/bmotion/current/html/tutorial_b.html Tutorial: BMotionWeb for Event-B and Classical-B] | |||
</p> | |||
</div> | |||
<br/> | |||
<h3 style="text-align:center;">Online Visualization</h3> | |||
<div style="text-align:center"> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/lift.html Simple Lift (Event-B)] | |||
</p> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/bridge.html Cars on bridge (Event-B)] | |||
</p> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/landing.html Landing Gear System (Event-B)] | |||
</p> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/crossing.html Crossing (CSP)] | |||
</p> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/bully.html Bully Algorithm (CSP)] | |||
</p> | |||
</div> | |||
<br/> | |||
<h3 style="text-align:center;">Documentation</h3> | |||
<div style="text-align:center;"> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="glyphicon glyphicon-book"></i> [http://www3.hhu.de/stups/handbook/bmotion/current/pdf/bms-doc.pdf User Manual] | |||
</p> | |||
</div> | |||
<!--h4 style="text-align:center;">BMotion Studio for ProB is open source. It's hosted, developed, and maintained on GitHub.</h4> | |||
<div style="text-align:center;"> | |||
<p class="btn btn-lg btn-outline"> | |||
[https://github.com/ladenberger View the GitHub projects] | |||
</p> | |||
</div--> |