Smart City Gnosys
Smart city article details
| Title | An Intelligent Assistant For Converting City Requirements To Formal Specification |
|---|---|
| ID_Doc | 8492 |
| Authors | Chen Z.; Li I.; Zhang H.; Preurn S.; Stankovic J.A.; Ma M. |
| Year | 2022 |
| Published | Proceedings - 2022 IEEE International Conference on Smart Computing, SMARTCOMP 2022 |
| DOI | http://dx.doi.org/10.1109/SMARTCOMP55677.2022.00043 |
| Abstract | 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 City Spec [1], 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. © 2022 IEEE. |
| Author Keywords | Intelligent Assistant; Monitoring; Requirement Specification; Smart City |
Similar Articles
| Id | Similarity | Authors | Title | Published |
|---|---|---|---|---|
14241  | 0.967 | Chen Z.; Li I.; Zhang H.; Preum S.; Stankovic J.A.; Ma M. | Cityspec: An Intelligent Assistant System For Requirement Specification In Smart Cities | Proceedings - 2022 IEEE International Conference on Smart Computing, SMARTCOMP 2022 (2022) |
| 14240 | 0.934 | Chen Z.; Li I.; Zhang H.; Preum S.; Stankovic J.A.; Ma M. | Cityspec With Shield: A Secure Intelligent Assistant For Requirement Formalization | Pervasive and Mobile Computing, 92 (2023) |
| 45128 | 0.864 | Almaarif, A; Aslam, K; Gordijn, J | Requirements Engineering For Smart Cities: Emerging Trends And Techniques | 2024 IEEE INTERNATIONAL SMART CITIES CONFERENCE, ISC2 (2024) |
| 49669 | 0.859 | Bashir A.; Latif N.; Khan A.M.; Sohail M. | Smart Cities Paradigm With Ai-Enabled Effective Requirements Engineering | 18th IEEE International Conference on Emerging Technologies, ICET 2023 (2023) |