| dc.creator | Castor, F | |
| dc.creator | Brito, PHDS | |
| dc.creator | Rubira, CMF | |
| dc.date | 2006 | |
| dc.date | OCT | |
| dc.date | 2014-11-16T20:42:05Z | |
| dc.date | 2015-11-26T16:25:12Z | |
| dc.date | 2014-11-16T20:42:05Z | |
| dc.date | 2015-11-26T16:25:12Z | |
| dc.date.accessioned | 2018-03-28T23:06:00Z | |
| dc.date.available | 2018-03-28T23:06:00Z | |
| dc.identifier | Journal Of Systems And Software. Elsevier Science Inc, v. 79, n. 10, n. 1397, n. 1418, 2006. | |
| dc.identifier | 0164-1212 | |
| dc.identifier | WOS:000241173200005 | |
| dc.identifier | 10.1016/j.jss.2006.02.060 | |
| dc.identifier | http://www.repositorio.unicamp.br/jspui/handle/REPOSIP/72070 | |
| dc.identifier | http://www.repositorio.unicamp.br/handle/REPOSIP/72070 | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/72070 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1268578 | |
| dc.description | In recent years, various approaches combining software architectures and exception handling have been proposed for increasing the dependability of software systems. This conforms with the idea supported by some authors that addressing exception handling-related issues since early phases of software development may improve the overall dependability of a system. By systematically designing the mechanism responsible for rendering a system reliable, developers increase the probability of the system being able to avoid catastrophic failures at runtime. This paper addresses the problem of describing how exceptions flow amongst architectural elements. In critical systems where rollback-based mechanisms might not be available, such as systems that interact with mechanical devices, exception handling is an important means for recovering from errors in a forward-based manner. We present a framework, named Aereal, that supports the description and analysis of exceptions that flow between architectural components. 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. We use a financial application and a control system as case studies to validate the proposed approach. (C) 2006 Published by Elsevier Inc. | |
| dc.description | 79 | |
| dc.description | 10 | |
| dc.description | 1397 | |
| dc.description | 1418 | |
| dc.language | en | |
| dc.publisher | Elsevier Science Inc | |
| dc.publisher | New York | |
| dc.publisher | EUA | |
| dc.relation | Journal Of Systems And Software | |
| dc.relation | J. Syst. Softw. | |
| dc.rights | fechado | |
| dc.rights | http://www.elsevier.com/about/open-access/open-access-policies/article-posting-policy | |
| dc.source | Web of Science | |
| dc.subject | exception handling | |
| dc.subject | software architecture | |
| dc.subject | architecture description languages | |
| dc.subject | verification | |
| dc.subject | alloy | |
| dc.subject | Static Analysis | |
| dc.subject | Systems | |
| dc.subject | Support | |
| dc.subject | Time | |
| dc.title | Specification of exception flow in software architectures | |
| dc.type | Artículos de revistas | |
