{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:45Z","timestamp":1750308105350,"version":"3.41.0"},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2005,5,17]],"date-time":"2005-05-17T00:00:00Z","timestamp":1116288000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2005,7]]},"abstract":"<jats:p>We present Aereal, a framework for analyzing exception flow in architecture descriptions. Aereal works as a customizable architectural-level exception handling system that can be further constrained or have some of its rules relaxed. Since different architectural styles have different policies for exception flow, Aereal makes it possible to specify rules on how exceptions flow in a given style and to check for violations of these rules. As enabling technologies. Aereal uses Alloy, a first-order relational language, ACME, an interchange language for architecture description, and their associated tool sets.<\/jats:p>","DOI":"10.1145\/1082983.1083221","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T19:28:32Z","timestamp":1131391712000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A framework for analyzing exception flow in software architectures"],"prefix":"10.1145","volume":"30","author":[{"given":"Fernando Castor","family":"Filho","sequence":"first","affiliation":[{"name":"State University of Campinas, Campinas, SP, Brazil"}]},{"given":"Patrick H. S.","family":"Brito","sequence":"additional","affiliation":[{"name":"State University of Campinas, Campinas, SP, Brazil"}]},{"given":"Cec\u00edlia Mary F.","family":"Rubira","sequence":"additional","affiliation":[{"name":"State University of Campinas, Campinas, SP, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2005,5,17]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/236705"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"e_1_2_1_3_1","volume-title":"Software Architecture in Practice","author":"Bass L.","year":"2003","edition":"2"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/773239"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/6223.6276"},{"volume-title":"Proceedings of the LADC'2003","year":"2003","author":"Castor F.","key":"e_1_2_1_6_1"},{"volume-title":"Dependability of Resilient Computers","year":"1989","author":"Cristian F.","key":"e_1_2_1_8_1"},{"volume-title":"Foundations of Component-Based Systems","year":"2000","author":"Garlan D.","key":"e_1_2_1_9_1"},{"volume-title":"Proceedings of WADS'2002","year":"2002","author":"Guerra P.","key":"e_1_2_1_10_1"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/820738.820799"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"volume-title":"Alloy home page","year":"2004","author":"Jackson D.","key":"e_1_2_1_14_1"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.385971"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/267895.267903"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940118"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/647285.723098"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302406"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/941566.941569"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/850965.854656"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v35:3"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999479"},{"volume-title":"Software Architecture: Perspectives on an Emerging Discipline","year":"1996","author":"Shaw M.","key":"e_1_2_1_26_1"},{"volume-title":"Proceedings of the 10th SEKE","year":"1998","author":"Spitznagel B.","key":"e_1_2_1_27_1"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225042"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083221","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1082983.1083221","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:06Z","timestamp":1750262886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083221"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,17]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["10.1145\/1082983.1083221"],"URL":"https:\/\/doi.org\/10.1145\/1082983.1083221","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1083217.1083221","asserted-by":"subject"}]},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2005,5,17]]},"assertion":[{"value":"2005-05-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}