Enhancing Trustworthiness and Formalization in the Construction Industry with Modeling Languages and Ontologies

The construction industry is rapidly evolving with the advent of new technologies. Despite this progress, large-scale projects remain plagued by complexity and diverse operations that hinder automation and productivity, leading to inefficiencies and lower profitability. These challenges are further amplified by traditional practices and the insufficient adoption of modern technologies. This research focuses on the adoption of Model-based System Engineering (MBSE), particularly on enriching System Modeling Language (SysML) models with ontologies. By leveraging ontologies as a comprehensive knowledge base that encapsulates essential details about the construction industry domain, providing formal support and enabling automated reasoning to verify model consistency. The proposed methodology aims at providing significant improvements in system design robustness and operational reliability, offering an effective solution for the automation and efficiency challenges in the industries. The introduction of the new SysML v2 standard promises to further enhance the integration between SysML models and ontologies, laying the groundwork for adapting the proposed methodology within the construction sector. Future research will explore the application of the methodology in the cement-based production industry, the modeling of legal contracts in SysML, and the integration of SysML models with blockchain technology to automate smart contract generation and enhance traceability in industrial operations.