论文标题
智能助手，将城市要求转换为正式规格
An Intelligent Assistant for Converting City Requirements to Formal Specification
论文作者
论文摘要
随着越来越多的监控系统已部署到智能城市，因此，将新的人类指定要求自动转换为可自动的正式规格的需求更高。但是，这些特定于人类的要求通常以英语编写，并带来丢失，不准确或模棱两可的信息。在本文中，我们提出了CitySpec，这是一种智能助理系统，用于智能城市的需求规范。 CitySpec不仅有助于克服英语要求和正式规格带来的语言差异，而且还为失踪，不准确或模棱两可的信息提供了解决方案。本文的目的是展示CitySpec的工作原理。具体而言，我们提出了三个演示：（1）CitySpec中要求的交互式完成； （2）CitySePC遇到例外的人类纠正； （3）在城市社会中的在线学习。
As more and more monitoring systems have been deployed to smart cities, there comes a higher demand for converting new human-specified requirements to machine-understandable formal specifications automatically. However, these human-specific requirements are often written in English and bring missing, inaccurate, or ambiguous information. In this paper, we present CitySpec, an intelligent assistant system for requirement specification in smart cities. CitySpec not only helps overcome the language differences brought by English requirements and formal specifications, but also offers solutions to those missing, inaccurate, or ambiguous information. The goal of this paper is to demonstrate how CitySpec works. Specifically, we present three demos: (1) interactive completion of requirements in CitySpec; (2) human-in-the-loop correction while CitySepc encounters exceptions; (3) online learning in CitySpec.
