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
Actas:
FRUCT21: Helsinki, noviembre de 2017

Año de publicación: 2017

Tipo: Aportación congreso

GOOGLE SCHOLAR

Resumen

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.