Abstract
The talk first describes briefly the inter-object, scenario-based approach to programming that I’ve been working on with colleagues and students for the last eight years. It starts with the 1998 advent of the language of live sequence charts, or LSCs, jointly with Werner Damm. LSCs extend message sequence charts, or sequence diagrams with modalities, and thus can express possible, mandatory, forbidden and fragmented scenarios of behavior. Following this, together with my ex-PhD student Rami Marelly, we extended the language quite significantly, adding time, symbolic instances, forbidden elements and more. We also developed a convenient method for programming LSCs directly from a GUI, called play-in. The highlight of the work with Marelly, however, is play-out, a method for executing LSC specifications, and it is play-out that serves to turn the entire approach into a means for actually programming a system, and not just one for eliciting requirements. The entire approach we then implemented in a tool called the Play-Engine.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Harel, D. (2006). Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs. In: Ball, T., Jones, R.B. (eds) Computer Aided Verification. CAV 2006. Lecture Notes in Computer Science, vol 4144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11817963_3
Download citation
DOI: https://doi.org/10.1007/11817963_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37406-0
Online ISBN: 978-3-540-37411-4
eBook Packages: Computer ScienceComputer Science (R0)