A Method to Derive TRiStar Diagrams from Textual Descriptions of Teleo-Reactive Systems

  1. José Miguel Morales Illán
  2. Pedro Sanchez
  3. Antonio Sánchez-García
Actes de conférence:
FRUCT21: Helsinki, noviembre de 2017

Année de publication: 2017

Type: Communication dans un congrès

GOOGLE SCHOLAR

Résumé

This paper presents a method for obtaining a TRiStar diagram starting from a textual description of a Teleo-Reactive system. The steps in the method are exemplified using a Unmanned Underwater Vehicle used for deactivating naval mines. Using this method will make the specification and reuse of Teleo-Reactive systems much easier.