Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach

The play-in/play-out approach is a method for specifying and developing complex reactive systems. It is built upon a scenariobased philosophy, and uses the language of live sequence charts (LSCs) and a support tool called the Play-Engine. We present some conclusions from the initial experience we have had using the approach on several projects, and discuss methodological aspects rising from this experience. The projects are from aviation, telecommunication and system manufacturing domains. 

• Type: Conference
• Year: 2003
• Where: DAGSTUHL
• Authors: David Harel, Hillel Kugler, Gera Weiss
• Keywords: Complex Reactive Systems, DAGSTUHL 2003, DAGSTUHL 2007, Live Sequence Charts, Play-in/play-out Approach