BMotion Studio: Difference between revisions

No edit summary
No edit summary
 
(19 intermediate revisions by the same user not shown)
Line 1: Line 1:
{{DISPLAYTITLE:BMotionWeb}}
[[Category:Components]]
[[Category:Components]]
__NOTOC__  
__NOTOC__  
Line 6: Line 7:
</div>
</div>


<h4 style="text-align:center;">What is BMotion Studio for ProB?</h4>
<h4 style="text-align:center;">What is BMotionWeb?</h4>
<h4 style="text-align:center;">BMotion Studio for ProB is a tool built on top of the [[ProB Java API]] for creating domain specific visualizations of Classical-B, Event-B and CSP models.</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>
<h3 style="text-align:center;">Download</h3>
<div style="text-align:center;">
<div style="text-align:center;">
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline">
    <i class="glyphicon glyphicon-download"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-standalone/releases/ Download BMotion Studio for ProB]
    <i class="glyphicon glyphicon-download"></i> [[BMotion_Studio_Download | Download BMotionWeb]]
                     </p>
                     </p>
</div>
</div>
Line 20: Line 21:
<div style="text-align:center;">
<div style="text-align:center;">
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline">
    <i class="glyphicon glyphicon-film"></i> [http://cobra.cs.uni-duesseldorf.de:18080/bms/landing/landinggear.html Try our online visualization]
      <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>
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline">
      <i class="glyphicon glyphicon-check"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/first_steps.html First Steps]
      <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>
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline">
      <i class="glyphicon glyphicon-check"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/tutorial_b.html Tutorial: BMotion Studio for Event-B and Classical-B]
    <i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/bridge.html Cars on bridge (Event-B)]
                     </p>
                     </p>
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline">
      <i class="glyphicon glyphicon-check"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/tutorial_csp.html Tutorial: BMotion Studio for CSP]
    <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>
                     </p>
</div>
</div>
<br/>
<br/>
<h3 style="text-align:center;">Documentation</h3>
<h3 style="text-align:center;">Documentation</h3>
<div style="text-align:center;">
<div style="text-align:center;">
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline">
    <i class="glyphicon glyphicon-film"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/index.html User Manual]
    <i class="glyphicon glyphicon-book"></i> [http://www3.hhu.de/stups/handbook/bmotion/current/pdf/bms-doc.pdf User Manual]
                     </p>
                     </p>
</div>
</div>
<br/><br/>


<!--h4 style="text-align:center;">BMotion Studio for ProB is open source. It's hosted, developed, and maintained on GitHub.</h4>
<!--h4 style="text-align:center;">BMotion Studio for ProB is open source. It's hosted, developed, and maintained on GitHub.</h4>

Latest revision as of 07:13, 10 October 2017


Bmotion logo.png

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.

Download


Getting Started


Online Visualization


Documentation