Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine - Brossura

Harel, David; Marelly, Rami

Brossura

ISBN 10: 3642190308 ISBN 13: 9783642190308

Casa editrice: Springer, 2011

Riassunto

I. Prelude.- 1. Introduction.- 2. Setting the Stage.- 3. An Example-Driven Overview.- 4. The Model: Object Systems.- II. Foundations.- 5. The Language: Live Sequence Charts (LSCs).- 6. The Tool: The Play-Engine.- III. Basic Behavior.- 7. Variables and Symbolic Messages.- 8. Assignments and Implemented Functions.- 9. Conditions.- 10. Branching and Subcharts.- IV. Advanced Behavior: Multiple Charts.- 11. Executing Multiple Charts.- 12. Testing with Existential Charts.- V. Advanced Behavior: Richer Constructs.- Loops.- Transition to Design.- Classes and Symbolic Instances.- Time and Real-Time Systems.- Forbidden Elements.- VI Enhancing the Play-Engine.- Smart Play-Out (with H. Kugler).- Inside and Outside the Play-Engine.- A Play-Engine Aware GUI Editor.- Future Research Directions.- VII Appendices.- A. Formal Semantics of LSCs.- A.1 System Model and Events.- A.2 LSC Specification.- A.3 Operational Semantics.- B. XML Description of a GUI Application.- C. The Play-Engine Interface.- C.1 Visual Basic Code.- D. The GUI Application Interface.- D.1 Visual Basic Code.- E. The Structure of a (Recorded) Run.- References.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2011
• Lingua: Inglese
• ISBN 10: 3642190308
• ISBN 13: 9783642190308
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile