Résumé
We propose here live sequence charts with a new, game-based semantics to model interactions between the system and its environment. For constructing programs automatically, we give an algorithm to synthesize either a strategy for the system ensuring that the specification is respected, or, if the specification is unimplementable, a strategy for the environment forcing the system to fail.
langue originale | Anglais |
---|---|
titre | Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003 |
Editeur | Institute of Electrical and Electronics Engineers Inc. |
Pages | 41-50 |
Nombre de pages | 10 |
Volume | 2003-January |
ISBN (Electronique) | 0769518877 |
Les DOIs | |
Etat de la publication | Publié - 1 janv. 2003 |
Evénement | 3rd International Conference on Application of Concurrency to System Design, ACSD 2003 - Guimaraes, Portugal Durée: 18 juin 2003 → 20 juin 2003 |
Une conférence
Une conférence | 3rd International Conference on Application of Concurrency to System Design, ACSD 2003 |
---|---|
Pays/Territoire | Portugal |
La ville | Guimaraes |
période | 18/06/03 → 20/06/03 |