BMotion Studio: Difference between revisions

Latest revision as of 07:13, 10 October 2017

What is BMotionWeb?

BMotionWeb is a tool built on top of the ProB Java API for creating interactive visualizations of Classical-B, Event-B and CSP models.

@@ Line 1: / Line 1: @@
+{{DISPLAYTITLE:BMotionWeb}}
 [[Category:Components]]
+__NOTOC__
-<h3 style="text-align:center;">BMotion Studio is a tool built on top of the [[ProB Java API]] for creating domain specific visualisations of formal models.</h3>
+<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">
-		    [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion-prob-standalone/releases/ Download BMotion Studio for ProB]
+		    <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="fa fa-road"></i> [[BMotion Studio Tutorial | Tutorial]]
+		    <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">
-		      <i class="fa fa-user"></i> [[BMotion Studio User Manual | User Manual]]
+		    [https://github.com/ladenberger View the GitHub projects]
                      </p>
-</div>
+</div-->