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

Year of publication: 2017

Type: Conference paper

Abstract

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.