A Method to Derive TRiStar Diagrams from Textual Descriptions of Teleo-Reactive Systems
This paper presents a method for obtaining a TRiStar diagram starting from a textual description of a TeleoReactive system. The steps in the method are exemplified using a Unmanned Underwater Vehicle used for deactivateing naval mines. Using this method will make the specification and reuse of Teleo...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
FRUCT
2017-11-01
|
| Series: | Proceedings of the XXth Conference of Open Innovations Association FRUCT |
| Subjects: | |
| Online Access: | https://fruct.org/publications/abstract21/files/Mor.pdf
|