1 resultado para Architectural conception
em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP)
Filtro por publicador
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (7)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (2)
- Archive of European Integration (5)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (1)
- Aston University Research Archive (9)
- Biblioteca Digital da Câmara dos Deputados (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (7)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (1)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (2)
- Biodiversity Heritage Library, United States (2)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (25)
- Boston University Digital Common (1)
- Brock University, Canada (2)
- Bulgarian Digital Mathematics Library at IMI-BAS (4)
- Cambridge University Engineering Department Publications Database (20)
- CentAUR: Central Archive University of Reading - UK (33)
- Central European University - Research Support Scheme (1)
- Chapman University Digital Commons - CA - USA (10)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (2)
- Coffee Science - Universidade Federal de Lavras (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (3)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (2)
- Deakin Research Online - Australia (97)
- Department of Computer Science E-Repository - King's College London, Strand, London (7)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- Digital Commons @ DU | University of Denver Research (1)
- Digital Commons at Florida International University (6)
- Digital Peer Publishing (3)
- DigitalCommons@The Texas Medical Center (2)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (2)
- DRUM (Digital Repository at the University of Maryland) (3)
- Duke University (1)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (5)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (13)
- Greenwich Academic Literature Archive - UK (1)
- Helda - Digital Repository of University of Helsinki (4)
- Helvia: Repositorio Institucional de la Universidad de Córdoba (1)
- Indian Institute of Science - Bangalore - Índia (3)
- Institutional Repository of Leibniz University Hannover (2)
- Massachusetts Institute of Technology (1)
- National Center for Biotechnology Information - NCBI (6)
- Open University Netherlands (1)
- Publishing Network for Geoscientific & Environmental Data (3)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (76)
- Queensland University of Technology - ePrints Archive (154)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (3)
- Repositório Científico da Universidade de Évora - Portugal (2)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (2)
- Repositório Digital da Universidade Municipal de São Caetano do Sul - USCS (1)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (7)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (25)
- Research Open Access Repository of the University of East London. (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (1)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (34)
- Universidad de Alicante (6)
- Universidad Politécnica de Madrid (31)
- Universidade de Lisboa - Repositório Aberto (2)
- Universidade Federal do Rio Grande do Norte (UFRN) (21)
- Universidade Técnica de Lisboa (3)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Lausanne, Switzerland (1)
- Université de Montréal (17)
- Université de Montréal, Canada (90)
- Université Laval Mémoires et thèses électroniques (8)
- University of Michigan (109)
- University of Queensland eSpace - Australia (34)
- University of Washington (3)
- USA Library of Congress (1)
- WestminsterResearch - UK (3)
Resumo:
Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.