Sánchez Pedro, Álvarez Bárbara, Antolinos Elías, Fernández Diego, Iborra Andrés
División de Sistemas e Ingeniería Electrónica (DSIE), Universidad Politécnica de Cartagena, Campus Muralla del Mar, s/n, 30202 Cartagena, Murcia, Spain.
Sensors (Basel). 2018 Apr 1;18(4):1059. doi: 10.3390/s18041059.
The Internet of Things (IoT) is one of today's main disruptive technologies and, although massive research has been carried out in recent years, there are still some open issues such as the consideration of software engineering methods and tools. We propose the adoption of the Teleo-Reactive approach in order to facilitate the development of Internet of Things systems as a set of communicating Teleo-Reactive nodes. The software behavior of the nodes is specified in terms of goals, perceptions and actions over the environment, achieving higher abstraction than using general-purpose programming languages and therefore, enhancing the involvement of non-technical users in the specification process. Throughout this paper, we describe the elements of a Teleo-Reactive node and a systematic procedure for translating Teleo-Reactive specifications into executable code for Internet of Things devices. The case study of a robotic agent is used in order to validate the whole approach.
物联网（IoT）是当今主要的颠覆性技术之一，尽管近年来已经进行了大量研究，但仍存在一些未解决的问题，例如软件工程方法和工具的考量。我们建议采用遥测反应式方法，以便将物联网系统开发为一组相互通信的遥测反应式节点。节点的软件行为根据目标、对环境的感知和行动来指定，与使用通用编程语言相比，实现了更高层次的抽象，从而增强了非技术用户在规范过程中的参与度。在本文中，我们描述了遥测反应式节点的要素以及将遥测反应式规范转换为物联网设备可执行代码的系统过程。使用机器人代理的案例研究来验证整个方法。
