Authors:
David Harel
1
;
Guy Katz
2
;
Assaf Marron
1
and
Smadar Szekely
1
Affiliations:
1
Weizmann Institute of Science, Rehovot, Israel
;
2
The Hebrew University of Jerusalem, Jerusalem, Israel
Keyword(s):
Generative AI, Chatbots, Scenario-Based Modeling, Rule-Based Specifications.
Abstract:
The manual modeling of complex systems is a daunting task; and although a plethora of methods exist that mitigate this issue, the problem remains very difficult. Recent advances in generative AI have allowed the creation of general-purpose chatbots, capable of assisting software engineers in various modeling tasks. However, these chatbots are often inaccurate, and an unstructured use thereof could result in erroneous system models. In this paper, we outline a method for the safer and more structured use of chatbots as part of the modeling process. To streamline this integration, we propose leveraging scenario-based modeling techniques, which are known to facilitate the automated analysis of models. We argue that through iterative invocations of the chatbot and the manual and automatic inspection of the resulting models, a more accurate system model can eventually be obtained. We describe favorable preliminary results, which highlight the potential of this approach.