==Applications==
===Memory Game===
[[Image:LSCExample.png |frame|left]][[Image:MemoryGameUI.png]] 

The memory game is a simple application containing a single LSC that specifies the behavior of a memory game.
The memory game UI is based on [http://code.google.com/webtoolkit/ GWT]. 
The memory game application demonstrates the following features: 
*Symbolic Instances: memoryCard1 and memoryCard2 lifelines are symbolic: their lifeline head is dashed to visualize just that. The memory game contains 12 cards. During play-out, the clicked cards will dynamically be bound to specific card lifelines. The memory panel is represented by a static lifeline (there is a single panel in the game). This panel will be statically bound to the panel lifeline during play-out.
*Live copy: A second '''flipUp''' (the second time a user clicks on a card) opens another live copy of the LSC.
*Enable Events: After a second '''flipUp''', the '''beep''' event is enabled in the first live copy but is not enabled in the second live copy. The second live copy expects another '''flipUp''', and when this event does not occur (instead a '''beep''' event occurs) the live copy is violated and is closed.
 
The memory game application is included in the workspace provided with the PlayGo download.
*[[Getting Started with PlayGo]]
*[[PlayGo_HowTo | PlayGo HowTo]]

===Baby Monitor===
[[Image:BabyMonitor.Lsc12.jpg |frame|left]][[Image:BabyMonitor.png|235px]] 
The baby monitor application includes 14 LSCs, each of which includes 3-4 lifelines. The specification demonstrates various features of PlayGo and the underlying language.
 Most of the LSCs were created by [[PlayGo_Feature_List#Natural_language_play-in | natural language play-in]], and others by [[Language & Concepts#Play-In |basic play-in]].
 To see the system's requirements in controlled English click [[Baby Monitor Specification | here]].
 
The Baby Monitor application is included in the workspace provided with the PlayGo download.

*[[Getting Started with PlayGo]]
*[[PlayGo_HowTo | PlayGo HowTo]]

===Water Tap===
[[Image:WaterTap.png | 420px]][[Image:WaterTapUI.jpg |400px]] 

The water tap is a simple application containing three LSCs that describe a specific water tap behavior by which a sink is filled with lukewarm water.
The water tap application demonstrates the following concepts: 
* Modularity - each LSC is self standing and is responsible for a certain aspect of the application's behavior.
* Incremental development - due to modularity, a system can be developed incrementally. Adding a new behavior affects the complete system behavior but does not require changes to existing LSCs or existing code.
* Enabled Events: The Interleave LSC shows how after the 'addHot' event occurs, only the 'addCold' event is enabled; Until 'addCold' occurs, 'addHot' is not allowed to occur, thus will wait for its turn.
* Loops are demonstrated here, bounded by a fixed limit (e.g., 5 times in the addHotFiveTimes LSC) or unbounded (in the Interleave LSC).

[[Media:WaterTap.zip | Download Water Tap application]]
 
[[Instructions for creating LSC project from LSC file | Instructions for playing with the Water Tap application]]
 

===Wrist Watch===

Page under construction, see [http://www.wisdom.weizmann.ac.il/~michalk/Projects/ReqToLSCs/ http://www.wisdom.weizmann.ac.il/~michalk/Projects/ReqToLSCs/] for an earlier version

PlayGo Examples

2013-02-19T08:34:24Z

Michal: /* Wrist Watch */

Wristwatch Example

2013-02-13T09:54:17Z

Michal:

The wristwatch example is originally from <ref>D. Harel. On Visual Formalisms. Commun. ACM, 31(5):514–530, 1988.</ref>. Generally, the watch displays the time and can switch between different displays that show (and allow changes to) the alarm, date, time and stopwatch. It has an option for turning on the light, and an alarm that beeps when the set time is reached. The following examples demonstrate many constructs in the LSC language and the way they are created in natural lanague play-in, it was originally created in <ref>M. Gordon and D. Harel. Generating executable scenarios fromfckLRnatural language. In Proc. 10th Int. Conf. on Computational Linguistics and Intelligent Text Processing, CICLing’09, pages 456–467.fckLRSpringer-Verlag, 2009.</ref>

== Requirements ==

=== Watch Modes ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the d_button, if the display mode is time, the display mode changes to date, otherwise if the display mode is date, the display mode changes to time. (demonstrates if-else).
| [[Image:WatchModes.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the a_button, if the display mode is time, the display mode changes to alarm, otherwise if the display mode is alarm, the display mode changes to chime, otherwise if the display mode is chime, the display mode changes to stopwatch, otherwise if the display mode is stopwatch, the display mode changes to time.
| [[Image:Modes.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the c_button , if the display mode is alarm then the display mode changes to "alarm minutes" , otherwise if the display mode is "alarm minutes" then the display mode changes to "alarm hours" , otherwise if the display mode is "alarm hours" then the display mode changes to alarm.
| [[Image:ModesAlarm.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the b_button, if the display mode is “alarm minutes”, the display mode changes to alarm.
| [[Image:ModeAlarmEnd.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the b_button, if the display mode is “alarm hours” , the display mode changes to alarm.
| [[Image:ModeAlarmHoursEnd.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the a_button , if the display mode is "alarm minutes" , the alarm increases in one minute , otherwise if the display mode is "alarm hours" , the alarm increases by one hour.
| [[Image:IncreaseTime.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the c_button , if the display mode is time , the display mode changes to update and the update type changes to seconds.
| [[Image:UpdateSeconds.png|thumb|left|x50px|LSC]]
|}

=== Updates ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the c_button , if the update type is seconds , the update type changes to minutes otherwise if the update type is minutes , the update type changes to hours otherwise if the update type is hours , the update type changes to date otherwise if the update type is date, the display mode changes to time and the update type changes to none.
| [[Image:UpdateType.png|thumb|left|x50px|LSC]]
|-
| when the update type changes , if the update type equals seconds , the display blinks seconds , otherwise if the update type equals minutes , the display blinks minutes , otherwise the display blinks none.
| [[Image:UpdateTypeBlink.png|thumb|left|x50px|LSC]]
|-
| when the update type changes, the display mode changes to update.
| [[Image:UpdateTypeChange.png|thumb|left|x50px|LSC]]
|}

=== Time ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the clock ticks, the time increases by one second.
| [[Image:TimeTicks.png|thumb|left|x50px|LSC]]
|-
| when the time value changes, if the display mode is time, the display text changes to time value. (demonstrates a property change as a trigger).
| [[Image:ShowTime.png|thumb|left|x50px|LSC]]
|}

=== Light ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the b_button, if the light state is on , the light state turns to off , otherwise if the light state is off , the light state turns to on.
| [[Image:LightState.png|thumb|left|x50px|LSC]]
|}

 

=== Alarm ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the time value changes , if the time value equals the alarm value and the alarm state is enabled then the beeper state turns to on.
| [[Image:AlarmState.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the d_button , if the display mode is alarm , if the alarm state is enabled , the alarm state changes to disabled otherwise the alarm state changes to enabled.
| [[Image:AlarmEnable.png|thumb|left|x50px|LSC]]
|-
| when the display mode changes , if the display mode equals "alarm minutes" , the display blinks in minutes , otherwise if the display mode equals "alarm hours" , the display blinks in hours , otherwise the display blinks in none.
| [[Image:AlarmBlink.png|thumb|left|x50px|LSC]]
|-
| when the beeper state changes to on, as long as the beeper state is on and two seconds elapse, the beeper beeps, the display mode may not change. (demonstrates loop and forbidden element).
| [[Image:AlarmBeep.png|thumb|left|x50px|LSC]]
|-
| when the user clicks any WButton , the beeper state turns to off. (demonstrates symbolic \ non-deterministic objects).
| [[Image:AlarmOff.png|thumb|left|x50px|LSC]]
|-
| when the display mode changes to alarm, the display text changes to the alarm value.
| [[Image:DisplayAlarm.png|thumb|left|x50px|LSC]]
|}

=== Date ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the display mode changes to date, the display text changes to the date value .
| [[Image:DisplayDate.png|thumb|left|x50px|LSC]]
|}

   

== Download the Wrist Watch 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.

[[Media:WristWatchExampleSwingGUI.zip|Runnable Wrist Watch with Swing GUI]] [[Media:WristWatchExampleSystemModelGUI.zip|Runnable Wrist Watch with the auto generated System Model GUI]] [[Media:WristWatchExampleSystemModelGUI.zip|The Wrist Watch LSC Project (for development purposes)]] 

== Installation Instructions ==

#For the Runnable Wrist Watch downloads, simply extract the downloaded zip and double click the jar file.
#For the PlayGo project, follow these instructions:
##Extract the downloaded zip.
##[[Download PlayGo|Download PlayGo]].
##Import the downloaded project to your workspace:
###From the File menu choose Import-->General-->Existing Projects into Workspace
###When prompted, select the directory to which you extracted the downloaded wrist watch example
###Click finish
#The wrist example project is now part of your workspace and you can start playing with it.

== References ==

<references />

File:DisplayAlarm.png

2013-02-13T09:34:46Z

Michal:

2013-02-06T14:24:11Z

Michal:

2013-02-06T14:13:16Z

Michal:

Wristwatch Example

2013-02-06T14:11:59Z

Michal:

TODO - Should have a link from the Example Page.

The wristwatch example is originally from XX. Generally, the watch displays the time and can switch between different displays that show (and allow changes to) the alarm, date, time and stopwatch. It has an option for turning on the light, and an alarm that beeps when the set time
is reached.
The following examples demonstrate many constructs in the LSC language and the way they are created in natural lanague play-in.

== Requirements ==

=== Watch Modes ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the d_button, if the display mode is time, the display mode changes to date, otherwise if the display mode is date, the display mode changes to time. (demonstrates if-else).
| [[Image:WatchModes.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the a_button, if the display mode is time, the display mode changes to alarm, otherwise if the display mode is alarm, the display mode changes to chime, otherwise if the display mode is chime, the display mode changes to stopwatch, otherwise if the display mode is stopwatch, the display mode changes to time.
| [[Image:Modes.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the c_button , if the display mode is alarm then the display mode changes to "alarm minutes" , otherwise if the display mode is "alarm minutes" then the display mode changes to "alarm hours" , otherwise if the display mode is "alarm hours" then the display mode changes to alarm
| [[Image:ModesAlarm.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the b_button, if the display mode is “alarm minutes”, the display mode changes to alarm
| [[Image:ModeAlarmEnd.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the b_button, if the display mode is “alarm hours” , the display mode changes to alarm
| [[Image:ModeAlarmHoursEnd.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the a_button , if the display mode is "alarm minutes" , the alarm increases in one minute , otherwise if the display mode is "alarm hours" , the alarm increases by one hour
| [[Image:IncreaseTime.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the c_button , if the display mode is time , the display mode changes to update and the update type changes to seconds
| [[Image:UpdateSeconds.png|thumb|left|x50px|LSC]]
|}

=== Updates ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the c_button , if the update type is seconds , the update type changes to minutes otherwise if the update type is minutes , the update type changes to hours otherwise if the update type is hours , the update type changes to date otherwise if the update type is date, the display mode changes to time and the update type changes to none
| [[Image:UpdateType.png|thumb|left|x50px|LSC]]
|-
| when the update type changes , if the update type equals seconds , the display blinks seconds , otherwise if the update type equals minutes , the display blinks minutes , otherwise the display blinks none
| [[Image:UpdateTypeBlink.png|thumb|left|x50px|LSC]]
|-
| when the update type changes, the display mode changes to update
| [[Image:UpdateTypeChange.png|thumb|left|x50px|LSC]]
|}

=== Time ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the clock ticks, the time increases by one second
| [[Image:TimeTicks.png|thumb|left|x50px|LSC]]
|-
| when the time value changes, if the display mode is time, the display text changes to time value
| [[Image:ShowTime.png|thumb|left|x50px|LSC]] (demonstrates a property change as a trigger).
|}

=== Light ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the b_button, if the light state is on , the light state turns to off , otherwise if the light state is off , the light state turns to on
| [[Image:LightState.png|thumb|left|x50px|LSC]]
|}

 

=== Alarm ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the time value changes , if the time value equals the alarm value and the alarm state is enabled then the beeper state turns to on
| [[Image:AlarmState.png|thumb|left|x50px|LSC]]
|-
|when the user clicks the d_button , if the display mode is alarm , if the alarm state is enabled , the alarm state changes to disabled otherwise the alarm state changes to enabled
| [[Image:AlarmEnable.png|thumb|left|x50px|LSC]]
|-
| when the display mode changes , if the display mode equals "alarm minutes" , the display blinks in minutes , otherwise if the display mode equals "alarm hours" , the display blinks in hours , otherwise the display blinks in none
| [[Image:AlarmBlink.png|thumb|left|x50px|LSC]]
|-
|when the beeper state changes to on, as long as the beeper state is on and two seconds elapse, the beeper beeps, the display mode may not change. (demonstrates loop and forbidden element).
| [[Image:AlarmBeep.png|thumb|left|x50px|LSC]]
|-
| when the user clicks any WButton , the beeper state turns to off. (demonstrates symbolic \ non-deterministic objects)
| [[Image:AlarmOff.png|thumb|left|x50px|LSC]]
|}

== Download the Wrist Watch Example ==

The following zip files contain...

[[Media:WristWatchExampleSwingGUI.zip|WristWatchExampleSwingGUI.zip]] [[Media:WristWatchExampleSystemModelGUI.zip|WristWatchExampleSystemModelGUI.zip]]

== Installation Instructions ==

#Extract the downloaded file. The zip includes an executable jar and a properties file - ToDO: extend this and add image of the extracted folder.
#Double click the jar and start playing

Wristwatch Example

2013-02-06T14:05:40Z

Michal:

We will present each of the requirements text, and the LSC created from them. 

== Requirements ==

=== Watch Modes ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the d_button, if the display mode is time, the display mode changes to date, otherwise if the display mode is date, the display mode changes to time.
| [[Image:WatchModes.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the a_button, if the display mode is time, the display mode changes to alarm, otherwise if the display mode is alarm, the display mode changes to chime, otherwise if the display mode is chime, the display mode changes to stopwatch, otherwise if the display mode is stopwatch, the display mode changes to time.
| [[Image:Modes.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the c_button , if the display mode is alarm then the display mode changes to "alarm minutes" , otherwise if the display mode is "alarm minutes" then the display mode changes to "alarm hours" , otherwise if the display mode is "alarm hours" then the display mode changes to alarm
| [[Image:ModesAlarm.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the b_button, if the display mode is “alarm minutes”, the display mode changes to alarm
| [[Image:ModeAlarmEnd.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the b_button, if the display mode is “alarm hours” , the display mode changes to alarm
| [[Image:ModeAlarmHoursEnd.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the a_button , if the display mode is "alarm minutes" , the alarm increases in one minute , otherwise if the display mode is "alarm hours" , the alarm increases by one hour
| [[Image:IncreaseTime.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the c_button , if the display mode is time , the display mode changes to update and the update type changes to seconds
| [[Image:UpdateSeconds.png|thumb|left|x50px|LSC]]
|}

=== Updates ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the c_button , if the update type is seconds , the update type changes to minutes otherwise if the update type is minutes , the update type changes to hours otherwise if the update type is hours , the update type changes to date otherwise if the update type is date, the display mode changes to time and the update type changes to none
| [[Image:UpdateType.png|thumb|left|x50px|LSC]]
|-
| when the update type changes , if the update type equals seconds , the display blinks seconds , otherwise if the update type equals minutes , the display blinks minutes , otherwise the display blinks none
| [[Image:UpdateTypeBlink.png|thumb|left|x50px|LSC]]
|-
| when the update type changes, the display mode changes to update
| [[Image:UpdateTypeChange.png|thumb|left|x50px|LSC]]
|}

=== Time ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the clock ticks, the time increases by one second
| [[Image:TimeTicks.png|thumb|left|x50px|LSC]]
|-
| when the time value changes, if the display mode is time, the display text changes to time value
| [[Image:ShowTime.png|thumb|left|x50px|LSC]]
|}

=== Light ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the b_button, if the light state is on , the light state turns to off , otherwise if the light state is off , the light state turns to on
| [[Image:LightState.png|thumb|left|x50px|LSC]]
|}

 

=== Alarm ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the time value changes , if the time value equals the alarm value and the alarm state is enabled then the beeper state turns to on
| [[Image:AlarmState.png|thumb|left|x50px|LSC]]
|-
|when the user clicks the d_button , if the display mode is alarm , if the alarm state is enabled , the alarm state changes to disabled otherwise the alarm state changes to enabled
| [[Image:AlarmEnable.png|thumb|left|x50px|LSC]]
|-
| when the display mode changes , if the display mode equals "alarm minutes" , the display blinks in minutes , otherwise if the display mode equals "alarm hours" , the display blinks in hours , otherwise the display blinks in none
| [[Image:AlarmBlink.png|thumb|left|x50px|LSC]]
|-
|when the beeper state changes to on, as long as the beeper state is on and two seconds elapse, the beeper beeps, the display mode may not change
| [[Image:AlarmBeep.png|thumb|left|x50px|LSC]]
|-
| when the user clicks any WButton , the beeper state turns to off
| [[Image:AlarmOff.png|thumb|left|x50px|LSC]]
|}

 TODO - Should have a link from the Example Page.

== Download the Wrist Watch Example ==

The following zip files contain...

[[Media:WristWatchExampleSwingGUI.zip|WristWatchExampleSwingGUI.zip]] [[Media:WristWatchExampleSystemModelGUI.zip|WristWatchExampleSystemModelGUI.zip]]

== Installation Instructions ==

#Extract the downloaded file. The zip includes an executable jar and a properties file - ToDO: extend this and add image of the extracted folder.
#Double click the jar and start playing

Wristwatch Example

2013-02-06T14:04:06Z

Michal:

We will present each of the requirements text, and the LSC created from them. 

== Requirements ==

=== Watch Modes ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the d_button, if the display mode is time, the display mode changes to date, otherwise if the display mode is date, the display mode changes to time.
| [[Image:WatchModes.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the a_button, if the display mode is time, the display mode changes to alarm, otherwise if the display mode is alarm, the display mode changes to chime, otherwise if the display mode is chime, the display mode changes to stopwatch, otherwise if the display mode is stopwatch, the display mode changes to time.
| [[Image:Modes.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the c_button , if the display mode is alarm then the display mode changes to "alarm minutes" , otherwise if the display mode is "alarm minutes" then the display mode changes to "alarm hours" , otherwise if the display mode is "alarm hours" then the display mode changes to alarm
| [[Image:ModesAlarm.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the b_button, if the display mode is “alarm minutes”, the display mode changes to alarm
| [[Image:ModeAlarmEnd.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the b_button, if the display mode is “alarm hours” , the display mode changes to alarm
| [[Image:ModeAlarmHoursEnd.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the a_button , if the display mode is "alarm minutes" , the alarm increases in one minute , otherwise if the display mode is "alarm hours" , the alarm increases by one hour
| [[Image:IncreaseTime.png|thumb|left|x50px|LSC]]
|-
| when the user clicks the c_button , if the display mode is time , the display mode changes to update and the update type changes to seconds
| [[Image:UpdateSeconds.png|thumb|left|x50px|LSC]]
|}

=== Updates ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the c_button , if the update type is seconds , the update type changes to minutes otherwise if the update type is minutes , the update type changes to hours otherwise if the update type is hours , the update type changes to date otherwise if the update type is date, the display mode changes to time and the update type changes to none
| [[Image:UpdateType.png|thumb|left|70px|LSC]]
|-
| when the update type changes , if the update type equals seconds , the display blinks seconds , otherwise if the update type equals minutes , the display blinks minutes , otherwise the display blinks none
| [[Image:UpdateTypeBlink.png|thumb|left|70px|LSC]]
|-
| when the update type changes, the display mode changes to update
| [[Image:UpdateTypeChange.png|thumb|left|70px|LSC]]
|}

=== Time ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the clock ticks, the time increases by one second
| [[Image:TimeTicks.png|thumb|left|50px|LSC]]
|-
| when the time value changes, if the display mode is time, the display text changes to time value
| [[Image:ShowTime.png|thumb|left|50px|LSC]]
|}

=== Light ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the b_button, if the light state is on , the light state turns to off , otherwise if the light state is off , the light state turns to on
| [[Image:LightState.png|thumb|left|70px|LSC]]
|}

 

=== Alarm ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the time value changes , if the time value equals the alarm value and the alarm state is enabled then the beeper state turns to on
| [[Image:AlarmState.png|thumb|left|LSC]]
|-
|when the user clicks the d_button , if the display mode is alarm , if the alarm state is enabled , the alarm state changes to disabled otherwise the alarm state changes to enabled
| [[Image:AlarmEnable.png|thumb|left|70px|LSC]]
|-
| when the display mode changes , if the display mode equals "alarm minutes" , the display blinks in minutes , otherwise if the display mode equals "alarm hours" , the display blinks in hours , otherwise the display blinks in none
| [[Image:AlarmBlink.png|thumb|left|70px|LSC]]
|-
|when the beeper state changes to on, as long as the beeper state is on and two seconds elapse, the beeper beeps, the display mode may not change
| [[Image:AlarmBeep.png|thumb|left|70px|LSC]]
|-
| when the user clicks any WButton , the beeper state turns to off
| [[Image:AlarmOff.png|thumb|left|70px|LSC]]
|}

 TODO - Should have a link from the Example Page.

== Download the Wrist Watch Example ==

The following zip files contain...

[[Media:WristWatchExampleSwingGUI.zip|WristWatchExampleSwingGUI.zip]] [[Media:WristWatchExampleSystemModelGUI.zip|WristWatchExampleSystemModelGUI.zip]]

== Installation Instructions ==

#Extract the downloaded file. The zip includes an executable jar and a properties file - ToDO: extend this and add image of the extracted folder.
#Double click the jar and start playing

File:AlarmBlink.png

2013-02-06T14:00:59Z

Michal:

File:AlarmOff.png

2013-02-06T14:00:18Z

Michal:

File:AlarmBeep.png

2013-02-06T13:54:09Z

Michal:

Wristwatch Example

2013-02-06T13:53:59Z

Michal:

We will present each of the requirements text, and the LSC created from them. 

== Requirements ==

=== Watch Modes ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the d_button, if the display mode is time, the display mode changes to date, otherwise if the display mode is date, the display mode changes to time.
| [[Image:WatchModes.png|thumb|left|70px|LSC]]
|-
| when the user clicks the a_button, if the display mode is time, the display mode changes to alarm, otherwise if the display mode is alarm, the display mode changes to chime, otherwise if the display mode is chime, the display mode changes to stopwatch, otherwise if the display mode is stopwatch, the display mode changes to time.
| [[Image:Modes.png|thumb|left|70px|LSC]]
|-
| when the user clicks the c_button , if the display mode is alarm then the display mode changes to "alarm minutes" , otherwise if the display mode is "alarm minutes" then the display mode changes to "alarm hours" , otherwise if the display mode is "alarm hours" then the display mode changes to alarm
| [[Image:ModesAlarm.png|thumb|left|70px|LSC]]
|-
| when the user clicks the b_button, if the display mode is “alarm minutes”, the display mode changes to alarm
| [[Image:ModeAlarmEnd.png|thumb|left|70px|LSC]]
|-
| when the user clicks the b_button, if the display mode is “alarm hours” , the display mode changes to alarm
| [[Image:ModeAlarmHoursEnd.png|thumb|left|70px|LSC]]
|-
| when the user clicks the a_button , if the display mode is "alarm minutes" , the alarm increases in one minute , otherwise if the display mode is "alarm hours" , the alarm increases by one hour
| [[Image:IncreaseTime.png|thumb|left|70px|LSC]]
|-
| when the user clicks the c_button , if the display mode is time , the display mode changes to update and the update type changes to seconds
| [[Image:UpdateSeconds.png|thumb|left|70px|LSC]]
|}

=== Updates ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the c_button , if the update type is seconds , the update type changes to minutes otherwise if the update type is minutes , the update type changes to hours otherwise if the update type is hours , the update type changes to date otherwise if the update type is date, the display mode changes to time and the update type changes to none
| [[Image:UpdateType.png|thumb|left|70px|LSC]]
|-
| when the update type changes , if the update type equals seconds , the display blinks seconds , otherwise if the update type equals minutes , the display blinks minutes , otherwise the display blinks none
| [[Image:UpdateTypeBlink.png|thumb|left|70px|LSC]]
|-
| when the update type changes, the display mode changes to update
| [[Image:UpdateTypeChange.png|thumb|left|70px|LSC]]
|}

=== Time ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the clock ticks, the time increases by one second
| [[Image:TimeTicks.png|thumb|left|50px|LSC]]
|-
| when the time value changes, if the display mode is time, the display text changes to time value
| [[Image:ShowTime.png|thumb|left|50px|LSC]]
|}

=== Light ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the user clicks the b_button, if the light state is on , the light state turns to off , otherwise if the light state is off , the light state turns to on
| [[Image:LightState.png|thumb|left|70px|LSC]]
|}

 

=== Alarm ===

{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1"
|-
| when the time value changes , if the time value equals the alarm value and the alarm state is enabled then the beeper state turns to on
| [[Image:AlarmState.png|thumb|left|LSC]]
|-
|when the user clicks the d_button , if the display mode is alarm , if the alarm state is enabled , the alarm state changes to disabled otherwise the alarm state changes to enabled
| [[Image:AlarmEnable.png|thumb|left|70px|LSC]]
|-
| when the display mode changes , if the display mode equals "alarm minutes" , the display blinks in minutes , otherwise if the display mode equals "alarm hours" , the display blinks in hours , otherwise the display blinks in none
| [[Image:AlarmBlink.png|thumb|left|70px|LSC]]
|-
|when the beeper state changes to on, as long as the beeper state is on and two seconds elapse, the beeper beeps, the display mode may not change
| [[Image:AlarmBeep.png|thumb|left|70px|LSC]]
|-
| when the user clicks any WButton , the beeper state turns to off
| [[Image:AlarmOff.png|thumb|left|70px|LSC]]
|}

 TODO - Should have a link from the Example Page.

== Download the Wrist Watch Example ==

The following zip files contain...

[[Media:WristWatchExampleSwingGUI.zip|WristWatchExampleSwingGUI.zip]] [[Media:WristWatchExampleSystemModelGUI.zip|WristWatchExampleSystemModelGUI.zip]]

== Installation Instructions ==

#Extract the downloaded file. The zip includes an executable jar and a properties file - ToDO: extend this and add image of the extracted folder.
#Double click the jar and start playing

File:AlarmEnable.png

2013-02-06T13:49:48Z

Michal:

File:AlarmState.png

2013-02-06T13:49:34Z

Michal: