PlayGo: towards a comprehensive tool for scenario based programming

Authors:
David Harel;Shahar Maoz;Smadar Szekely;Daniel Barkan
Affiliations:
Weizmann Institute of Science, Rehovot, Israel;RWTH Aachen University, Aachen, Germany;Weizmann Institute of Science, Rehovot, Israel;Weizmann Institute of Science, Rehovot, Israel
Venue:
Proceedings of the IEEE/ACM international conference on Automated software engineering
Year:
2010

Citing 10
Cited 5

LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
Smart Play-out of Behavioral Requirements

FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
From multi-modal scenarios to code: compiling LSCs into aspectJ

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Can Programming Be Liberated, Period?

Computer
Generating Executable Scenarios from Natural Language

CICLing '09 Proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing
Model-Based Traces

Models in Software Engineering
Planned and traversable play-out: a flexible method for executing scenario-based programs

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Programming coordinated behavior in java

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
On tracing reactive systems

Software and Systems Modeling (SoSyM)

Behavioral programming, decentralized control, and multiple time scales

Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Behavioral programming

Communications of the ACM
Assume-guarantee scenarios: semantics and synthesis

MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A decentralized approach for programming interactive applications with JavaScript and blockly

Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Counter play-out: executing unrealizable scenario-based specifications

Proceedings of the 2013 International Conference on Software Engineering

Quantified Score

Hi-index	0.02

Visualization

Abstract

We present PlayGo, a comprehensive tool for scenario-based programming, built around the language of live sequence charts and the play-in/play-out approach [7], which includes a compiler into AspectJ code and means for debugging the execution. PlayGo is intended to be a full IDE that addresses major parts of the vision of Liberating Programming [3]. This paper presents the first version of PlayGo, which already includes several of the intended capabilities.