ProB Documentation - User contributions [en]

BMotion Studio

2017-10-10T07:13:35Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb}}
[[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>

BMotion Studio Download

2017-02-05T19:59:22Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb Download}}
[[Category:BMotion_Studio]]
__NOTOC__

<h3>Current Release</h3>

<h4>v0.3.2</h4>
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.3.2 Download]

<h3>Old Releases</h3>

<h4>v0.3.1</h4>
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.3.1 Download]

<h4>v0.3.0</h4>
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.3.0 Download]

<h4>v0.2.8</h4>
* [https://probjira.atlassian.net/issues/?filter=11900 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.8 Download]

<h4>v0.2.7</h4>
* [https://probjira.atlassian.net/issues/?filter=11800 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.7 Download]

<h4>v0.2.6</h4>
* [https://probjira.atlassian.net/issues/?filter=11700 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.6 Download]
<h3>Old Releases</h3>

<h4>v0.2.5</h4>
* [https://probjira.atlassian.net/issues/?filter=11600 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.5 Download]

<h4>v0.2.4</h4>
* [https://probjira.atlassian.net/issues/?filter=11501 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.4 Download]

<h4>0.2.3</h4>
* [https://probjira.atlassian.net/issues/?filter=11400 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.3 Download]

<h4>v0.2.2</h4>

* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.2 Download]

BMotion Studio Download

2016-11-06T22:19:13Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb Download}}
[[Category:BMotion_Studio]]
__NOTOC__

<h3>Current Release</h3>

<h4>v0.3.1</h4>
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.3.1 Download]

<h3>Old Releases</h3>

<h4>v0.3.0</h4>
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.3.0 Download]

<h4>v0.2.8</h4>
* [https://probjira.atlassian.net/issues/?filter=11900 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.8 Download]

<h4>v0.2.7</h4>
* [https://probjira.atlassian.net/issues/?filter=11800 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.7 Download]

<h4>v0.2.6</h4>
* [https://probjira.atlassian.net/issues/?filter=11700 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.6 Download]
<h3>Old Releases</h3>

<h4>v0.2.5</h4>
* [https://probjira.atlassian.net/issues/?filter=11600 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.5 Download]

<h4>v0.2.4</h4>
* [https://probjira.atlassian.net/issues/?filter=11501 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.4 Download]

<h4>0.2.3</h4>
* [https://probjira.atlassian.net/issues/?filter=11400 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.3 Download]

<h4>v0.2.2</h4>

* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.2 Download]

BMotion Studio Download

2016-07-07T12:16:27Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb Download}}
[[Category:BMotion_Studio]]
__NOTOC__

<h3>Current Release</h3>

<h4>v0.3.0</h4>
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.3.0 Download]

<h3>Old Releases</h3>

<h4>v0.2.8</h4>
* [https://probjira.atlassian.net/issues/?filter=11900 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.8 Download]

<h4>v0.2.7</h4>
* [https://probjira.atlassian.net/issues/?filter=11800 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.7 Download]

<h4>v0.2.6</h4>
* [https://probjira.atlassian.net/issues/?filter=11700 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.6 Download]
<h3>Old Releases</h3>

<h4>v0.2.5</h4>
* [https://probjira.atlassian.net/issues/?filter=11600 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.5 Download]

<h4>v0.2.4</h4>
* [https://probjira.atlassian.net/issues/?filter=11501 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.4 Download]

<h4>0.2.3</h4>
* [https://probjira.atlassian.net/issues/?filter=11400 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.3 Download]

<h4>v0.2.2</h4>

* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.2 Download]

FormalPrototyping

2016-03-16T12:44:13Z

Lukas Ladenberger: /* Live Online Formal Prototypes */

{{DISPLAYTITLE:BMotionWeb: A Tool for Rapid Creation of Formal Prototypes}}
__NOTOC__

This page provides additional information and resources for the tool paper we have submitted for the [http://staf2016.conf.tuwien.ac.at/sefm/ SEFM 2016 conference].

== Resources ==

* [https://www3.hhu.de/stups/prob/index.php/BMotionWeb_Download BMotionWeb Download]
* [[Media:Phonebook.Formal.Prototype.zip|Phonebook Formal Prototype]]
* [[Media:CCS.Formal.Prototype.zip|Cruise Control System Formal Prototype]]

== Live Online Formal Prototypes ==

* [http://wyvern.cs.uni-duesseldorf.de/bms/phonebook.html Phonebook Online-Version]
* [http://wyvern.cs.uni-duesseldorf.de/bms/ccs.html Cruise Control System Online-Version]

Please note, that the visual editor is only available in the desktop-version of BMotionWeb.

If you have troubles with running the online version, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de).

== Links ==

* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotionWeb Homepage]
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotionWeb User Handbook]

== Getting Started with BMotionWeb ==

=== Install BMotionWeb ===

Start off by downloading BMotionWeb for your operating system.
You can find the latest version of the tool at

[http://www.stups.hhu.de/ProB/BMotionWeb_Download BMotionWeb Download]

Decompress the archive and expand the directory if necessary.
Navigate to the application folder and start BMotionWeb by executing the bmotion-prob binary.

=== Open a Formal Prototype ===

Start off by downloading a formal prototype from this wiki page.
Decompress the archive and expand the directory if necessary.
To open a formal prototype, click on the box in the middle of the window and select the BMotionWeb manifest file (.json file) of the formal prototype or just drag and drop the manifest file into the box.
You can also open a formal prototype via the top menu: File > Open Visualization.
For instance, to load the phonebook or CCS formal prototype select the phonebook.json or ccs.json file respectively.

File:CCS.Formal.Prototype.zip

2016-03-10T16:31:10Z

Lukas Ladenberger: Lukas Ladenberger uploaded a new version of File:CCS.Formal.Prototype.zip

File:Phonebook.Formal.Prototype.zip

2016-03-10T16:30:51Z

Lukas Ladenberger: Lukas Ladenberger uploaded a new version of File:Phonebook.Formal.Prototype.zip

FormalPrototyping

2016-03-10T16:29:52Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb: A Tool for Rapid Creation of Formal Prototypes}}
__NOTOC__

This page provides additional information and resources for the tool paper we have submitted for the [http://staf2016.conf.tuwien.ac.at/sefm/ SEFM 2016 conference].

== Resources ==

* [https://www3.hhu.de/stups/prob/index.php/BMotionWeb_Download BMotionWeb Download]
* [[Media:Phonebook.Formal.Prototype.zip|Phonebook Formal Prototype]]
* [[Media:CCS.Formal.Prototype.zip|Cruise Control System Formal Prototype]]

== Live Online Formal Prototypes ==

* [http://wyvern.cs.uni-duesseldorf.de/bms/phonebook.html Phonebook Online-Version]
* [http://wyvern.cs.uni-duesseldorf.de/bms/ccs.html Cruise Control System Online-Version]

If you have troubles with running the online version, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de).

== Links ==

* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotionWeb Homepage]
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotionWeb User Handbook]

== Getting Started with BMotionWeb ==

=== Install BMotionWeb ===

Start off by downloading BMotionWeb for your operating system.
You can find the latest version of the tool at

[http://www.stups.hhu.de/ProB/BMotionWeb_Download BMotionWeb Download]

Decompress the archive and expand the directory if necessary.
Navigate to the application folder and start BMotionWeb by executing the bmotion-prob binary.

=== Open a Formal Prototype ===

Start off by downloading a formal prototype from this wiki page.
Decompress the archive and expand the directory if necessary.
To open a formal prototype, click on the box in the middle of the window and select the BMotionWeb manifest file (.json file) of the formal prototype or just drag and drop the manifest file into the box.
You can also open a formal prototype via the top menu: File > Open Visualization.
For instance, to load the phonebook or CCS formal prototype select the phonebook.json or ccs.json file respectively.

BMotion Studio

2016-03-10T16:19:39Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb}}
[[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/html/index.html User Manual]
</p>
</div>

BMotion Studio

2016-03-10T13:09:54Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb}}
[[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>


<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/html/index.html User Manual]
</p>
</div>

BMotion Studio

2016-03-10T13:09:30Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb}}
[[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;">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/html/index.html User Manual]
</p>
</div>

BMotion Studio

2016-03-10T13:09:10Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb}}
[[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;">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/html/index.html User Manual]
</p>
</div>

<br/><br/>

BMotion Studio

2016-03-10T13:06:58Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb}}
[[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>

</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/html/index.html User Manual]
</p>
</div>

<br/><br/>

BMotion Studio Download

2016-03-10T08:35:40Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb Download}}
[[Category:BMotion_Studio]]
__NOTOC__

<h3>Current Release</h3>

<h4>v0.2.8</h4>
* [https://probjira.atlassian.net/issues/?filter=11900 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.8 Download]

<h3>Old Releases</h3>

<h4>v0.2.7</h4>
* [https://probjira.atlassian.net/issues/?filter=11800 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.7 Download]

<h4>v0.2.6</h4>
* [https://probjira.atlassian.net/issues/?filter=11700 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.6 Download]
<h3>Old Releases</h3>

<h4>v0.2.5</h4>
* [https://probjira.atlassian.net/issues/?filter=11600 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.5 Download]

<h4>v0.2.4</h4>
* [https://probjira.atlassian.net/issues/?filter=11501 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.4 Download]

<h4>0.2.3</h4>
* [https://probjira.atlassian.net/issues/?filter=11400 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.3 Download]

<h4>v0.2.2</h4>

* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.2 Download]

BMotion Studio Download

2016-03-10T08:29:50Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb Download}}
[[Category:BMotion_Studio]]
__NOTOC__

<h3>Current Release</h3>

<h4>v0.2.8</h4>
* [https://probjira.atlassian.net/issues/?filter=11800 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.8 Download]

<h3>Old Releases</h3>

<h4>v0.2.7</h4>
* [https://probjira.atlassian.net/issues/?filter=11800 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.7 Download]

<h4>v0.2.6</h4>
* [https://probjira.atlassian.net/issues/?filter=11700 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.6 Download]
<h3>Old Releases</h3>

<h4>v0.2.5</h4>
* [https://probjira.atlassian.net/issues/?filter=11600 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.5 Download]

<h4>v0.2.4</h4>
* [https://probjira.atlassian.net/issues/?filter=11501 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.4 Download]

<h4>0.2.3</h4>
* [https://probjira.atlassian.net/issues/?filter=11400 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.3 Download]

<h4>v0.2.2</h4>

* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.2 Download]

FormalPrototyping

2016-03-09T13:07:26Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb: A Tool for Rapid Creation of Formal Prototypes}}
__NOTOC__

This page provides additional information and resources for the tool paper we have submitted for the [http://staf2016.conf.tuwien.ac.at/sefm/ SEFM 2016 conference].

== Resources ==

* [https://www3.hhu.de/stups/prob/index.php/BMotionWeb_Download BMotionWeb Download]
* [[Media:Phonebook.Formal.Prototype.zip|Phonebook Formal Prototype]]
* [[Media:CCS.Formal.Prototype.zip|CCS Formal Prototype]]

== Live Online Formal Prototypes ==

If you have troubles with running the online version, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de).

== Links ==

* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotionWeb Homepage]
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotionWeb User Handbook]

== Getting Started with BMotionWeb ==

=== Install BMotionWeb ===

Start off by downloading BMotionWeb for your operating system.
You can find the latest version of the tool at

[http://www.stups.hhu.de/ProB/BMotionWeb_Download BMotionWeb Download]

Decompress the archive and expand the directory if necessary.
Navigate to the application folder and start BMotionWeb by executing the bmotion-prob binary.

=== Open a Formal Prototype ===

Start off by downloading a formal prototype from this wiki page.
Decompress the archive and expand the directory if necessary.
To open a formal prototype, click on the box in the middle of the window and select the BMotionWeb manifest file (.json file) of the formal prototype or just drag and drop the manifest file into the box.
You can also open a formal prototype via the top menu: File > Open Visualization.
For instance, to load the phonebook or CCS formal prototype select the phonebook.json or ccs.json file respectively.

File:CCS.Formal.Prototype.zip

2016-03-09T13:03:03Z

Lukas Ladenberger:

File:Phonebook.Formal.Prototype.zip

2016-03-09T13:02:50Z

Lukas Ladenberger:

FormalPrototyping

2016-03-09T13:02:25Z

Lukas Ladenberger: /* Resources */

FormalPrototyping

2016-03-09T11:34:47Z

Lukas Ladenberger:

BMotionWeb Download

2016-03-09T11:34:07Z

Lukas Ladenberger: Redirected page to BMotion Studio Download

#REDIRECT [[BMotion_Studio_Download]]

BMotion Studio Download

2016-03-09T11:33:28Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb Download}}
[[Category:BMotion_Studio]]
__NOTOC__

<h3>Current Release</h3>

<h4>v0.2.7</h4>
* [https://probjira.atlassian.net/issues/?filter=11800 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.7 Download]

<h3>Old Releases</h3>

<h4>v0.2.6</h4>
* [https://probjira.atlassian.net/issues/?filter=11700 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.6 Download]
<h3>Old Releases</h3>

<h4>v0.2.5</h4>
* [https://probjira.atlassian.net/issues/?filter=11600 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.5 Download]

<h4>v0.2.4</h4>
* [https://probjira.atlassian.net/issues/?filter=11501 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.4 Download]

<h4>0.2.3</h4>
* [https://probjira.atlassian.net/issues/?filter=11400 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.3 Download]

<h4>v0.2.2</h4>

* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.2 Download]

BMotionWeb

2016-03-09T11:31:03Z

Lukas Ladenberger: Redirected page to BMotion Studio

#REDIRECT [[BMotion_Studio]]

BMotionWeb

2016-03-09T11:30:19Z

Lukas Ladenberger: Redirected page to "BMotion Studio"

#REDIRECT [["BMotion_Studio"]]

BMotion Studio

2016-03-09T11:29:28Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb}}
[[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/html/index.html User Manual]
</p>
</div>

<br/><br/>

BMotion Studio

2016-03-09T11:29:02Z

Lukas Ladenberger:

{{DISPLAYTITLE:BMotionWeb}}
[[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 domain specific 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/html/index.html User Manual]
</p>
</div>

<br/><br/>

FormalPrototyping

2016-03-09T11:27:15Z

Lukas Ladenberger:

FormalPrototyping

2016-03-09T11:24:46Z

Lukas Ladenberger: Created page with "{{DISPLAYTITLE:BMotionWeb: A Tool for Rapid Creation of Formal Prototypes}} __NOTOC__"

{{DISPLAYTITLE:BMotionWeb: A Tool for Rapid Creation of Formal Prototypes}}
__NOTOC__

ABZ16

2016-01-27T13:46:52Z

Lukas Ladenberger: /* Links */

{{DISPLAYTITLE:ABZ 2016 Case Study}}
__NOTOC__

== The Hemodialysis Machine Case Study ==
This page provides additional information and resources for the paper we have submitted for the [http://www.cdcc.faw.jku.at/ABZ2016 ABZ 2016 case study track].

The full description of the case study can be found [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf here].

=== Resources ===

* [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf ABZ 2016 Case Study Paper]

The original specification of the HD machine as PDF.

* [[Media:HDMachine-160122.zip|HD Machine Event-B Model]]

The zip file contains the HD machine Event-B model. You can import the zip file directly into the Rodin platform as an Event-B project.

* [[Media:Cosim-160122.zip|Co-Simulation Model of the Blood Flow Control]]

The zip file contains a readme file that explains what is included.

* [[Media:HDMachine-BMS-160122.zip|BMotion Studio Visualisation]]

The zip file contains the domain specific visualisation of the HD machine developed with BMotion Studio. You need to [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio_Download download] the latest version of BMotion Studio (v.0.2.7). Some instruction for getting started with BMotion Studio can be find [http://www3.hhu.de/stups/handbook/bmotion/current/html/first_steps.html here].

=== Live Visualisation ===

* [http://wyvern.cs.uni-duesseldorf.de/bms/hdmachine.html BMotion Studio Visualisation of the HD Machine]

If you have problems in running the visualisation, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de)

=== Links ===

* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotion Studio for ProB Homepage]
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotion Studio for ProB User Handbook]
* [http://wiki.event-b.org/index.php/IUML-B iUML-B Homepage]
* [http://handbook.event-b.org/ Rodin Handbook]

ABZ16

2016-01-27T13:45:28Z

Lukas Ladenberger: /* Resources */

ABZ16

2016-01-27T13:44:23Z

Lukas Ladenberger: /* Resources */

{{DISPLAYTITLE:ABZ 2016 Case Study}}
__NOTOC__

== The Hemodialysis Machine Case Study ==
This page provides additional information and resources for the paper we have submitted for the [http://www.cdcc.faw.jku.at/ABZ2016 ABZ 2016 case study track].

The full description of the case study can be found [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf here].

=== Resources ===

* [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf ABZ 2016 Case Study Paper]
* [[Media:HDMachine-160122.zip|HD Machine Event-B Model]]

The zip file contains the HD Machine Event-B model. You can import the zip file directly into the Rodin platform as an Event-B project.

* [[Media:Cosim-160122.zip|Co-Simulation Model of the Blood Flow Control]]

The zip file contains a readme file that explains what is included.

* [[Media:HDMachine-BMS-160122.zip|BMotion Studio Visualisation]]

The zip file contains the domain specific visualisation of the HD machine developed with BMotion Studio. You need to [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio_Download download] the latest version of BMotion Studio (v.0.2.7). Some instruction for getting started with BMotion Studio can be find [http://www3.hhu.de/stups/handbook/bmotion/current/html/first_steps.html here].

=== Live Visualisation ===

* [http://wyvern.cs.uni-duesseldorf.de/bms/hdmachine.html BMotion Studio Visualisation of the HD Machine]

If you have problems in running the visualisation, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de)

=== Links ===

* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotion Studio for ProB Homepage]
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotion Studio for ProB User Handbook]
* [http://wiki.event-b.org/index.php/IUML-B iUML-B Homepage]

ABZ16

2016-01-27T13:42:50Z

Lukas Ladenberger: /* Resources */

{{DISPLAYTITLE:ABZ 2016 Case Study}}
__NOTOC__

== The Hemodialysis Machine Case Study ==
This page provides additional information and resources for the paper we have submitted for the [http://www.cdcc.faw.jku.at/ABZ2016 ABZ 2016 case study track].

The full description of the case study can be found [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf here].

=== Resources ===

* [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf ABZ 2016 Case Study Paper]
* [[Media:HDMachine-160122.zip|HD Machine Event-B Model]]

The zip file contains the HD Machine Event-B model. The zip file can be used to import the project directly into the Rodin Platform.

* [[Media:Cosim-160122.zip|Co-Simulation Model of the Blood Flow Control]]

The zip file contains a readme file that explains what is included.

* [[Media:HDMachine-BMS-160122.zip|BMotion Studio Visualisation]]

The zip file contains the domain specific visualisation of the HD machine developed with BMotion Studio. You need to [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio_Download download] the latest version of BMotion Studio (v.0.2.7). Some instruction for getting started with BMotion Studio can be find [http://www3.hhu.de/stups/handbook/bmotion/current/html/first_steps.html here].

=== Live Visualisation ===

* [http://wyvern.cs.uni-duesseldorf.de/bms/hdmachine.html BMotion Studio Visualisation of the HD Machine]

If you have problems in running the visualisation, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de)

=== Links ===

* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotion Studio for ProB Homepage]
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotion Studio for ProB User Handbook]
* [http://wiki.event-b.org/index.php/IUML-B iUML-B Homepage]

ABZ16

2016-01-27T13:39:33Z

Lukas Ladenberger:

{{DISPLAYTITLE:ABZ 2016 Case Study}}
__NOTOC__

== The Hemodialysis Machine Case Study ==
This page provides additional information and resources for the paper we have submitted for the [http://www.cdcc.faw.jku.at/ABZ2016 ABZ 2016 case study track].

The full description of the case study can be found [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf here].

=== Resources ===

* [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf ABZ 2016 Case Study Paper]
* [[Media:HDMachine-160122.zip|HD Machine Event-B Model]]
* [[Media:Cosim-160122.zip|Co-Simulation Model of the Blood Flow Control]]

The zip file contains a readme file that explains what is included.

* [[Media:HDMachine-BMS-160122.zip|BMotion Studio Visualisation]]

The zip file contains the domain specific visualisation of the HD machine developed with BMotion Studio. You need to [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio_Download download] the latest version of BMotion Studio (v.0.2.7). Some instruction for getting started with BMotion Studio can be find [http://www3.hhu.de/stups/handbook/bmotion/current/html/first_steps.html here].

=== Live Visualisation ===

* [http://wyvern.cs.uni-duesseldorf.de/bms/hdmachine.html BMotion Studio Visualisation of the HD Machine]

If you have problems in running the visualisation, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de)

=== Links ===

* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotion Studio for ProB Homepage]
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotion Studio for ProB User Handbook]
* [http://wiki.event-b.org/index.php/IUML-B iUML-B Homepage]

ABZ16

2016-01-27T13:37:25Z

Lukas Ladenberger: /* Resources */

{{DISPLAYTITLE:ABZ 2016 Case Study}}
__NOTOC__

== The Hemodialysis Machine Case Study ==
This page provides additional information and resources for the paper we have submitted for the [http://www.cdcc.faw.jku.at/ABZ2016 ABZ 2016 case study track].

The full description of the case study can be found [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf here].

=== Resources ===

* [http://www.cdcc.faw.jku.at/ABZ2016/HD-CaseStudy.pdf ABZ 2016 Case Study Paper]
* [[Media:HDMachine-160122.zip|HD Machine Event-B Model]]
* [[Media:Cosim-160122.zip|Co-Simulation Model of the Blood Flow Control]]

The zip file contains a readme file that explains what is included.

* [[Media:HDMachine-BMS-160122.zip|BMotion Studio Visualisation]]

The zip file contains the domain specific visualisation of the HD machine developed with BMotion Studio. You need to download the latest version of BMotion Studio (v.0.2.7).

=== Live Visualisation ===

* [http://wyvern.cs.uni-duesseldorf.de/bms/hdmachine.html BMotion Studio Visualisation of the HD Machine]

If you have problems in running the visualisation, please contact Lukas Ladenberger (ladenberger@cs.uni-duesseldorf.de)

=== Links ===

* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotion Studio for ProB Homepage]
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotion Studio for ProB User Handbook]
* [http://wiki.event-b.org/index.php/IUML-B iUML-B Homepage]

ABZ16

2016-01-27T13:34:26Z

Lukas Ladenberger: /* Resources */

File:Cosim-160122.zip

2016-01-27T13:30:40Z

Lukas Ladenberger:

ABZ16

2016-01-27T13:30:06Z

Lukas Ladenberger: /* Resources */

ABZ16

2016-01-27T10:02:33Z

Lukas Ladenberger: /* Resources */

File:HDMachine-160122.zip

2016-01-27T10:01:11Z

Lukas Ladenberger:

ABZ16

2016-01-27T10:00:40Z

Lukas Ladenberger: /* Resources */

File:HDMachine-BMS-160122.zip

2016-01-27T07:47:57Z

Lukas Ladenberger:

ABZ16

2016-01-27T07:47:23Z

Lukas Ladenberger: /* Resources */

File:HDMachineVisualisation.zip

2016-01-26T16:50:15Z

Lukas Ladenberger:

ABZ16

2016-01-26T16:45:36Z

Lukas Ladenberger: /* Resources */

ABZ16

2016-01-26T16:45:27Z

Lukas Ladenberger: /* Resources */

ABZ16

2016-01-26T16:43:12Z

Lukas Ladenberger:

BMotion Studio Download

2016-01-25T13:29:44Z

Lukas Ladenberger:

[[Category:BMotion_Studio]]
__NOTOC__

<h3>Current Release</h3>

<h4>v0.2.7</h4>
* [https://probjira.atlassian.net/issues/?filter=11800 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.7 Download]

<h3>Old Releases</h3>

<h4>v0.2.6</h4>
* [https://probjira.atlassian.net/issues/?filter=11700 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.6 Download]
<h3>Old Releases</h3>

<h4>v0.2.5</h4>
* [https://probjira.atlassian.net/issues/?filter=11600 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.5 Download]

<h4>v0.2.4</h4>
* [https://probjira.atlassian.net/issues/?filter=11501 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.4 Download]

<h4>0.2.3</h4>
* [https://probjira.atlassian.net/issues/?filter=11400 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.3 Download]

<h4>v0.2.2</h4>

* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.2 Download]

BMotion Studio Download

2016-01-25T13:27:18Z

Lukas Ladenberger:

[[Category:BMotion_Studio]]
__NOTOC__

<h3>Current Release</h3>

<h4>v0.2.7</h4>
* [https://probjira.atlassian.net/projects/BMSPROB/versions/13600 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.7 Download]

<h3>Old Releases</h3>

<h4>v0.2.6</h4>
* [https://probjira.atlassian.net/issues/?filter=11700 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.6 Download]
<h3>Old Releases</h3>

<h4>v0.2.5</h4>
* [https://probjira.atlassian.net/issues/?filter=11600 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.5 Download]

<h4>v0.2.4</h4>
* [https://probjira.atlassian.net/issues/?filter=11501 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.4 Download]

<h4>0.2.3</h4>
* [https://probjira.atlassian.net/issues/?filter=11400 List of fixed and implemented issues]
* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.3 Download]

<h4>v0.2.2</h4>

* [http://www3.hhu.de/stups/downloads/bmotion/releases/0.2.2 Download]

ABZ16

2016-01-22T16:47:47Z

Lukas Ladenberger: /* The Hemodialysis Machine Case Study */

ABZ16

2016-01-22T15:33:49Z

Lukas Ladenberger: