Difference between revisions of "Baby Monitor Specification"

From WeizmannWiki
Jump to: navigation, search
m (Unprotected "Baby Monitor Specification")
Line 1: Line 1:
−
<sub></sub>
+
<br> <sub></sub><sup></sup>The list below is the Baby Monitor system's requirements in [http://en.wikipedia.org/wiki/Controlled_natural_language controlled English]. These are valid requirements that can be used for [[PlayGo Features List#Natural_Language_Play-in|NL play-in]]. <br>
  
−
<sub></sub><sup></sup>The list below is the Baby Monitor system's requirements in [http://en.wikipedia.org/wiki/Controlled_natural_language controlled English]. These are valid requirements that can be used for [[PlayGo_Feature_List#Natural_language_play-in|natural language play-in]]. <br>
+
== Requirements  ==
  
−
#when the user clicks the increase_temperature_button, the temperature_threshold increases [[Media:NL1.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]
+
{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
−
#when the user clicks the decrease_temperature_button, the temperature_threshold decreases [[Media:NL2.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]
+
|-
−
#when the user clicks a change_temperature_button, the temperature_display color changes to yellow and the temperature_display displays the temperature_threshold value [[Media:NL3.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]
+
! scope="col" width="10%" | LSC Name
−
#when the baby_unit temperature changes, the temperature_display displays the baby_unit temperature and the temperature_display color changes to green [[Media:NL4.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]
+
! scope="col" width="50%" | Requirement in Natural Language Text
−
#when the baby_unit temperature changes, if the baby_unit temperature is greater than temperature_threshold, the alert_light state changes to blinking [[Media:NL5.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]
+
! scope="col" width="35" | Comments
−
#when the baby_unit temperature changes, if the baby_unit temperature is greater than temperature_threshold, the mobile_unit beeps [[Media:NL6.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]
+
! scope="col" width="5%" | LSC
−
#when the alert_light state changes to blinking, as long as the mobile_unit state is on and the user does not click the reset_alert_button, the light state changes to on and one second elapses and the light state changes to off and two seconds elapse [[Media:Lsc7.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]
+
|-
−
#when the user clicks the baby_unit_power_button, the baby_unit state changes to on [[Media:NL8.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]
+
| Lsc1
−
#when the user clicks the mobile_unit_power_button, if the mobile_unit state is off, the mobile_unit state changes to on, otherwise if the mobile_unit state is on, the mobile_unit state changes to off [[Media:NL9.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]
+
| when the user clicks the increase_temperature_button, the temperature_threshold increases
−
#when the mobile_unit state changes to on, as long as the mobile_unit state is on if two seconds have elapsed and the baby_unit does not connect to the mobile_unit, the connection_light color changes to red [[Media:Lsc10.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);"> *</span></span></span>
+
| <br>
−
#when the baby_unit state changes to on, as long as the mobile_unit state is on, the baby_unit connects to the mobile_unit and two seconds elapse [[Media:NL11.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]
+
| [[Image:NL1.jpg|thumb|left|80x50px|LSC]]
−
#when the baby_unit connects to the mobile_unit, the connection_light color changes to green [[Media:NL12.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]
+
|-
−
#when the user clicks the reset_button, the baby_unit resets and the antenna position changes to close and the antenna inits and the antenna position changes to open [[Media:NL13.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]
+
| Lsc2
−
#when the baby_unit resets, the baby_unit connects to the mobile_unit, the antenna position must be open [[Media:Lsc14.jpg|<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">View LSC</span></span></span>]]<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);"> *</span></span></span>
+
| when the user clicks the decrease_temperature_button, the temperature_threshold decreases
 +
|
 +
| [[Image:NL2.jpg|thumb|left|80x50px|LSC]]
 +
|-
 +
| Lsc3
 +
| when the user clicks a change_temperature_button, the temperature_display color changes to yellow and the temperature_display displays the temperature_threshold value
 +
|
 +
| [[Image:NL3.jpg|thumb|left|80x50px|LSC]]
 +
|-
 +
| Lsc4
 +
| when the baby_unit temperature changes, the temperature_display displays the baby_unit temperature and the temperature_display color changes to green<br>
 +
|
 +
| [[Image:NL4.jpg|thumb|left|80x50px|LSC]]
 +
|-
 +
| Lsc5
 +
| when the baby_unit temperature changes, if the baby_unit temperature is greater than temperature_threshold, the alert_light state changes to blinking<br>
 +
|
 +
| [[Image:NL5.jpg|thumb|left|80x50px|LSC]]
 +
|-
 +
| Lsc6
 +
| when the baby_unit temperature changes, if the baby_unit temperature is greater than temperature_threshold, the mobile_unit beeps
 +
|
 +
| [[Image:NL6.jpg|thumb|left|80x50px|LSC]]
 +
|-
 +
| Lsc7
 +
| when the alert_light state changes to blinking, as long as the mobile_unit state is on and the user does not click the reset_alert_button, the alert_light state changes to on and one second elapses and the alert_light state changes to off and two seconds elapse<br>
 +
| This requirement is not parsed in the current version of the NL play-in
 +
| [[Image:Lsc7.jpg|thumb|left|LSC]]
 +
|-
 +
| Lsc8
 +
| when the user clicks the baby_unit_power_button, the baby_unit state changes to on
 +
|
 +
| [[Image:NL8.jpg|thumb|left|80x50px|LSC]]
 +
|-
 +
| Lsc9
 +
| when the user clicks the mobile_unit_power_button, if the mobile_unit state is off, the mobile_unit state changes to on, otherwise if the mobile_unit state is on, the mobile_unit state changes to off
 +
|
 +
| [[Image:NL9.jpg|thumb|left|80x50px|LSC]]
 +
|-
 +
| Lsc10
 +
| when the mobile_unit state changes to on, as long as the mobile_unit state is on, if two seconds have elapsed and the baby_unit does not connect to the mobile_unit, the connection_light color changes to red
 +
| This requirement is not parsed in the current version of the natural language play-in
 +
| [[Image:Lsc10.jpg|thumb|left|LSC]]
 +
|-
 +
| Lsc11
 +
| when the baby_unit state changes to on, as long as the mobile_unit state is on, the baby_unit connects to the mobile_unit and two seconds elapse
 +
|
 +
| [[Image:NL11.jpg|thumb|left|80x50px|LSC]]
 +
|-
 +
| Lsc12
 +
| when the baby_unit connects to the mobile_unit, the connection_light color changes to green<span class="Apple-tab-span" style="white-space:pre"> </span>
 +
|
 +
| [[Image:NL12.jpg|thumb|left|80x50px|LSC]]
 +
|-
 +
| Lsc13
 +
| when the user clicks the reset_button, the baby_unit resets and the antenna position changes to close and the antenna inits and the antenna position changes to open
 +
|
 +
| [[Image:NL13.jpg|thumb|left|80x50px|LSC]]
 +
|-
 +
| Lsc14
 +
| when the baby_unit resets, the baby_unit connects to the mobile_unit, the antenna position must be open
 +
|
 +
| [[Image:Lsc14.jpg|thumb|left|LSC]]
 +
|}
  
 +
<br> <br>&nbsp;<br>
  
−
<span style="font-family: 'Comic Sans MS';"><span style="font-size: smaller;"><span style="color: rgb(51, 102, 255);">* This requirement is not parsed in the current version of the natural language play-in</span></span></span>
+
== Download the Baby Monitor Example  ==
 +
 
 +
Below are downloads of the wrist watch final application, as well as of the LSC project that can be opened and modified in PlayGo.
 +
 
 +
=== Baby Monitor final application (runnable jar)  ===
 +
 
 +
[[Media:BabyMonitorExampleSwingGUI.zip|Runnable Baby Monitor with Swing GUI]] <br> [[Media:BabyMonitorExampleSystemModelGUI.zip|Runnable Baby Monitor with the auto generated System Model GUI]] <br>
 +
 
 +
To run the baby monitor, simply extract the downloaded zip and double click the jar file.
 +
 
 +
=== Baby Monitor LSC project  ===
 +
 
 +
[[Media:BabyMonitor.zip|The Baby Monitor LSC Project (for development purposes)]] <br>
 +
 
 +
==== Installation Instructions  ====
 +
 
 +
#Extract the downloaded zip.
 +
#[[Download PlayGo|Download PlayGo]].
 +
#Import the downloaded project to your workspace:
 +
##From the File menu choose Import--&gt;General--&gt;Existing Projects into Workspace.
 +
##Click the 'Next' button.
 +
##When prompted, select the directory to which you extracted the downloaded baby monitor example.
 +
##Click finish.
 +
#The baby monitor example project is now part of your workspace. You can start playing with it. For details refer to [[How to Play-Out|how to play out]].

Revision as of 11:46, 25 February 2014


The list below is the Baby Monitor system's requirements in controlled English. These are valid requirements that can be used for NL play-in.

Requirements

LSC Name Requirement in Natural Language Text Comments LSC
Lsc1 when the user clicks the increase_temperature_button, the temperature_threshold increases
LSC
Lsc2 when the user clicks the decrease_temperature_button, the temperature_threshold decreases
LSC
Lsc3 when the user clicks a change_temperature_button, the temperature_display color changes to yellow and the temperature_display displays the temperature_threshold value
LSC
Lsc4 when the baby_unit temperature changes, the temperature_display displays the baby_unit temperature and the temperature_display color changes to green
LSC
Lsc5 when the baby_unit temperature changes, if the baby_unit temperature is greater than temperature_threshold, the alert_light state changes to blinking
LSC
Lsc6 when the baby_unit temperature changes, if the baby_unit temperature is greater than temperature_threshold, the mobile_unit beeps
LSC
Lsc7 when the alert_light state changes to blinking, as long as the mobile_unit state is on and the user does not click the reset_alert_button, the alert_light state changes to on and one second elapses and the alert_light state changes to off and two seconds elapse
 This requirement is not parsed in the current version of the NL play-in
LSC
Lsc8 when the user clicks the baby_unit_power_button, the baby_unit state changes to on
LSC
Lsc9 when the user clicks the mobile_unit_power_button, if the mobile_unit state is off, the mobile_unit state changes to on, otherwise if the mobile_unit state is on, the mobile_unit state changes to off
LSC
Lsc10 when the mobile_unit state changes to on, as long as the mobile_unit state is on, if two seconds have elapsed and the baby_unit does not connect to the mobile_unit, the connection_light color changes to red This requirement is not parsed in the current version of the natural language play-in
LSC
Lsc11 when the baby_unit state changes to on, as long as the mobile_unit state is on, the baby_unit connects to the mobile_unit and two seconds elapse
LSC
Lsc12 when the baby_unit connects to the mobile_unit, the connection_light color changes to green
LSC
Lsc13 when the user clicks the reset_button, the baby_unit resets and the antenna position changes to close and the antenna inits and the antenna position changes to open
LSC
Lsc14 when the baby_unit resets, the baby_unit connects to the mobile_unit, the antenna position must be open
LSC



 

Download the Baby Monitor Example

Below are downloads of the wrist watch final application, as well as of the LSC project that can be opened and modified in PlayGo.

Baby Monitor final application (runnable jar)

Runnable Baby Monitor with Swing GUI
Runnable Baby Monitor with the auto generated System Model GUI

To run the baby monitor, simply extract the downloaded zip and double click the jar file.

Baby Monitor LSC project

The Baby Monitor LSC Project (for development purposes)

Installation Instructions

  1. Extract the downloaded zip.
  2. Download PlayGo.
  3. Import the downloaded project to your workspace:
    1. From the File menu choose Import-->General-->Existing Projects into Workspace.
    2. Click the 'Next' button.
    3. When prompted, select the directory to which you extracted the downloaded baby monitor example.
    4. Click finish.
  4. The baby monitor example project is now part of your workspace. You can start playing with it. For details refer to how to play out.
Retrieved from "https://wiki.weizmann.ac.il/playgo/index.php?title=Baby_Monitor_Specification&oldid=1180"