FormalPrototyping: Difference between revisions

(Created page with "{{DISPLAYTITLE:BMotionWeb: A Tool for Rapid Creation of Formal Prototypes}} __NOTOC__")
 
(Update some links)
 
(7 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{DISPLAYTITLE:BMotionWeb: A Tool for Rapid Creation of Formal Prototypes}}
{{DISPLAYTITLE:BMotionWeb: A Tool for Rapid Creation of Formal Prototypes}}
__NOTOC__
__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 ==
* [[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 ==
* [[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
[[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.

Latest revision as of 15:28, 3 February 2021


This page provides additional information and resources for the tool paper we have submitted for the SEFM 2016 conference.

Resources

Live Online Formal Prototypes

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

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

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.