Trong bài báo này, chúng tôi trình bày một phương pháp mới gọi là Scenethesis, tập trung vào việc tự động tạo phần mềm GUI dựa trên môi trường không gian 3D, không giống như các nghiên cứu tạo phần mềm GUI dựa trên 2D hiện có. Scenethesis duy trì khả năng truy xuất nguồn gốc chính thức giữa các yêu cầu của người dùng và phần mềm 3D được tạo ra, đồng thời chuyển đổi các yêu cầu ngôn ngữ tự nhiên thành phần mềm 3D có thể thực thi bằng ngôn ngữ dành riêng cho miền, ScenethesisLang. ScenethesisLang hoạt động như một ngôn ngữ mô tả cảnh toàn diện cho phép sửa đổi chi tiết các thành phần phần mềm 3D và là ngôn ngữ đặc tả biểu diễn ràng buộc chính thức có thể diễn đạt các ràng buộc không gian phức tạp. Scenethesis phân tích tổng hợp phần mềm 3D thành nhiều bước dựa trên ScenethesisLang, cho phép xác minh độc lập, sửa đổi theo mục tiêu và thỏa mãn ràng buộc một cách có hệ thống. Kết quả thử nghiệm cho thấy Scenethesis nắm bắt chính xác hơn 80% yêu cầu của người dùng, đáp ứng hơn 90% các ràng buộc cứng trong khi đồng thời xử lý hơn 100 ràng buộc. Ngoài ra, nó cải thiện điểm đánh giá trực quan BLIP-2 lên 42,8% so với các phương pháp tiên tiến.
