{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T19:43:36Z","timestamp":1771530216913,"version":"3.50.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031382406","type":"print"},{"value":"9783031382413","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,8,24]],"date-time":"2023-08-24T00:00:00Z","timestamp":1692835200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,8,24]],"date-time":"2023-08-24T00:00:00Z","timestamp":1692835200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-38241-3_19","type":"book-chapter","created":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T12:03:07Z","timestamp":1692792187000},"page":"160-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Improving Regulations for Automated Design Checking Through Decision Analysis Good Practices: A Conceptual Application to the Construction Sector"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3630-6426","authenticated-orcid":false,"given":"Ricardo J. G.","family":"Mateus","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2016-3603","authenticated-orcid":false,"given":"Francisco Silva","family":"Pinto","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9078-8393","authenticated-orcid":false,"given":"Judith","family":"Fauth","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1374-9427","authenticated-orcid":false,"given":"Miguel","family":"Azenha","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0858-4990","authenticated-orcid":false,"given":"Jos\u00e9","family":"Granja","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Veludo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3183-9779","authenticated-orcid":false,"given":"Bruno","family":"Muniz","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8504-0065","authenticated-orcid":false,"given":"Jo\u00e3o","family":"Reis","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8429-0249","authenticated-orcid":false,"given":"Pedro","family":"Marques","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,8,24]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Malsane, S., Matthews, J., Lockley, S., Love, P.E.D., Greenwood, D.: Development of an object model for automated compliance checking. Autom. Constr. 49(A), 51\u201358 (2015)","DOI":"10.1016\/j.autcon.2014.10.004"},{"issue":"4","key":"19_CR2","doi-asserted-by":"publisher","first-page":"86","DOI":"10.3390\/buildings9040086","volume":"9","author":"NO Nawari","year":"2019","unstructured":"Nawari, N.O.: A generalized adaptive framework (GAF) for automating code compliance checking. Buildings 9(4), 86 (2019)","journal-title":"Buildings"},{"key":"19_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/j.autcon.2020.103285","volume":"118","author":"TH Beach","year":"2020","unstructured":"Beach, T.H., Hippolyte, J.-L., Rezgui, Y.: Towards the adoption of automated regulatory compliance checking in the built environment. Autom. Constr. 118, 103285 (2020)","journal-title":"Autom. Constr."},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.autcon.2017.06.018","volume":"82","author":"SB \u0130lal","year":"2017","unstructured":"\u0130lal, S.B., G\u00fcnayd\u0131n, H.M.: Computer representation of building codes for automated compliance checking. Autom. Constr. 82, 43\u201358 (2017)","journal-title":"Autom. Constr."},{"key":"19_CR5","unstructured":"Portugal: General Regulation of Urban Buildings, Decree-Law 38382, Portuguese Official Gazette, 7 August (1951)"},{"key":"19_CR6","unstructured":"Lisbon: Lisbon\u2019s Municipal Regulation of Urban Buildings, Public Notice 16520\/2021, Portuguese Official Gazette H169, 280\u2013402, 31 August (2021)"},{"key":"19_CR7","unstructured":"Kunkel, S., Kontonasiou, E., Arcipowska, A., Mariottini, F., Atanasiu, B.: Indoor air quality, thermal comfort and daylight: analysis of residential building regulations in eight EU member states. Buildings Performance Institute Europe (2015)"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"5219","DOI":"10.1016\/j.eswa.2015.02.029","volume":"42","author":"TH Beach","year":"2015","unstructured":"Beach, T.H., Rezgui, Y., Li, H., Kasim, T.: A rule-based semantic approach for automated regulatory compliance in the construction sector. Expert Syst. Appl. 42, 5219\u20135231 (2015)","journal-title":"Expert Syst. Appl."},{"key":"19_CR9","unstructured":"Xanthaki, H.: Drafting Legislation: Art and Technology of Rules for Regulation. Hart Publishing (2014)"},{"issue":"1","key":"19_CR10","first-page":"179","volume":"37","author":"M Waddington","year":"2020","unstructured":"Waddington, M.: Research note: rules as code. Law Context 37(1), 179\u2013186 (2020)","journal-title":"Law Context"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Eastman, C., Lee, J.M., Jeong, Y.-S., Lee, J.-K.: Automatic rule-based checking of building designs. Autom. Constr. 18, 1011\u20131033 (2009)","DOI":"10.1016\/j.autcon.2009.07.002"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Salama, D.M., El-Gohary, N.M.: Semantic modeling for automated compliance checking. In: ASCE International Workshop on Computing in Civil Engineering, Miami, USA (2011)","DOI":"10.1061\/41182(416)79"},{"key":"19_CR13","unstructured":"Solibri Model Checker. https:\/\/www.solibri.com. Accessed 30 Jan 2023"},{"key":"19_CR14","unstructured":"Hjelseth, E., Nisbet, N.: Exploring semantic based model checking. In: Proceedings of the 27th CIB W78 International Conference, p. 54 (2010)"},{"key":"19_CR15","unstructured":"Giblin, C., Liu, A.Y., M\u00fcller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (REALM). In: Proceedings of the 18th JURIX Conference, IOS Press (2005)"},{"key":"19_CR16","unstructured":"Pauwels, P., Zhang, S.: Semantic rule-checking for regulation compliance checking: an overview of strategies and approaches. In: 32nd CIB W78 Conference, Eindhoven (2015)"},{"key":"19_CR17","unstructured":"Pedro, J.B., Meijer, F.M., Visscher, H.J.: Comparison of building permit procedures in European Union countries. In: Proceedings of RICS Construction and Property Conference, COBRA 2011. RICS & University of Salford (2011)"},{"key":"19_CR18","unstructured":"Pedro, J.B., Meijer, F.M., Visscher, H.J.: Technical building regulations in EU countries: a comparison of their organization and formulation. In: Proceedings of CIB World Congress 2010, Building a Better World, Salford, UK (2010)"},{"key":"19_CR19","unstructured":"Alpa, G.: General principles of law. Ann. Surv. Int. Comp. Law 1(1), Article no. 2 (1994)"},{"key":"19_CR20","unstructured":"Spradlin, D.: Are you solving the right problem? Harv. Bus. Rev., 84\u201393 (2012)"},{"key":"19_CR21","volume-title":"Value-Focused Thinking: A Path to Creative Decision Making","author":"RL Keeney","year":"1992","unstructured":"Keeney, R.L.: Value-Focused Thinking: A Path to Creative Decision Making. Harvard University Press, Cambridge (1992)"},{"key":"19_CR22","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1017\/CBO9780511611308.008","volume-title":"Advances in Decision Analysis: From Foundations to Applications","author":"RL Keeney","year":"2007","unstructured":"Keeney, R.L.: Developing objectives and attributes. In: Edwards, R.F., Miles, R.F., Winterfeldt, D. (eds.) Advances in Decision Analysis: From Foundations to Applications, pp. 104\u2013128. Cambridge University Press, Cambridge (2007)"},{"key":"19_CR23","doi-asserted-by":"publisher","first-page":"1245","DOI":"10.1016\/j.egypro.2015.11.266","volume":"78","author":"S Darula","year":"2015","unstructured":"Darula, S., Christoffersen, J., Malikova, M.: Sunlight and insolation of building interiors. Energy Procedia 78, 1245\u20131250 (2015)","journal-title":"Energy Procedia"},{"key":"19_CR24","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/j.buildenv.2019.01.013","volume":"150","author":"I Bournas","year":"2019","unstructured":"Bournas, I., Dubois, M.-C.: Daylight regulation compliance of existing multi-family apartment blocks in Sweden. Build. Environ. 150, 254\u2013265 (2019)","journal-title":"Build. Environ."},{"key":"19_CR25","volume-title":"Site Layout Planning for Daylight and Sunlight: A Guide to Good Practice","author":"PJ Littlefair","year":"1995","unstructured":"Littlefair, P.J.: Site Layout Planning for Daylight and Sunlight: A Guide to Good Practice. Construction Research Communications, London (1995)"},{"key":"19_CR26","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.buildenv.2019.04.051","volume":"158","author":"E Brembilla","year":"2019","unstructured":"Brembilla, E., Mardaljevic, J.: Climate-based daylight modelling for compliance verification: benchmarking multiple state-of-the-art methods. Build. Environ. 158, 151\u2013164 (2019)","journal-title":"Build. Environ."},{"key":"19_CR27","unstructured":"BSI: Code of practice for daylighting. BS 8206-2:2008. British Standards Institution, London (2008)"},{"key":"19_CR28","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.enbuild.2019.03.045","volume":"193","author":"M Lu","year":"2019","unstructured":"Lu, M., Du, J.: Dynamic evaluation of daylight availability in a highly-dense Chinese residential area with a cold climate. Energy Build. 193, 139\u2013159 (2019)","journal-title":"Energy Build."},{"key":"19_CR29","doi-asserted-by":"publisher","DOI":"10.1016\/j.buildenv.2022.108854","volume":"213","author":"F Noardo","year":"2022","unstructured":"Noardo, F., et al.: Unveiling the actual progress of digital building permit: getting awareness through a critical state of the art review. Build. Environ. 213, 108854 (2022)","journal-title":"Build. Environ."},{"issue":"2","key":"19_CR30","doi-asserted-by":"publisher","first-page":"195","DOI":"10.3390\/buildings4020195","volume":"4","author":"A Chow","year":"2014","unstructured":"Chow, A., Fung, A.S., Li, S.: GIS modeling of solar neighborhood potential at a fine spatiotemporal resolution. Buildings 4(2), 195\u2013206 (2014)","journal-title":"Buildings"},{"key":"19_CR31","unstructured":"Pentland, S., Mahari, R.: Legal Dynamism from the Network Law Review. https:\/\/www.networklawreview.org\/computational-one. Accessed 14 Oct 2022"}],"container-title":["Lecture Notes in Mechanical Engineering","Flexible Automation and Intelligent Manufacturing: Establishing Bridges for More Sustainable Manufacturing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-38241-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T12:09:41Z","timestamp":1692792581000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-38241-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,24]]},"ISBN":["9783031382406","9783031382413"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-38241-3_19","relation":{},"ISSN":["2195-4356","2195-4364"],"issn-type":[{"value":"2195-4356","type":"print"},{"value":"2195-4364","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,24]]},"assertion":[{"value":"24 August 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FAIM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Flexible Automation and Intelligent Manufacturing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"faim2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.faimconference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}