{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T14:55:45Z","timestamp":1784645745534,"version":"3.55.0"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"abstract":"<jats:p>We present a formal model for modelling Event-Condition-Action Rules by partitioning a state space and evolution function taking into account the features that are typical of Intelligent Environments. This model allows for a precise definition of formal requirements and for their efficient verification.<\/jats:p>","DOI":"10.3233\/978-1-61499-690-3-56","type":"book-chapter","created":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T13:02:07Z","timestamp":1739970127000},"source":"Crossref","is-referenced-by-count":2,"title":["A Formal Model for Event-Condition-Action Rules in Intelligent Environments"],"prefix":"10.3233","author":[{"family":"Vannucchi Claudia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Cacciagrano Diletta Romana","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Corradini Flavio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Culmone Rosario","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Mostarda Leonardo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Raimondi Franco","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Tesei Luca","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"7437","container-title":["Ambient Intelligence and Smart Environments","Intelligent Environments 2016"],"original-title":[],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T13:05:26Z","timestamp":1739970326000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISBN&isbn=978-1-61499-689-7&spage=56&doi=10.3233\/978-1-61499-690-3-56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-61499-690-3-56","relation":{"is-cited-by":[{"id-type":"doi","id":"10.1007\/s40860-017-0036-z","asserted-by":"object"}]},"ISSN":["1875-4163"],"issn-type":[{"value":"1875-4163","type":"print"}],"subject":[],"published":{"date-parts":[[2016]]}}}