Specification of exception flow in software architectures

Filho, Fernando Castor; Brito, Patrick H. S.; Rubira, Cecília Mary Fischer

doi:10.1016/j.jss.2006.02.060

Cited by 17 publications

(12 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although most of them target specific aspects of a software system [3,21,22], few ADLs focus on the specification of error flow in architecture descriptions. Filho et al [15] propose a conceptual framework, named Aereal, to describe and analyze exceptions that flow between architectural components in a given architectural style. In contrast, our approach goes beyond verification in that a programming framework is generated from an architecture description.…”

Section: Related Workmentioning

confidence: 99%

A domain-specific approach to architecturing error handling in pervasive computing

Mercadal

Enard

Consel

et al. 2010

Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications

View full text Add to dashboard Cite

The challenging nature of error handling constantly escalates as a growing number of environments consists of networked devices and software components. In these environments, errors cover a uniquely large spectrum of situations related to each layer ranging from hardware to distributed platforms, to software components. Handling errors becomes a daunting task for programmers, whose outcome is unpredictable. Scaling up error handling requires to raise the level of abstraction beyond the code level and the try-catch construct, approaching error handling at the software architecture level.We propose a novel approach that relies on an Architecture Description Language (ADL), which is extended with error-handling declarations. To further raise the level of abstraction, our approach revolves around a domain-specific architectural pattern commonly used in pervasive computing. Error handling is decomposed into components dedicated to platform-wide, error-recovery strategies. At the application level, descriptions of functional components include declarations dedicated to error handling.We have implemented a compiler for an ADL extended with error-handling declarations. It produces customized programming frameworks that drive and support the programming of error handling. Our approach has been validated with a variety of applications for building automation.

show abstract

Section: Related Workmentioning

confidence: 99%

A domain-specific approach to architecturing error handling in pervasive computing

Mercadal

Enard

Consel

et al. 2010

Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications

View full text Add to dashboard Cite

show abstract

“…Tendo em vista a influência de estilos arquiteturais na propagação de exceções entre componentes, abordagens para a descrição e análise de uma arquitetura da perspectiva do seu comportamento excepcional devem incluir a noção de estilo arquitetural. Essa idéia é materializada pelo arcabouço Aereal (Architectural Exceptions Reasoning and Analysis) [28], um conjunto de atividades, ferramentas e modelos para a descrição e análise do comportamento excepcional de um sistema de software a partir de sua arquitetura.…”

Section: Especificação Do Fluxo De Exceções Em Arquiteturas De Softwareunclassified

“…O arcabouço proposto visa apoiar a integração confiável de componentes, exigindo que arquitetos sejam explícitos com relação às suposições que fazem no tocante ao comportamento excepcional dos componentes integrados. É fato bem conhecido que suposições incompletas ou incorretas são a principal causa de falhas introduzidas em um sistema durante a etapa de integração dos seus componentes [75] O artigo que este capítulo contém foi publicado no Journal of Systems and Soft-ware [28]. Uma versão preliminar [25] foi apresentada no ICSE'2005 Workshop on Architecting Dependable Systems, em maio de 2005.…”

Section: Capítulo 3 Especificação De Fluxo De Exceções Em Arquitetura...unclassified

“…This work addresses specifically the issue of verifying properties of interest related to exception flow in software architectures. Our solution is supported by the Aereal [28] framework. This framework aims to assist in documenting, analyzing, and validating exception flow in software architectures.…”

Section: Proposed Approachmentioning

confidence: 99%

“…The result of these activities is an architecture description of the system that includes information about the exceptions that can be signaled by each architectural element and what elements are responsible for handling them. We refer to this specialized architecture description as the Architectural Exception Flow View [28]. Architectural views represent various aspects of the same architecture and each view shows how the architecture achieves a particular quality attribute [11].…”

Section: Proposed Approachmentioning

confidence: 99%

See 2 more Smart Citations

Tratamento de exceções no desenvolvimento de sistemas tolerantes a falhas baseadas em componentes

Filho¹

View full text Add to dashboard Cite

Exception handling mechanisms were conceived as a means to help managing the complexity of fault-tolerant software. They promote an explicit textual separation between normal code and the code that deals with abnormal situations, in order to support the construction of programs that are more concise, evolvable, and reliable. Several mainstream programming languages and most of the existing component models implement exception handling mechanisms.In spite of its many benefits, exception handling can be a source of many design faults if used in an ad hoc fashion. Recent studies show that developers of large-scale software systems based on component infrastructures have habits concerning the use of exception handling that make applications vulnerable to faults and hard to maintain. Software components introduce new challenges which are not addressed by traditional exception handling mechanisms and increase the chances of problems occurring. Examples include unavailability of source code and architectural mismatches.In this work, we propose two complementary techniques centered on exception handling for the construction of fault-tolerant component-based systems. Both of them emphasize system structure as a means to reduce the impact of fault tolerance mechanisms on the overall complexity of a software system and the number of design faults that stem from complexity. The first one is an approach for the architectural design of a system's error handling capabilities. It addresses the problem of verifying whether a software architecture satisfies certain properties of interest pertaining the flow of exceptions between architectural components, e.g., if all the exceptions signaled at the architectural level are eventually handled. The proposed approach is based on a set of existing tools that automate this process as much as possible. The second one consists in applying aspectoriented programming (AOP) to better modularize exception handling code. We have conducted a through study aimed at improving our understanding of the effects of AOP on exception handling code and identifying the situations where its use is advantageous and the ones where it is not. viii AgradecimentosNormalmente, uma tese é o resultado do sangue, do suor, das lágrimas e dos neurônios de uma quantidade de gente muito maior do que caberia na maior das listas de agradecimentos. Esta não é exceção à regra e eu gostaria de expressar meus mui sinceros agradecimentos a todas as pessoas que contribuíram de alguma forma, mínima que seja, para a sua realização. Em especial, eu gostaria de agradecer... Em primeiro lugar à minha família, sem a qual eu não existiria e graças a quem eu cheguei até aqui: meus pais, Fernando e Maria, minha irmã, Donandréa, minha "mãe preta", Tia Zefinha, meu cunhado, Filipe, meu Avô, Nelson, e o dogo Bara. Amo vocês.À minha orientadora Cecília, pelos muitos ensinamentos, pelas várias discussões e idéias interessantes, sempre regadas a muito café, pelas diversas oportunidades que me proporcionou de evoluir como pesquisador e indiví...

show abstract