Come, let's play: scenario-based programming using LSCs and the play-engine
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2003
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XVIII, 382 S. zahlr. Ill., graph. Darst. CD-ROM (12 cm) |
| ISBN: | 3540007873 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV017591289 | ||
| 003 | DE-604 | ||
| 005 | 20050718 | ||
| 007 | t | ||
| 008 | 031020s2003 ad|| |||| 00||| eng d | ||
| 020 | |a 3540007873 |9 3-540-00787-3 | ||
| 035 | |a (OCoLC)249034820 | ||
| 035 | |a (DE-599)BVBBV017591289 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-824 |a DE-384 |a DE-83 |a DE-11 |a DE-188 |a DE-91G | ||
| 050 | 0 | |a QA76.758 | |
| 082 | 0 | |a 005.1 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 231 |0 (DE-625)143618: |2 rvk | ||
| 084 | |a ST 232 |0 (DE-625)143619: |2 rvk | ||
| 084 | |a DAT 262f |2 stub | ||
| 100 | 1 | |a Harel, David |d 1950- |e Verfasser |0 (DE-588)109527992 |4 aut | |
| 245 | 1 | 0 | |a Come, let's play |b scenario-based programming using LSCs and the play-engine |c David Harel ; Rami Marelly |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2003 | |
| 300 | |a XVIII, 382 S. |b zahlr. Ill., graph. Darst. |e CD-ROM (12 cm) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Reaktives System - Systementwurf - Graphische Programmiersprache - Objektorientierte Programmiersprache - Graphische Benutzeroberfläche | |
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a System design | |
| 650 | 4 | |a Visual programming languages (Computer science) | |
| 650 | 0 | 7 | |a Graphische Benutzeroberfläche |0 (DE-588)4275084-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Graphische Programmiersprache |0 (DE-588)4207656-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwurf |0 (DE-588)4261480-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Reaktives System |0 (DE-588)4637514-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Objektorientierte Programmiersprache |0 (DE-588)4172311-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Reaktives System |0 (DE-588)4637514-4 |D s |
| 689 | 0 | 1 | |a Systementwurf |0 (DE-588)4261480-6 |D s |
| 689 | 0 | 2 | |a Graphische Programmiersprache |0 (DE-588)4207656-0 |D s |
| 689 | 0 | 3 | |a Objektorientierte Programmiersprache |0 (DE-588)4172311-9 |D s |
| 689 | 0 | 4 | |a Graphische Benutzeroberfläche |0 (DE-588)4275084-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Marelly, Rami |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m SWB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010583436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010583436 | ||
Record in the Search Index
| _version_ | 1804130351687139328 |
|---|---|
| adam_text | CONTENTS PART I. PRELUDE 1. INTRODUCTION . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.1 WHAT
ARE WE TALKING ABOUT? . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 3 1.2 WHAT ARE WE TRYING TO DO? . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 6 1.3 WHAT*S IN THE BOOK?. . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 7 2. SETTING THE STAGE
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . 9 2.1 MODELING AND CODE GENERATION . . . . . . . . . . . . . .
. . . . . . . . . . . . . 9 2.2 REQUIREMENTS . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.3
INTER-OBJECT VS. INTRA-OBJECT BEHAVIOR . . . . . . . . . . . . . . . . .
. . . . 14 2.4 LIVE SEQUENCE CHARTS (LSCS) . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 16 2.5 TESTING, VERIFICATION AND SYNTHESIS .
. . . . . . . . . . . . . . . . . . . . . . . 17 2.6 THE
PLAY-IN/PLAY-OUT APPROACH . . . . . . . . . . . . . . . . . . . . . . .
. . . 21 3. AN EXAMPLE-DRIVEN OVERVIEW . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 25 3.1 THE SAMPLE SYSTEM . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 25 3.2 PLAYING IN . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 26 3.3 PLAYING OUT . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 39 3.4 USING PLAY-OUT
FOR TESTING . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. 43 3.5 TRANSITION TO DESIGN . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 44 3.6 TIME . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46 3.7 SMART PLAY-OUT . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . 47 PART II. FOUNDATIONS 4. THE MODEL:
OBJECT SYSTEMS . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . 55 4.1 APPLICATION TYPES . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 55 4.2 OBJECT PROPERTIES . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 4.3
AND A BIT MORE FORMALLY ... . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 58 XIV CONTENTS 5. THE LANGUAGE: LIVE SEQUENCE CHARTS
(LSCS) . . . . . . . . . . . . . . 59 5.1 CONSTANT LSCS. . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 5.2
PLAYING IN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 62 5.3 THE GENERAL PLAY-OUT SCHEME . . . .
. . . . . . . . . . . . . . . . . . . . . . . . 65 5.4 PLAYING OUT . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . 68 5.5 COMBINING LOCATIONS AND MESSAGES . . . . . . . . . . .
. . . . . . . . . . . . . 71 5.6 AND A BIT MORE FORMALLY ... . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . 73 5.7 BIBLIOGRAPHIC
NOTES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . 81 6. THE TOOL: THE PLAY-ENGINE . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 83 6.1 BIBLIOGRAPHIC NOTES . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87 PART III.
BASIC BEHAVIOR 7. VARIABLES AND SYMBOLIC MESSAGES . . . . . . . . . . .
. . . . . . . . . . . . . . 91 7.1 SYMBOLIC SCENARIOS . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 7.2
ENRICHING THE PARTIAL ORDER . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 94 7.3 PLAYING OUT . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 97 7.4 AND A BIT MORE
FORMALLY ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
99 7.5 BIBLIOGRAPHIC NOTES . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 103 8. ASSIGNMENTS AND IMPLEMENTED FUNCTIONS
. . . . . . . . . . . . . . . . . 105 8.1 USING IMPLEMENTED FUNCTIONS .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 8.2
ASSIGNMENTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 108 8.3 PLAYING OUT . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 8.4
AND A BIT MORE FORMALLY ... . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 114 9. CONDITIONS . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 9.1 COLD
CONDITIONS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 119 9.2 HOT CONDITIONS . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . 120 9.3 PLAYING IN .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 121 9.4 PLAYING OUT . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . 126 9.5 AND A BIT
MORE FORMALLY ... . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 128 9.6 BIBLIOGRAPHIC NOTES . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 132 10. BRANCHING AND SUBCHARTS . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133 10.1
THE IF-THEN-ELSE CONSTRUCT . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . 133 10.2 SUBCHARTS . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . 134 10.3
NONDETERMINISTIC CHOICE . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 135 10.4 PLAYING IN . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136 10.5
PLAYING OUT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 138 CONTENTS XV 10.6 AND A BIT MORE FORMALLY
... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141 10.7
BIBLIOGRAPHIC NOTES . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 146 PART IV. ADVANCED BEHAVIOR: MULTIPLE CHARTS
11. EXECUTING MULTIPLE CHARTS . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 149 11.1 SIMULTANEOUS ACTIVATION OF MULTIPLE
CHARTS . . . . . . . . . . . . . . . . 149 11.2 OVERLAPPING CHARTS . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
11.3 AND A BIT MORE FORMALLY ... . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 157 12. TESTING WITH EXISTENTIAL CHARTS . . . . . .
. . . . . . . . . . . . . . . . . . . . . 159 12.1 SPECIFYING TEST
SCENARIOS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. 159 12.2 MONITORING LSCS . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 160 12.3 RECORDING AND REPLAYING . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163 12.4
ON-LINE TESTING . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 164 12.5 EXECUTING AND MONITORING LSCS IN THE
PLAY-ENGINE . . . . . . . . . 165 12.6 AND A BIT MORE FORMALLY ... . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . 166 12.7
BIBLIOGRAPHIC NOTES . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 171 PART V. ADVANCED BEHAVIOR: RICHER CONSTRUCTS
13. LOOPS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . 175 13.1 USING LOOPS . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . 175 13.2 PLAYING IN . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . 176 13.3 PLAYING OUT . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . 178 13.4 USING VARIABLES WITHIN LOOPS . . . . . . . . . . .
. . . . . . . . . . . . . . . . . 179 13.5 EXECUTING AND MONITORING
DYNAMIC LOOPS . . . . . . . . . . . . . . . . . 181 13.6 AND A BIT MORE
FORMALLY ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
183 13.7 BIBLIOGRAPHIC NOTES . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 187 14. TRANSITION TO DESIGN . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189 14.1
THE DESIGN PHASE . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . 189 14.2 INCORPORATING INTERNAL OBJECTS . . . . .
. . . . . . . . . . . . . . . . . . . . . . . 190 14.3 CALLING OBJECT
METHODS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . 193 14.4 PLAYING OUT . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . 196 14.5 EXTERNAL OBJECTS . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. 198 14.6 AND A BIT MORE FORMALLY ... . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . 201 14.7 BIBLIOGRAPHIC NOTES . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 205 XVI CONTENTS
15. CLASSES AND SYMBOLIC INSTANCES . . . . . . . . . . . . . . . . . . .
. . . . . . . . 209 15.1 SYMBOLIC INSTANCES . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . 209 15.2 CLASSES AND
OBJECTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . 210 15.3 PLAYING WITH SIMPLE SYMBOLIC INSTANCES . . . . . . . .
. . . . . . . . . . . 212 15.4 SYMBOLIC INSTANCES IN THE MAIN CHART . .
. . . . . . . . . . . . . . . . . . 213 15.5 QUANTIFIED BINDING . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215
15.6 REUSING A SCENARIO PREFIX . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . 216 15.7 SYMBOLIC INSTANCES IN EXISTENTIAL CHARTS .
. . . . . . . . . . . . . . . . . 218 15.8 AN ADVANCED EXAMPLE: NETPHONE
. . . . . . . . . . . . . . . . . . . . . . . . 218 15.9 AND A BIT MORE
FORMALLY ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
221 15.10 BIBLIOGRAPHIC NOTES . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 227 16. TIME AND REAL-TIME SYSTEMS . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 229 16.1 AN EXAMPLE .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . 229 16.2 ADDING TIME TO LSCS . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 230 16.3 HOT TIMING CONSTRAINTS . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231 16.4
COLD TIMING CONSTRAINTS . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . 234 16.5 TIME EVENTS. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . 235 16.6 PLAYING IN. .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . 236 16.7 PLAYING OUT . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . 237 16.8 UNIFICATION OF
CLOCK TICKS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. 239 16.9 THE TIME-ENRICHED NETPHONE EXAMPLE . . . . . . . . . . . . .
. . . . . . 240 16.10 AND A BIT MORE FORMALLY ... . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 242 16.11 BIBLIOGRAPHIC NOTES . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247
17. FORBIDDEN ELEMENTS . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 251 17.1 EXAMPLE: A CRUISE CONTROL SYSTEM .
. . . . . . . . . . . . . . . . . . . . . . 251 17.2 FORBIDDEN MESSAGES
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
252 17.3 GENERALIZED FORBIDDEN MESSAGES . . . . . . . . . . . . . . . .
. . . . . . . . . 255 17.4 SYMBOLIC INSTANCES IN FORBIDDEN MESSAGES. . .
. . . . . . . . . . . . . . 256 17.5 FORBIDDEN CONDITIONS . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 258 17.6 SCOPING
FORBIDDEN ELEMENTS . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . 262 17.7 PLAYING OUT . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 264 17.8 USING FORBIDDEN ELEMENTS
WITH TIME . . . . . . . . . . . . . . . . . . . . . 266 17.9 A TOLERANT
SEMANTICS FOR LSCS . . . . . . . . . . . . . . . . . . . . . . . . . .
267 17.10 AND A BIT MORE FORMALLY ... . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 268 17.11 BIBLIOGRAPHIC NOTES . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . 277 CONTENTS XVII
PART VI. ENHANCING THE PLAY-ENGINE 18. SMART PLAY-OUT (WITH H. KUGLER) .
. . . . . . . . . . . . . . . . . . . . . . 281 18.1 INTRODUCTION . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . 281 18.2 BEING SMART HELPS . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 283 18.3 THE GENERAL APPROACH . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287 18.4
THE TRANSLATION . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 289 18.5 CURRENT LIMITATIONS . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . 299 18.6 SATISFYING
EXISTENTIAL CHARTS . . . . . . . . . . . . . . . . . . . . . . . . . . .
. 301 18.7 BIBLIOGRAPHIC NOTES . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 307 19. INSIDE AND OUTSIDE THE PLAY-ENGINE
. . . . . . . . . . . . . . . . . . . . . . . 309 19.1 THE ENGINE*S
ENVIRONMENT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
309 19.2 PLAYING IN. . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 310 19.3 PLAYING OUT . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
311 19.4 RECORDING RUNS AND CONNECTING EXTERNAL APPLICATIONS . . . . .
313 19.5 ADDITIONAL PLAY-ENGINE FEATURES . . . . . . . . . . . . . . . .
. . . . . . . . . 313 20. A PLAY-ENGINE AWARE GUI EDITOR . . . . . . . .
. . . . . . . . . . . . . . . . . 317 20.1 WHO NEEDS A GUI EDITOR? . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . 317 20.2 GUIEDIT
IN VISUAL BASIC . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . 318 20.3 WHAT DOES GUIEDIT DO? . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 318 20.4 INCORPORATING CUSTOM CONTROLS . . .
. . . . . . . . . . . . . . . . . . . . . . . 321 20.5 GUIEDIT AS A
PROOF OF CONCEPT . . . . . . . . . . . . . . . . . . . . . . . . . . 321
20.6 BIBLIOGRAPHIC NOTES . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 322 21. FUTURE RESEARCH DIRECTIONS . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . 323 21.1 OBJECT
REFINEMENT AND COMPOSITION. . . . . . . . . . . . . . . . . . . . . .
323 21.2 OBJECT MODEL DIAGRAMS, INHERITANCE AND INTERFACES. . . . . . .
. . 325 21.3 DYNAMIC CREATION AND DESTRUCTION OF OBJECTS . . . . . . . .
. . . . . 326 21.4 STRUCTURED PROPERTIES AND TYPES . . . . . . . . . . .
. . . . . . . . . . . . . . 327 21.5 LINKING MULTIPLE ENGINES . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . 328 PART VII.
APPENDICES A. FORMAL SEMANTICS OF LSCS . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . 333 A.1 SYSTEM MODEL AND EVENTS . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . 333 A.2 LSC
SPECIFICATION . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . 336 A.3 OPERATIONAL SEMANTICS . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . 342 XVIII CONTENTS B. XML
DESCRIPTION OF A GUI APPLICATION . . . . . . . . . . . . . . . . . . .
357 C. THE PLAY-ENGINE INTERFACE . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 361 C.1 VISUAL BASIC CODE . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . 361 D. THE GUI
APPLICATION INTERFACE . . . . . . . . . . . . . . . . . . . . . . . . .
. . . 363 D.1 VISUAL BASIC CODE . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . 364 E. THE STRUCTURE OF A (RECORDED)
RUN . . . . . . . . . . . . . . . . . . . . . . . 367 REFERENCES . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . 369 INDEX . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . 375
|
| any_adam_object | 1 |
| author | Harel, David 1950- Marelly, Rami |
| author_GND | (DE-588)109527992 |
| author_facet | Harel, David 1950- Marelly, Rami |
| author_role | aut aut |
| author_sort | Harel, David 1950- |
| author_variant | d h dh r m rm |
| building | Verbundindex |
| bvnumber | BV017591289 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758 |
| callnumber-search | QA76.758 |
| callnumber-sort | QA 276.758 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 ST 231 ST 232 |
| classification_tum | DAT 262f |
| ctrlnum | (OCoLC)249034820 (DE-599)BVBBV017591289 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02423nam a2200541zc 4500</leader><controlfield tag="001">BV017591289</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050718 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">031020s2003 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540007873</subfield><subfield code="9">3-540-00787-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)249034820</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017591289</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.758</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 231</subfield><subfield code="0">(DE-625)143618:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 232</subfield><subfield code="0">(DE-625)143619:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 262f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Harel, David</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)109527992</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Come, let's play</subfield><subfield code="b">scenario-based programming using LSCs and the play-engine</subfield><subfield code="c">David Harel ; Rami Marelly</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 382 S.</subfield><subfield code="b">zahlr. Ill., graph. Darst.</subfield><subfield code="e">CD-ROM (12 cm)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reaktives System - Systementwurf - Graphische Programmiersprache - Objektorientierte Programmiersprache - Graphische Benutzeroberfläche</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Visual programming languages (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphische Benutzeroberfläche</subfield><subfield code="0">(DE-588)4275084-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphische Programmiersprache</subfield><subfield code="0">(DE-588)4207656-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reaktives System</subfield><subfield code="0">(DE-588)4637514-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4172311-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Reaktives System</subfield><subfield code="0">(DE-588)4637514-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Graphische Programmiersprache</subfield><subfield code="0">(DE-588)4207656-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Objektorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4172311-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Graphische Benutzeroberfläche</subfield><subfield code="0">(DE-588)4275084-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Marelly, Rami</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010583436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010583436</subfield></datafield></record></collection> |
| id | DE-604.BV017591289 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:19:39Z |
| institution | BVB |
| isbn | 3540007873 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010583436 |
| oclc_num | 249034820 |
| open_access_boolean | |
| owner | DE-824 DE-384 DE-83 DE-11 DE-188 DE-91G DE-BY-TUM |
| owner_facet | DE-824 DE-384 DE-83 DE-11 DE-188 DE-91G DE-BY-TUM |
| physical | XVIII, 382 S. zahlr. Ill., graph. Darst. CD-ROM (12 cm) |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer |
| record_format | marc |
| spelling | Harel, David 1950- Verfasser (DE-588)109527992 aut Come, let's play scenario-based programming using LSCs and the play-engine David Harel ; Rami Marelly Berlin [u.a.] Springer 2003 XVIII, 382 S. zahlr. Ill., graph. Darst. CD-ROM (12 cm) txt rdacontent n rdamedia nc rdacarrier Reaktives System - Systementwurf - Graphische Programmiersprache - Objektorientierte Programmiersprache - Graphische Benutzeroberfläche Object-oriented programming (Computer science) Software engineering System design Visual programming languages (Computer science) Graphische Benutzeroberfläche (DE-588)4275084-2 gnd rswk-swf Graphische Programmiersprache (DE-588)4207656-0 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf Reaktives System (DE-588)4637514-4 gnd rswk-swf Objektorientierte Programmiersprache (DE-588)4172311-9 gnd rswk-swf Reaktives System (DE-588)4637514-4 s Systementwurf (DE-588)4261480-6 s Graphische Programmiersprache (DE-588)4207656-0 s Objektorientierte Programmiersprache (DE-588)4172311-9 s Graphische Benutzeroberfläche (DE-588)4275084-2 s DE-604 Marelly, Rami Verfasser aut SWB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010583436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Harel, David 1950- Marelly, Rami Come, let's play scenario-based programming using LSCs and the play-engine Reaktives System - Systementwurf - Graphische Programmiersprache - Objektorientierte Programmiersprache - Graphische Benutzeroberfläche Object-oriented programming (Computer science) Software engineering System design Visual programming languages (Computer science) Graphische Benutzeroberfläche (DE-588)4275084-2 gnd Graphische Programmiersprache (DE-588)4207656-0 gnd Systementwurf (DE-588)4261480-6 gnd Reaktives System (DE-588)4637514-4 gnd Objektorientierte Programmiersprache (DE-588)4172311-9 gnd |
| subject_GND | (DE-588)4275084-2 (DE-588)4207656-0 (DE-588)4261480-6 (DE-588)4637514-4 (DE-588)4172311-9 |
| title | Come, let's play scenario-based programming using LSCs and the play-engine |
| title_auth | Come, let's play scenario-based programming using LSCs and the play-engine |
| title_exact_search | Come, let's play scenario-based programming using LSCs and the play-engine |
| title_full | Come, let's play scenario-based programming using LSCs and the play-engine David Harel ; Rami Marelly |
| title_fullStr | Come, let's play scenario-based programming using LSCs and the play-engine David Harel ; Rami Marelly |
| title_full_unstemmed | Come, let's play scenario-based programming using LSCs and the play-engine David Harel ; Rami Marelly |
| title_short | Come, let's play |
| title_sort | come let s play scenario based programming using lscs and the play engine |
| title_sub | scenario-based programming using LSCs and the play-engine |
| topic | Reaktives System - Systementwurf - Graphische Programmiersprache - Objektorientierte Programmiersprache - Graphische Benutzeroberfläche Object-oriented programming (Computer science) Software engineering System design Visual programming languages (Computer science) Graphische Benutzeroberfläche (DE-588)4275084-2 gnd Graphische Programmiersprache (DE-588)4207656-0 gnd Systementwurf (DE-588)4261480-6 gnd Reaktives System (DE-588)4637514-4 gnd Objektorientierte Programmiersprache (DE-588)4172311-9 gnd |
| topic_facet | Reaktives System - Systementwurf - Graphische Programmiersprache - Objektorientierte Programmiersprache - Graphische Benutzeroberfläche Object-oriented programming (Computer science) Software engineering System design Visual programming languages (Computer science) Graphische Benutzeroberfläche Graphische Programmiersprache Systementwurf Reaktives System Objektorientierte Programmiersprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010583436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hareldavid comeletsplayscenariobasedprogrammingusinglscsandtheplayengine AT marellyrami comeletsplayscenariobasedprogrammingusinglscsandtheplayengine |