Software modeling and digital twins are transforming the way software engineers design, operate, and maintain complex systems. In this column, we highlight cutting-edge research presented at the ACM/IEEE 27th Internat...
详细信息
Software modeling and digital twins are transforming the way software engineers design, operate, and maintain complex systems. In this column, we highlight cutting-edge research presented at the ACM/IEEE 27th internationalconference on Model-Driven Engineering Languages and systems (MODELS 2024) and the 1st internationalconference on Engineering Digital Twins (EDTconf 2024). The selected papers tackle critical challenges in improving system understanding, enhancing stakeholder communication, streamlining design and development processes, optimizing lifecycles, and enabling seamless integration of complex systems.
The Tyche Embedded Operating system is a highly customized real-time embedded operating system, widely applied in fields such as aerospace, medical devices, and industrial automation. Renowned for its robust support f...
详细信息
This paper addresses the modeling and control of an S-S wireless power transfer (WPT) system in the presence of load variation. The WPT systems can experience output voltage instability due to external or internal sys...
详细信息
In the field of construction, the application of Building Information modeling (BIM) technology combined with computer vision offers a promising avenue for enhancing the quality control and intelligent monitoring of v...
详细信息
Endpoint detection in speech recognition identifies when a natural sentence stops during *** research on integrating endpoint detection and speech recognition into a single streaming ASR model is limited, with past me...
详细信息
The development stage of laser facility control system is a complex system engineering, which involves the collaborative research and development of multi-department and multi-disciplinary personnel in the long-term d...
详细信息
3D point clouds acquired by using advanced scanning equipment have been used in a variety of applications like automated vehicles, 3D modeling, and cultural heritage preservation. Due to limitations of the devices, po...
详细信息
Smart contracts, as one of the important applications of blockchain technology, provide the possibility for automated execution of payment systems. This article explores an automated execution algorithm for smart cont...
详细信息
Domain modeling is typically an iterative process where modeling experts interact with domain experts to complete and refine the model. Recently, we have seen several attempts to assist, or even replace, the modeler w...
详细信息
ISBN:
(纸本)9783031758713;9783031758720
Domain modeling is typically an iterative process where modeling experts interact with domain experts to complete and refine the model. Recently, we have seen several attempts to assist, or even replace, the modeler with a Large Language Model (LLM). Several LLM prompting strategies have been attempted, but with limited success. In this paper, we advocate for the adoption of a Tree-of-Thoughts (ToT) strategy to overcome the limitations of current approaches based on simpler prompting strategies. With a ToT strategy, we can decompose the modeling process into several sub-steps using for each step a specialized set of generators and evaluators prompts to optimize the quality of the LLM output. As part of our adaptation, we provide a Domain-Specific Language (DSL) to facilitate the formalization of the ToT process for domain modeling. Our approach is implemented as part of an open source tool available on GitHub.
Although traditional protection methods can improve the security of the network to a certain extent, its effect is often limited in the face of complex network environment and various attacks. Therefore, it is an impo...
详细信息
暂无评论