A RoboTool plug-in for RoboWorld
Robótica, Linguagem Natural Controlada, Grammatical Framework, Ro boStar, CyPhyCircus, Ferramenta.
O desenvolvimento de sistemas robóticos é uma tarefa desafiadora devido à complexidade associada. Além disso, a falta de técnicas e ferramentas específicas faz com que a prática atual de Engenharia de Software para robótica esteja desatualizada. Portanto, aplicar técnicas de desenvolvimento baseado em modelos, em oposição às abordagens centradas em simulação e código, tem sido defendido para o campo da robótica. Considerando isto, o framework RoboStar, através de sua ferramenta (RoboTool), fornece uma coleção de linguagens específicas de domínio adaptadas para diferentes aspectos do desenvolvimento de sistemas robóticos. Uma dessas linguagens é RoboWorld: uma linguagem natural controlada (CNL) para especificar requisitos operacionais. Neste trabalho, desenvolveu-se um plug-in de RoboTool para RoboWorld. Este plug-in possui uma interface gráfica que permite a manutenção de dicionários específicos de cada projeto. Além disso, fornece editores de superfície e estruturais para documentos RoboWorld. A integração com técnicas e ferramentas de processamento de linguagem natural é transparente e, portanto, escondida do usuário final. A partir de uma representação intermediária de documentos RoboWorld, que é derivada automaticamente, o plug-in também verifica automaticamente condições de boa formação e gera uma semântica formal em CyPhyCircus. Estes recursos permitem a modelagem, a verificação, a simulação e testes rigorosos de robôs móveis e autônomos em conjunto com o seu ambiente operacional. O plug-in de RoboTool para RoboWorld foi validado considerando três estudos de caso: um drone de resgate, um robô andarilho e um robô coletor de recursos.