Unlocking Optimal ORM Database Designs: Accelerated Tradeoff Analysis with Transformers
Optimizing object-relational database mapping (ORM) design is crucial for performance and scalability in modern software systems. However, widely used ORM tools offer limited support for exploring performance tradeoffs, often enforcing a single design and overlooking alternatives, which can lead to suboptimal outcomes. While systematic tradeoff analysis can reveal Pareto-optimal designs, its high computational cost and poor scalability hinder practical adoption. This paper presents DesignTradeoffSculptor, an extensible tool suite for efficient, scalable tradeoff analysis in ORM database design. Leveraging advanced Transformer-based deep learning models—trained and fine-tuned on formally analyzed database designs—and framing design exploration as a Natural Language Processing task, DesignTradeoffSculptor efficiently identifies and removes suboptimal designs, sharply reducing the number of candidates requiring costly tradeoff analysis. Experiments show that DesignTradeoffSculptor uncovers optimal designs missed by leading ORM tools and improves analysis efficiency by over 98.21%, reducing tradeoff analysis time from 15 days to just 18 minutes, demonstrating the transformative potential of integrating formal methods with deep learning.
| FSE Talk Slides Deck (FSE_ReAndDesign_1210_MdRashedulHasan_Unlocking.pdf) | 2.21MiB |
Mon 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:30 | RE and DesignResearch Papers / Demonstrations / Journal First / Industry Papers at Andromeda Chair(s): Ipek Ozkaya Carnegie Mellon University | ||
10:30 10mTalk | PF2UML:A Tool for Problem-Oriented Requirements Modeling and Transformation Demonstrations Hongbin Xiao Guangxi Key Lab of Multi-Source Information Mining and Securit(Guangxi Normal University), Zhi Li Guangxi Normal University, Yilong Yang Beihang University, Fei Tang Huawei Technologies Co., Ltd, Dongming Jin Peking University, China Media Attached | ||
10:40 10mTalk | DReM: Efficiently Generating Domain-Specific Requirements Modeling Tool Demonstrations Ruixin Geng Beihang University, Jiahao Weng Beihang University, Ning Ge School of Software, Beihang University, Jingyao Li Beihang University, Chunming Hu Beihang University | ||
10:50 20mTalk | Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Research Papers Xiaoli Lian Beihang University, China, Shuaisong Wang Beihang University, Hanyu Zou Beihang University, Fang Liu Beihang University, Jiajun Wu Beihang University, Li Zhang Beihang University DOI | ||
11:10 10mTalk | Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements Demonstrations Aurora Francesca Zanenga University of Bergamo, Bergamo, Italy, Nunzio Marco Bisceglia University of Bergamo, Bergamo, Italy, Benedetta Ippoliti University of Bergamo, Bergamo, Italy, Andrea Bombarda University of Bergamo, Angelo Gargantini University of Bergamo, Akshay Rajhans Mathworks, Claudio Menghi University of Bergamo; McMaster University | ||
11:20 20mTalk | Evaluating Large Language Models for Requirements Question Answering in Industrial Aerospace Software Industry Papers Longxing Yang Beijing Institute of Control Engineering, Yixing Luo Beijing Institute of Control Engineering, Hao Gao Beijing Institute of Control Engineering, Yingshuang Fan Beijing Institute of Control Engineering, Jingru Zhang Beijing Institute of Control Engineering, Xiaofeng Li Beijing Institute of Control Engineering, Xiaogang Dong Beijing Institute of Control Engineering, Bin Gu Beijing Institute of Control Engineering, Zhi Jin Peking University, Mengfei Yang China Academy of Space Technology | ||
11:40 20mTalk | To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines Journal First Márton Elekes Budapest University of Technology and Economics, Vince Molnár Budapest University of Technology and Economics, Zoltán Micskei Budapest University of Technology and Economics Link to publication DOI Pre-print | ||
12:00 10mTalk | Merlin-A: A tool to engineer adaptive modelling languages Demonstrations Pre-print Media Attached | ||
12:10 20mTalk | Unlocking Optimal ORM Database Designs: Accelerated Tradeoff Analysis with Transformers Research Papers Md Rashedul Hasan University of Nebraska-Lincoln, Mohammad Rashedul Hasan University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln DOI Pre-print File Attached | ||
Andromeda is located close to the restaurant and the bar, at the end of the corridor on the side of the bar.
From the registration desk, go towards the restaurant, turn left towards the bar, walk until the end of the corridor.