Log in

Relevant bibliographies by topics / Automated Compliance Checking

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Automated Compliance Checking'

Author: Grafiati

Published: 25 June 2021

Last updated: 30 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Automated Compliance Checking.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Automated Compliance Checking"

1

King, Thomas C., Marina De Vos, Virginia Dignum, Catholijn M. Jonker, Tingting Li, Julian Padget, and M. Birna van Riemsdijk. "Automated multi-level governance compliance checking." Autonomous Agents and Multi-Agent Systems 31, no. 6 (April 6, 2017): 1283–343. http://dx.doi.org/10.1007/s10458-017-9363-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Soliman-Junior, Joao, Patricia Tzortzopoulos, Juliana Parise Baldauf, Barbara Pedo, Mike Kagioglou, Carlos Torres Formoso, and Julian Humphreys. "Automated compliance checking in healthcare building design." Automation in Construction 129 (September 2021): 103822. http://dx.doi.org/10.1016/j.autcon.2021.103822.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Zhou, Yilun, Jianjun She, Yixuan Huang, Lingzhi Li, Lei Zhang, and Jiashu Zhang. "A Design for Safety (DFS) Semantic Framework Development Based on Natural Language Processing (NLP) for Automated Compliance Checking Using BIM: The Case of China." Buildings 12, no. 6 (June 7, 2022): 780. http://dx.doi.org/10.3390/buildings12060780.

Full text

Abstract:

For design for safety (DFS), automated compliance checking methods have received extensive attention. Although many research efforts have indicated the potential of BIM and ontology for automated compliance checking, an efficient methodology is still required for the interoperability and semantic representation of data from different sources. Therefore, a natural language processing (NLP)-based semantic framework is proposed in this paper, which implements rules-based automated compliance checking for building information modeling (BIM) at the design stage. Semantic-rich information can be extracted from safety regulations by NLP methods, which were analyzed to generate conceptual classes and individuals of ontology and provide a corpus basis for rule classification. The data on BIM was extracted from Revit to a spreadsheet using the Dynamo tool and then mapped to the ontology using the Cellfie tool. The interoperability of different source data was well improved through the isomorphism of information in the framework of semantic integration, causing data processed by the semantic web rule language to be transformed from safety regulations to achieve the purpose that automated compliance checking is implemented in the design documents. The practicability and scientific feasibility of the proposed framework was verified through a 95.21% recall and a 90.63% precision in compliance checking of a case study in China. Compared with traditional compliance checking methods, the proposed framework had high efficiency, response speed, data interoperability, and interaction.

APA, Harvard, Vancouver, ISO, and other styles

4

Sun, Hongwei, and Inhan Kim. "APPLYING AI TECHNOLOGY TO RECOGNIZE BIM OBJECTS AND VISIBLE PROPERTIES FOR ACHIEVING AUTOMATED CODE COMPLIANCE CHECKING." JOURNAL OF CIVIL ENGINEERING AND MANAGEMENT 28, no. 6 (June 15, 2022): 497–508. http://dx.doi.org/10.3846/jcem.2022.16994.

Full text

Abstract:

Automated code compliance checking is an effective approach for assessing the quality of building information modeling (BIM) models. Various automated code compliance checking systems have emerged, wherein users need to input all information accurately according to BIM modeling guidelines, in order to ensure the accuracy of checking results. However, as this process involves human inputs, it is difficult to ensure that each input is accurate. In the case of errors or missing inputs, the checking results will be erroneous. Although automated checking systems can be developed accurately, it is difficult to apply these systems practically. Therefore, this paper proposes the application of AI technology to recognize BIM objects and visible properties, in order to improve the operability of automated code compliance checking. The two necessary elements – object names and properties – could be automatically extracted to a certain extent, following the application of the proposed method to the automated code checking process. The error rate of the input could also be reduced, thus making the application of the code checking system more practically feasible. The proposed recognition method for BIM objects and visible properties is also expected to be used widely in BIM-based building e-submission systems and BIM-based forward designs.

APA, Harvard, Vancouver, ISO, and other styles

5

Tan, Xiangyang, Amin Hammad, and Paul Fazio. "Automated Code Compliance Checking for Building Envelope Design." Journal of Computing in Civil Engineering 24, no. 2 (March 2010): 203–11. http://dx.doi.org/10.1061/(asce)0887-3801(2010)24:2(203).

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Nahangi, Mohammad, and Carl T. Haas. "Automated 3D compliance checking in pipe spool fabrication." Advanced Engineering Informatics 28, no. 4 (October 2014): 360–69. http://dx.doi.org/10.1016/j.aei.2014.04.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Janpitak, Nanta, and Chanboon Sathitwiriyawong. "Automated Compliance Checking Methodology for Non-Log Operations." Information Security Journal: A Global Perspective 24, no. 4-6 (August 18, 2015): 98–108. http://dx.doi.org/10.1080/19393555.2015.1067340.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Wu, Jin, Xiaorui Xue, and Jiansong Zhang. "Invariant Signature, Logic Reasoning, and Semantic Natural Language Processing (NLP)-Based Automated Building Code Compliance Checking (I-SNACC) Framework." Journal of Information Technology in Construction 28 (January 24, 2023): 1–18. http://dx.doi.org/10.36680/j.itcon.2023.001.

Full text

Abstract:

Traditional manual building code compliance checking is costly, time-consuming, and human error-prone. With the adoption of Building Information Modeling (BIM), automation in such a checking process becomes more feasible. However, existing methods still face limited automation when applied to different building codes. To address that, in this paper, the authors proposed a new framework that requires minimal input from users and strives for full automation, namely, the Invariant signature, logic reasoning, and Semantic Natural language processing (NLP)-based Automated building Code compliance Checking (I-SNACC) framework. The authors developed an automated building code compliance checking (ACC) prototype system under this framework and tested it on Chapter 10 of the International Building Codes 2015 (IBC 2015). The system was tested on two real projects and achieved 95.2% precision and 100% recall in non-compliance detection. The experiment showed that the framework is promising in building code compliance checking. Compared to the state-of-the-art methods, the new framework increases the degree of automation and saves manual efforts for finding non-compliance cases.

APA, Harvard, Vancouver, ISO, and other styles

9

İlal, M. Emre, and M. Emre İlal. "Integrating building and context information for automated zoning code checking: a review." Journal of Information Technology in Construction 27 (May 23, 2022): 548–70. http://dx.doi.org/10.36680/j.itcon.2022.027.

Full text

Abstract:

Interoperability approaches have attracted much attention in the AEC/FM industry with the increased interest in Building Information Modeling (BIM) studies since 2000’s. Especially, the integration of BIM with GIS is crucial for areas, which need detailed information on buildings and their surroundings. Automated code compliance checking against zoning codes is an area that requires both zoning data and building design data. In an ideal automated zoning code checking process, building codes should be retrieved from the responsible authority, data regarding the neighborhood the project is located in should be retrieved directly from the local municipality’s GIS, and the building project should be supplied by the designer as a BIM file. The checking process should be able to work with a combination of GIS and BIM data and generate a compliance report. Although recent BIM-GIS integration efforts have been successful in some areas, BIM-GIS integration studies in the context of automated zoning code compliance checking are limited, and the data interoperability problem in this field still needs to be addressed. This paper intends to (1) provide a critical review and analysis of the current BIM and GIS integration studies for building permit processes, (2) present the opportunities that the implementation of integrating BIM and GIS might bring to the automated zoning compliance checking domain and (3) identify promising integration approaches for future efforts.

APA, Harvard, Vancouver, ISO, and other styles

10

Fuchs, S., M. Witbrock, J. Dimyadi, and R. Amor. "Neural Semantic Parsing of Building Regulations for Compliance Checking." IOP Conference Series: Earth and Environmental Science 1101, no. 9 (November 1, 2022): 092022. http://dx.doi.org/10.1088/1755-1315/1101/9/092022.

Full text

Abstract:

Abstract Computerising building regulations to allow reasoning is one of the main challenges in automated compliance checking in the built environment. While there has been a long history of translating regulations manually, in recent years, natural language processing (NLP) has been used to support or automate this task. While rule- and ontology-based information extraction and transformation approaches have achieved accurate translations for narrow domains and specific regulation types, machine learning (ML) promises increased scalability and adaptability to new regulation styles. Since ML usually requires many annotated examples as training data, we take advantage of the long history of building code computerisation and use a corpus of manually translated regulations to train a transformer-based encoder-decoder model. Given a relatively small corpus, the model learns to predict the logical structure and extracts entities and relations reasonably well. While the translation quality is not adequate to fully automate the process, the model shows the potential to serve as an auto-completion system and to identify manually translated regulations that need to be reviewed.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Automated Compliance Checking"

1

Nguyen, Tang-Hung. "Building inspection with automated code compliance checking." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1996. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ44876.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Castellanos, Ardila Julieth Patricia. "Facilitating Automated Compliance Checking of Processes against Safety Standards." Licentiate thesis, Mälardalens högskola, Inbyggda system, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-42752.

Full text

Abstract:

A system is safety-critical if its malfunctioning could have catastrophic consequences for people, property or the environment, e.g., the failure in a car's braking system could be potentially tragic. To produce such type of systems, special procedures, and strategies, that permit their safer deployment into society, should be used. Therefore, manufacturers of safety-critical systems comply with domain-specific safety standards, which embody the public consensus of acceptably safe. Safety standards also contain a repository of expert knowledge and best practices that can, to some extent, facilitate the safety-critical system’s engineering. In some domains, the applicable safety standards establish the accepted procedures that regulate the development processes. For claiming compliance with such standards, companies should adapt their practices and provide convincing justifications regarding the processes used to produce their systems, from the initial steps of the production. In particular, the planning of the development process, in accordance with the prescribed process-related requirements specified in the standard, is an essential piece of evidence for compliance assessment. However, providing such evidence can be time-consuming and prone-to-error since it requires that process engineers check the fulfillment of hundreds of requirements based on their processes specifications. With access to suitable tool-supported methodologies, process engineers would be able to perform their job efficiently and accurately. Safety standards prescribe requirements in natural language by using notions that are subtly similar to the concepts used to describe laws. In particular, requirements in the standards introduce conditions that are obligatory for claiming compliance. Requirements also define tailoring rules, which are actions that permit to comply with the standard in an alternative way. Unfortunately, current approaches for software verification are not furnished with these notions, which could make their use in compliance checking difficult. However, existing tool-supported methodologies designed in the legal compliance context, which are also proved in the business domain, could be exploited for defining an adequate automated compliance checking approach that suits the conditions required in the safety-critical context. The goal of this Licentiate thesis is to propose a novel approach that combines: 1) process modeling capabilities for representing systems and software process specifications, 2) normative representation capabilities for interpreting the requirements of the safety standards in an adequate machine-readable form, and 3) compliance checking capabilities to provide the analysis required to conclude whether the model of a process corresponds to the model with the compliant states proposed by the standard's requirements. Our approach contributes to facilitating compliance checking by providing automatic reasoning from the requirements prescribed by the standards, and the description of the process they regulate. It also contributes to cross-fertilize two communities that were previously isolated, namely safety-critical and legal compliance contexts. Besides, we propose an approach for mastering the interplay between highly-related standards. This approach includes the reuse capabilities provided by SoPLE (Safety-oriented Process Line Engineering), which is a methodological approach aiming at systematizing the reuse of process-related information in the context of safety-critical systems. With the addition of SoPLE, we aim at planting the seeds for the future provision of systematic reuse of compliance proofs. Hitherto, our proposed methodology has been evaluated with academic examples that show the potential benefits of its use.
AMASS

APA, Harvard, Vancouver, ISO, and other styles

3

Viriyasitavat, Wattana. "A framework of trust in service workflows." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:a894bd9c-eaf2-4ebd-91c1-35012cd0a527.

Full text

Abstract:

The everything as a service concept enables dynamic resource provisions to be seen and delivered as services. Their proliferation nowadays leads to the creation of new value-added services composed of several sub-services in a pre-specified manner, known as service workflows. The use of service workflow appears in various domains, ranging from the basic interactions found in several e-commerce and several online interactions to the complex ones such as Virtual Organizations, Grids, and Cloud Computing. However, the dynamic nature in open environments makes a workflow constantly changing, to be adaptable to the change of new circumstances. How to determine suitable services has becomes a very important challenge. Requirements from both workflow owners and service providers play a significant role in the process of service acquisition, composition, and interoperations. From the workflow owner viewpoint, requirements can specify properties of services to be acquired for tasks in a workflow. On the other hand, requirements from service providers affect trust-based decision in workflow participation. The lack of formal languages to specify these requirements poses difficulties in the success of service collaborations in a workflow. It impedes: (1) workflow scalability that tends to be limited within a certain set of trusted domains; (2) dynamicity when each service acts in an autonomous and unpredictable manner where any change might affect existing requirements; and (3) inconsistency in dealing with the disparate representations of requirements, causing high overhead for compliance checking. This thesis focuses on developing a framework to overcome, or at least alleviate, these problems. It situates in inter-disciplinary areas including logics, workflow modelling, specification languages, trust management, decision support system, and compliance checking. Two core elements are proposed: (1) a formal logic-based requirement specification language, namely Trust Specification (TS), such that the requirements can be formally and uniformly expressed; and (2) compliance checking algorithms to automatically check for the compliance of requirements in service workflows. It is worth noting that this thesis contains some proofs of logic extension, workflow modelling, specification language, and compliance checking algorithms. These might raise a concern to people focusing deep on one particular area such as logics, or workflow modelling who might overlook the essence of the work, for example (1) the application of a formal specification language to the exclusive characteristics of service workflows, and (2) bridging the gap of the high level languages such as trust management down to the lower logic-based ones. The first contribution of the framework is to allow requirements to be independently and consistently expressed by each party where the workflow participation decision and acquisition are subject to the compliance of requirements. To increase scalability in large-scale interoperations, the second contribution centres on automatic compliance checking where TS language and compliance checking algorithms are two key components. The last contribution focuses on dynamicity. The framework allows each party to modify existing requirements and the compliance checking would be automatically activated to check for further compliance. As a result, it is anticipated that the solution will encourage the proliferation of service provisions and consumption over the Internet.

APA, Harvard, Vancouver, ISO, and other styles

4

Ursu, Marian Florin. "Semi-automatic compliance checking for computer aided design." Thesis, Brunel University, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.250170.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Nguyen, Tang Hung. "Building inspection with automated code compliance checking." Thesis, 1996. http://spectrum.library.concordia.ca/157/1/MQ44876.pdf.

Full text

Abstract:

Inspecting existing buildings for conformity with current regulations is often difficult to carry out for people lacking expertise in code compliance checking. The present research aims at developing an automated approach for the diagnostic of existing buildings during inspection. The proposed methodology is that of an intelligent system combining current computer technologies such as expert systems, databases, and hypertext techniques. The expert system represents and reasons with specialist knowledge to diagnose problems with code compliance checking whereas the database and hypertext techniques are the database and hypertext techniques are efficient for handling cross references among distinct building subsystems and disciplinary viewpoints in data management systems. The research methodology has been implemented in a software prototype known as Health and Safety Expert System (HASES). The prototype system relies on knowledge and reasoning to interpret the requirements of Part 3 of the National Building Code of Canada. HASES aims at facilitating the inspection of existing buildings by simplifying the data collection and compliance checking processes, generating reports, and providing access to texts and relevant case studies on the fly, as an inspector walks around a building.

APA, Harvard, Vancouver, ISO, and other styles

6

(11187477), Jin Wu. "Invariant Signatures for Supporting BIM Interoperability." Thesis, 2021.

Find full text

Abstract:

Building Information Modeling (BIM) serves as an important media in supporting automation in the architecture, engineering, and construction (AEC) domain. However, with its fast development by different software companies in different applications, data exchange became labor-intensive, costly, and error-prone, which is known as the problem of interoperability. Industry foundation classes (IFC) are widely accepted to be the future of BIM in solving the challenge of BIM interoperability. However, there are practical limitations of the IFC standards, e.g., IFC’s flexibility creates space for misuses of IFC entities. This incorrect semantic information of an object can cause severe problems to downstream uses. To address this problem, the author proposed to use the concept of invariant signatures, which are a new set of features that capture the essence of an AEC object. Based on invariant signatures, the author proposed a rule-based method and a machine learning method for BIM-based AEC object classification, which can be used to detect potential misuses automatically. Detailed categories for beams were tested to have error-free performance. The best performing algorithm developed by the methods achieved 99.6% precision and 99.6% recall in the general building object classification. To promote automation and further improve the interoperability of BIM tasks, the author adopted invariant signature-based object classification in quantity takeoff (QTO), structural analysis, and model validation for automated building code compliance checking (ACC). Automation in such BIM tasks was enabled with high accuracy.

APA, Harvard, Vancouver, ISO, and other styles

7

Tan, Xiangyang. "Automatic code compliance checking in designing building envelopes." Thesis, 2008. http://spectrum.library.concordia.ca/975634/1/MR40871.pdf.

Full text

Abstract:

Automating the checking of building envelope design according to design regulations is a complex process because design regulations consist of complicated logic statements covering multiple functions. Existing mechanisms of building code computer-aided checking have some limitations dealing with design regulations. This thesis presents a new approach to automate code compliance checking for building envelope design based on simulation results and the building codes. In this approach, building codes and building performance simulation results are independent from the compliance checking software. During the process, a hierarchical object-based representation of simulation results called EBIM (Extended Building Information Model) is proposed to describe the attributes of a building and its sub-systems. A new representation of building codes based on decision tables called EBC (Extended Building Codes) is also proposed so that users can check the building envelope design against building codes based on the standardized simulation results. A rules engine is applied for matching the data of the EBIM against the rules derived from the EBC. This new approach integrates building information modeling, simulation applications, building codes, and decision tables together for automated code compliance checking in designing building envelopes. A prototype implementation system is developed based on the proposed approach. The case study gives two examples: the first one is the procedure of evaluating the hygrothermal performance of an exterior wall of a house using this system, and the second one is an energy analysis comparison when an energy-efficient wall system is installed in a small building as a replacement

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Automated Compliance Checking"

1

Building Information Modeling: Automated Code Checking and Compliance Processes. Taylor & Francis Group, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Nawari, Nawari O. Building Information Modeling: Automated Code Checking and Compliance Processes. Taylor & Francis Group, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Nawari, Nawari O. Building Information Modeling: Automated Code Checking and Compliance Processes. Taylor & Francis Group, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Nawari, Nawari O. Building Information Modeling: Automated Code Checking and Compliance Processes. Taylor & Francis Group, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Nawari, Nawari O. Building Information Modeling: Automated Code Checking and Compliance Processes. Taylor & Francis Group, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Nawari, Nawari O. Building Information Modeling: Automated Code Checking and Compliance Processes. Taylor & Francis Group, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Automated Compliance Checking"

1

Al Bassit, Anas, Katsiaryna Krasnashchok, Sabri Skhiri, and Majd Mustapha. "Policy-Based Automated Compliance Checking." In Rules and Reasoning, 3–17. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-91167-6_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Libal, Tomer. "Towards Automated GDPR Compliance Checking." In Trustworthy AI - Integrating Learning, Optimization and Reasoning, 3–19. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-73959-1_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ranise, Silvio, and Hari Siswantoro. "Automated Legal Compliance Checking by Security Policy Analysis." In Lecture Notes in Computer Science, 361–72. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66284-8_30.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Beach, Thomas H., Tala Kasim, Haijiang Li, Nicholas Nisbet, and Yacine Rezgui. "Towards Automated Compliance Checking in the Construction Industry." In Lecture Notes in Computer Science, 366–80. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40285-2_32.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Li, B., C. Schultz, J. Dimyadi, and R. Amor. "Defeasible reasoning for automated building code compliance checking." In ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction, 229–36. London: CRC Press, 2021. http://dx.doi.org/10.1201/9781003191476-32.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Xu, Shengqu, Zhikun Ding, Xinping Wen, Zhan Wang, and Zhiyu Zhang. "Science Mapping of BIM-Based Automated Compliance Checking Studies: A Bibliometric Approach." In Lecture Notes in Operations Research, 96–108. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-5256-2_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Zhong, B. T., H. B. Luo, Y. Z. Hu, and J. Sun. "Ontology-Based Approach for Automated Quality Compliance Checking against Regulation in Metro Construction Project." In Proceedings of the 1st International Workshop on High-Speed and Intercity Railways, 385–96. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-27963-8_35.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Eid, Asmaa S., Mohsen M. Aboulnaga, and Ayman H. Mahmoud. "Future Cities for Climate Action: Automated Code Compliance Checking in Reference to Energy Efficiency Building Regulations." In Innovative Renewable Energy, 71–86. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-30841-4_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ternai, Katalin. "Semi-automatic Methodology for Compliance Checking on Business Processes." In Electronic Government and the Information Systems Perspective, 243–56. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22389-6_18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Huitzil, Ignacio, Marco Schorlemmer, Nardine Osman, Pere Garcia, Josep Coll, and Xavier Coll. "Towards Automated Compliance Checking of Building Regulations: smartNorms4BIM." In Frontiers in Artificial Intelligence and Applications. IOS Press, 2022. http://dx.doi.org/10.3233/faia220322.

Full text

Abstract:

This paper describes a preliminary approach towards automating the compliance checking of constructions with respect to building regulations. We describe a prototype that supports such automated checking by specifying regulations in terms of an ontology, and reasoning with the Building Information Models (BIM) of constructions. The first step in our approach is to translate regulations into a machine-readable format with the support of controlled natural language specifications of rules. Then, we propose a formal specification of the building regulations in OWL2, the de facto standard for ontology engineering on the web. We sub-sequently populate this ontology with data of real-world BIM specifications based on Industry Foundation Classes (IFC) in order to check their compliance with the formalized regulations. Finally, our prototype offers to the end-users a verification report in text and a graphical visualiser with the results of the compliance check. To explain how our prototype works and to demonstrate its applicability, we show some examples taken from a concrete use case.

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Automated Compliance Checking"

1

Salama, D. M., and N. M. El-Gohary. "Semantic Modeling for Automated Compliance Checking." In International Workshop on Computing in Civil Engineering 2011. Reston, VA: American Society of Civil Engineers, 2011. http://dx.doi.org/10.1061/41182(416)79.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bjorkner, Erik Arthur. "Structural Interface for Automated Compliance Checking." In SNAME Maritime Convention. SNAME, 2021. http://dx.doi.org/10.5957/smc-2021-069.

Full text

Abstract:

This paper describes the benefits of cost reduction and improved schedule attainment by adding digitized regulatory structural rules and contract specification requirements to the 3D design model through Knowledge Provisioning.

APA, Harvard, Vancouver, ISO, and other styles

3

Tan, Xiangyang, Amin Hammad, and Paul Fazio. "Automated Code Compliance Checking of Building Envelope Performance." In International Workshop on Computing in Civil Engineering 2007. Reston, VA: American Society of Civil Engineers, 2007. http://dx.doi.org/10.1061/40937(261)32.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Wu, Jin, Jiansong Zhang, and Luciana Debs. "Model Validation for Automated Building Code Compliance Checking." In Construction Research Congress 2022. Reston, VA: American Society of Civil Engineers, 2022. http://dx.doi.org/10.1061/9780784483961.067.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Zhang, J., and N. M. El-Gohary. "Information Transformation and Automated Reasoning for Automated Compliance Checking in Construction." In ASCE International Workshop on Computing in Civil Engineering. Reston, VA: American Society of Civil Engineers, 2013. http://dx.doi.org/10.1061/9780784413029.088.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Cabanillas, Cristina, Manuel Resinas, Jan Mendling, and Antonio Ruiz-Cortés. "Automated team selection and compliance checking in business processes." In ICSSP '15: International Conference on Software and Systems Process 2015. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2785592.2785613.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Amantea, Ilaria Angela, Livio Robaldo, Emilio Sulis, Guido Boella, and Guido Governatori. "Semi-automated checking for regulatory compliance in e-Health." In 2021 IEEE 25th International Enterprise Distributed Object Computing Workshop (EDOCW). IEEE, 2021. http://dx.doi.org/10.1109/edocw52865.2021.00063.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Jovanovic, Luka, Leo Ming, Ben Doherty, Nicole Gardner, M. Hank Haeusler, and K. Daniel Yu. "Automated Code Compliance Checking - A computational workflow for verifying model, parameter and regulatory compliance." In eCAADe 2022: Co-creating the Future - Inclusion in and through Design. eCAADe, 2022. http://dx.doi.org/10.52842/conf.ecaade.2022.2.319.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ismail, Aimi Sara, Kherun Nita Ali, and Noorminshah A. Iahad. "A Review on BIM-based automated code compliance checking system." In 2017 5th International Conference on Research and Innovation in Information Systems (ICRIIS). IEEE, 2017. http://dx.doi.org/10.1109/icriis.2017.8002486.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Schreiber, Clemens. "Automated Sustainability Compliance Checking Using Process Mining and Formal Logic." In ICT4S2020: 7th International Conference on ICT for Sustainability. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3401335.3401355.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Automated Compliance Checking"

1

Cai, Hubo, JungHo Jeon, Xin Xu, Yuxi Zhang, and Liu Yang. Automating the Generation of Construction Checklists. Purdue University, 2020. http://dx.doi.org/10.5703/1288284317273.

Full text

Abstract:

Construction inspection is a critical component of INDOT’s quality assurance (QA) program. Upon receiving an inspection notice/assignment, INDOT inspectors review the plans and specifications to identify the construction quality requirements and conduct their inspections accordingly. This manual approach to gathering inspection requirements from textual documents is time-consuming, subjective, and error-prone. This project addresses this critical issue by developing an inspection requirements database along with a set of tools to automatically gather the inspection requirements and provide field crews with customized construction checklists during the inspection with the specifics of what to check, when to check, and how to check, as well as the risks and the actions to take when noncompliance is encountered. This newly developed toolset eliminates the manual effort required to acquire construction requirements, which will enhance the efficiency of the construction inspection process at INDOT. It also enables the incorporation of field-collected data to automate future compliance checking and facilitate construction documentation.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!