3D Software Synthesis Guided by Constraint-Expressive Intermediate Representation
Shuqing Li, Anson Y. Lam, Yun Peng, Wenxuan Wang, Michael R. Lyu
图形用户界面(UI)软件经历了从传统的二维(2D)桌面/网络/移动界面到空间三维(3D)环境的根本转变。 虽然现有工作在自动化2D软件生成(如HTML/CSS和移动应用程序界面代码合成)方面取得了显着成功,但3D软件的生成仍然没有得到探索。 目前用于3D软件生成的方法通常生成整个3D环境,不能修改或控制软件中的特定元素。 此外,这些方法难以处理现实世界中固有的复杂的空间和语义限制。 为了应对挑战,我们介绍了Scenthesis,这是一种新颖的要求敏感的3D软件合成方法,在用户规格和生成的3D软件之间保持正式的可追溯性。 Scenethesis建立在ScenethesisLang上,ScenethesisLang是一种特定领域语言,作为粒度约束感知中间表示(IR),以弥合自然语言要求和可执行的3D软件。 它既是一种全面的场景描述语言,既可以进行3D软件元素的细粒度修改,也可以作为能够表达复杂空间约束的正式约束表达规范语言。 通过将3D软件合成分解为在ScenethesisLang上运行的阶段,Senethesis可以实现独立的验证,有针对性的修改和系统的约束满意度。 我们的评估表明,场景分析可以准确捕获超过80个
Graphical user interface (UI) software has undergone a fundamental transformation from traditional two-dimensional (2D) desktop/web/mobile interfaces to spatial three-dimensional (3D) environments. While existing work has made remarkable success in automated 2D software generation, such as HTML/CSS and mobile app interface code synthesis, the generation of 3D software still remains under-explored. Current methods for 3D software generation usually generate the 3D environments as a whole and cann...