1. Distributive Collaborative play-out of Live Sequence Charts
Playing Together:
Distributive Collaborative play-out of Live Sequence Charts
Ron Merom
Supervisor: Prof. David Harel
Weizmann Institute of Sciences, May 2005

2. LSC Example

3. Outline Background Motivation Naïve Solution and its problems
Local synchronization
Future Work
Optional: formal part

4. Live Sequence Charts (LSCs)
An extension to Message Sequence Charts (MSCs) a.k.a. UML Sequence Diagrams
Domain: interactive software systems
A visual graphical language for specifying requirements

5. LSC and Play-Out Example
LSC Example
Keyboard
Ant
Screen
Press(‘*’)
Press(‘SND’)
ShowMenu
Open
StartTX

6. LSC and Play-Out Example
LSC Example
Keyboard
Screen
Press(‘*’)
Press(‘SND’)
ShowMenu
Ant
Open
StartTX
AntennaOpens
Ant
Screen
Blink
Open
Set AntIcon(On)
Violation occurs when an action is performed while not on the cut

7. Research Question: Scalability

8. Safety
Completeness

9. LSC Example
Keyboard
Ant
Screen
Press(‘*’)
Press(‘SND’)
ShowMenu
Open

10. Previous Work

11. Proposed Architecture

12. Naïve Solution

13. Problems with Naïve solution

14. Global Synchronization

15. Local Synchronization

16. Other Features of the Language

17. Proof Concept of Basic Protocol

18. Future Work