{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T03:18:10Z","timestamp":1773112690144,"version":"3.50.1"},"reference-count":53,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2018,4,30]],"date-time":"2018-04-30T00:00:00Z","timestamp":1525046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Joint Open Lab S-Cube"},{"name":"Telecom Italia S.p.A., Strategy and Innovation\/Open Innovation Research"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2018,4,30]]},"abstract":"<jats:p>Modern Building Management Systems (BMSs) have been designed to automate the behavior of complex buildings, but unfortunately they do not allow occupants to customize it according to their preferences, and only the facility manager is in charge of setting the building policies. To overcome this limitation, we present BuildingRules, a trigger-action programming-based system that aims to provide occupants of commercial buildings with the possibility of specifying the characteristics of their office environment through an intuitive interface. Trigger-action programming is intuitive to use and has been shown to be effective in meeting user requirements in home environments. To extend this intuitive interface to commercial buildings, an essential step is to manage the system scalability as large number of users will express their policies. BuildingRules has been designed to scale well for large commercial buildings as it automatically detects conflicts that occur among user specified policies and it supports intelligent grouping of rules to simplify the policies across large numbers of rooms. We ensure the conflict resolution is fast for a fluid user experience by using the Z3 SMT solver. BuildingRules backend is based on RESTful web services so it can connect to various BMSs and scale well with large number of buildings. We have tested our system with 23 users across 17 days in a virtual office building, and the results we have collected prove the effectiveness and the scalability of BuildingRules.<\/jats:p>","DOI":"10.1145\/3185500","type":"journal-article","created":{"date-parts":[[2018,5,23]],"date-time":"2018-05-23T15:08:42Z","timestamp":1527088122000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["BuildingRules"],"prefix":"10.1145","volume":"2","author":[{"given":"Alessandro A.","family":"Nacci","sequence":"first","affiliation":[{"name":"Politecnico di Milano"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Rana","sequence":"additional","affiliation":[{"name":"Politecnico di Milano"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bharathan","family":"Balaji","sequence":"additional","affiliation":[{"name":"University of California San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Spoletini","sequence":"additional","affiliation":[{"name":"Kennesaw State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh","family":"Gupta","sequence":"additional","affiliation":[{"name":"University of California San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Donatella","family":"Sciuto","sequence":"additional","affiliation":[{"name":"Politecnico di Milano"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuvraj","family":"Agarwal","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,23]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the 2011 10th International Conference on Information Processing in Sensor Networks (IPSN\u201911)","author":"Agarwal Yuvraj","year":"2011","unstructured":"Yuvraj Agarwal , Bharathan Balaji , Seemanta Dutta , Rajesh K. Gupta , and Thomas Weng . 2011 . Duty-cycling buildings aggressively: The next frontier in HVAC control . In Proceedings of the 2011 10th International Conference on Information Processing in Sensor Networks (IPSN\u201911) . IEEE, 246--257. Yuvraj Agarwal, Bharathan Balaji, Seemanta Dutta, Rajesh K. Gupta, and Thomas Weng. 2011. Duty-cycling buildings aggressively: The next frontier in HVAC control. In Proceedings of the 2011 10th International Conference on Information Processing in Sensor Networks (IPSN\u201911). IEEE, 246--257."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2422531.2422545"},{"key":"e_1_2_1_3_1","unstructured":"OpenADR Alliance\u00ae. OpenADR 2.0 Profile Specification - A Profile. Document Number: 20110712-1. http:\/\/savannah.gnu.org\/task\/download.php?file_id&equals;27590.  OpenADR Alliance\u00ae. OpenADR 2.0 Profile Specification - A Profile. Document Number: 20110712-1. http:\/\/savannah.gnu.org\/task\/download.php?file_id&equals;27590."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPAE.2005.1507024"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2422531.2422547"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528282.2528304"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517351.2517370"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1207\/S15327051HCI16234_05"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528282.2528301"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0926-5805(97)00029-0"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1237173"},{"key":"e_1_2_1_12_1","volume-title":"Naqvi","author":"Chomicki Jan","year":"2000","unstructured":"Jan Chomicki , Jorge Lobo , and Shamim A . Naqvi . 2000 . A logic programming approach to conflict resolution in policy management. In KR, Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman (Eds.). Morgan Kaufmann , 121--132. Jan Chomicki, Jorge Lobo, and Shamim A. Naqvi. 2000. A logic programming approach to conflict resolution in policy management. In KR, Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman (Eds.). Morgan Kaufmann, 121--132."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/646962.712108"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201913)","author":"Dawson-Haggerty Stephen","year":"2013","unstructured":"Stephen Dawson-Haggerty , Andrew Krioukov , Jay Taneja , Sagar Karandikar , Gabe Fierro , Nikita Kitaev , and David Culler . 2013 . BOSS: Building operating system services . In Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201913) . Stephen Dawson-Haggerty, Andrew Krioukov, Jay Taneja, Sagar Karandikar, Gabe Fierro, Nikita Kitaev, and David Culler. 2013. BOSS: Building operating system services. In Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI\u201913)."},{"key":"e_1_2_1_15_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Moura Leonardo De","unstructured":"Leonardo De Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An efficient SMT solver . In Tools and Algorithms for the Construction and Analysis of Systems . Springer , 337--340. Leonardo De Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems. Springer, 337--340."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2702613.2732795"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517351.2517363"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1207\/S15327051HCI16234_02"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11748625_16"},{"key":"e_1_2_1_20_1","unstructured":"Bruno Dutertre and Leonardo De Moura. 2006. The Yices SMT solver. http:\/\/yices.csl.sri.com\/papers\/tool-paper.pdf.  Bruno Dutertre and Leonardo De Moura. 2006. The Yices SMT solver. http:\/\/yices.csl.sri.com\/papers\/tool-paper.pdf."},{"key":"e_1_2_1_21_1","volume-title":"December","author":"Ehrlich Paul","year":"2006","unstructured":"Paul Ehrlich and Toby Considine . 2006. Open building information exchange (oBIX) version 1.0. OASIS Committee specification , December 2006 . Paul Ehrlich and Toby Considine. 2006. Open building information exchange (oBIX) version 1.0. OASIS Committee specification, December 2006."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2422531.2422534"},{"key":"e_1_2_1_24_1","unstructured":"Flask Web Development One Drop at a Time. nda. Flask Web Microframework. Retrieved from http:\/\/flask.pocoo.org\/.  Flask Web Development One Drop at a Time. nda. Flask Web Microframework. Retrieved from http:\/\/flask.pocoo.org\/."},{"key":"e_1_2_1_25_1","volume-title":"JESS in Action","author":"Friedman-Hill Ernest","unstructured":"Ernest Friedman-Hill . 2003. JESS in Action . Manning , Greenwich, CT . Ernest Friedman-Hill. 2003. JESS in Action. Manning, Greenwich, CT."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1207\/S15327051HCI16234_09"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1108\/14725960810847459"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2750858.2805830"},{"key":"e_1_2_1_29_1","unstructured":"IFTTT. nd. Home Page. Retrieved from https:\/\/ifttt.com\/.  IFTTT. nd. Home Page. Retrieved from https:\/\/ifttt.com\/."},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of the International Conference on Information Processing in Sensor Networks (IPSN\u201909)","author":"Jiang Xiaofan","year":"2009","unstructured":"Xiaofan Jiang , Stephen Dawson-Haggerty , Prabal Dutta , and David Culler . 2009 . Design and implementation of a high-fidelity ac metering network . In Proceedings of the International Conference on Information Processing in Sensor Networks (IPSN\u201909) . IEEE, 253--264. Xiaofan Jiang, Stephen Dawson-Haggerty, Prabal Dutta, and David Culler. 2009. Design and implementation of a high-fidelity ac metering network. In Proceedings of the International Conference on Information Processing in Sensor Networks (IPSN\u201909). IEEE, 253--264."},{"key":"e_1_2_1_31_1","unstructured":"Johnson Controls. Building Managament. http:\/\/www.johnsoncontrols.com\/buildings\/building-management.  Johnson Controls. Building Managament. http:\/\/www.johnsoncontrols.com\/buildings\/building-management."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185677.2185726"},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the IEEE 35th Annual Power Electronics Specialists Conference (PESC\u201904)","volume":"6","author":"Robert","unstructured":"Robert H. Lasseter and Paolo Paigi. 2004. Microgrid: A conceptual solution . In Proceedings of the IEEE 35th Annual Power Electronics Specialists Conference (PESC\u201904) , Vol. 6 . IEEE, 4285--4290. Robert H. Lasseter and Paolo Paigi. 2004. Microgrid: A conceptual solution. In Proceedings of the IEEE 35th Annual Power Electronics Specialists Conference (PESC\u201904), Vol. 6. IEEE, 4285--4290."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2422531.2422560"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2632048.2636076"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12053-011-9116-8"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2800835.2800916"},{"key":"e_1_2_1_38_1","unstructured":"Niagara AX. nd. Home Page. Retrieved from http:\/\/www.niagaraax.com.  Niagara AX. nd. Home Page. Retrieved from http:\/\/www.niagaraax.com."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2005.21"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-015-0229-z"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2434020.2434041"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2010.2045906"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-003-0251-x"},{"key":"e_1_2_1_44_1","first-page":"699","article-title":"Conflict detection and resolution in home and building automation systems: A literature review","volume":"5","author":"Resendes S\u0131lvia","year":"2013","unstructured":"S\u0131lvia Resendes , Paulo Carreira , and Andr\u00e9 C. Santos . 2013 . Conflict detection and resolution in home and building automation systems: A literature review . J\/Amb\/Intell\/Hum\/Comput\/ 5 , 5, 699 -- 715 . S\u0131lvia Resendes, Paulo Carreira, and Andr\u00e9 C. Santos. 2013. Conflict detection and resolution in home and building automation systems: A literature review. J\/Amb\/Intell\/Hum\/Comput\/ 5, 5, 699--715.","journal-title":"J\/Amb\/Intell\/Hum\/Comput\/"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2007.04.006"},{"key":"e_1_2_1_46_1","unstructured":"Siemens Building Technologies. nd. Home Page. Retrieved from http:\/\/www.buildingtechnologies.siemens.com.  Siemens Building Technologies. nd. Home Page. Retrieved from http:\/\/www.buildingtechnologies.siemens.com."},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/765891.766102"},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the Conference on Ubiquitous Computing (UbiComp\u201904)","author":"Truong Khai N.","unstructured":"Khai N. Truong , Elaine M. Huang , and Gregory D. Abowd . 2004. CAMP: A magnetic poetry interface for end-user programming of capture applications for the home . In Proceedings of the Conference on Ubiquitous Computing (UbiComp\u201904) . 143--160. Khai N. Truong, Elaine M. Huang, and Gregory D. Abowd. 2004. CAMP: A magnetic poetry interface for end-user programming of capture applications for the home. In Proceedings of the Conference on Ubiquitous Computing (UbiComp\u201904). 143--160."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556288.2557420"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2434020.2434024"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528282.2528285"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2750858.2806063"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081759"},{"key":"e_1_2_1_54_1","volume-title":"Proceedings of the International Conference on Smart Home and Health Telematics (ICOST\u201904)","author":"Zhang Tao","year":"2004","unstructured":"Tao Zhang and Bernd Br\u00fcgge . 2004 . Empowering the user to build smart home applications . In Proceedings of the International Conference on Smart Home and Health Telematics (ICOST\u201904) . 170--176. Tao Zhang and Bernd Br\u00fcgge. 2004. Empowering the user to build smart home applications. In Proceedings of the International Conference on Smart Home and Health Telematics (ICOST\u201904). 170--176."}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3185500","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3185500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:36Z","timestamp":1750213596000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3185500"}},"subtitle":["A Trigger-Action--Based System to Manage Complex Commercial Buildings"],"short-title":[],"issued":{"date-parts":[[2018,4,30]]},"references-count":53,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,4,30]]}},"alternative-id":["10.1145\/3185500"],"URL":"https:\/\/doi.org\/10.1145\/3185500","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,4,30]]},"assertion":[{"value":"2016-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}