Página 1 dos resultados de 97 itens digitais encontrados em 0.001 segundos

Cartografia e patrimônio arquitetônico: a elaboração do atlas eletrônico do Sítio Histórico Urbano da Lapa (PR); Cartography and architectural heritage: the elaboration of an electronic atlas of the urban historic site of Lapa (PR)

Burda, Naomi Anaue
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 07/02/2014 PT
Relevância na Pesquisa
36.38%
Com o objetivo de propor uma metodologia de atlas eletrônico para o patrimônio arquitetônico da Lapa (PR), baseada em uma reflexão teórico-metodológica sobre como a Geografia, especificamente a Geografia Humana, associada à Cartografia e às Geotecnologias, pode promover a compreensão do turismo e gestão do patrimônio cultural, elaborou-se a presente pesquisa, apresentada como tese de doutoramento em Geografia Humana, ao Programa de Pós Graduação em Geografia, da Universidade de São Paulo. A partir de estudos e levantamentos realizados, percebeu-se que existem poucas discussões acerca de teorias sobre turismo e patrimônio cultural na perspectiva geográfica, além de raras abordagens a respeito de atlas produzidos para a seara patrimonial. A percepção da presença de um patrimônio arquitetônico na cidade da Lapa, de origens setecentistas, que se configura como o maior sítio histórico urbano tombado do Paraná e que carece de uma projeção turística regional e nacional, foi determinante para o estabelecimento do corpus da pesquisa. Aliada a essa necessidade, acrescente-se, ainda, a constatação da quase inexistência de materiais geográficos e cartográficos referentes ao sítio histórico. Compreende-se que o entendimento do patrimônio cultural local passa necessariamente pelo conhecimento da teoria geográfica e que o protótipo de um atlas eletrônico torna-se imprescindível para a representação dos estilos arquitetônicos e para a sua ampla divulgação. A elaboração de um protótipo de atlas eletrônico para o sítio histórico urbano da Lapa é uma opção para entender a construção e a dinâmica desse espaço geográfico e histórico. O uso das Geotecnologias para tratamento dos dados comprovou sua aplicabilidade para a elaboração dos atlas atuais...

Porto Alegre, arquitetura e estilo - 1880 a 1930 -

Schäffer, Barbara
Fonte: Universidade Federal do Rio Grande do Sul Publicador: Universidade Federal do Rio Grande do Sul
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
26.42%
O presente trabalho tem por objetivo o mapeamento analítico de exemplares da arquitetura de Porto Alegre no período 1880-1930, caracterizado pelo predomínio do ecletismo. Devido à multiplicidade de linguagens arquitetônicas, este período contrasta fortemente com a relativa homogeneidade da arquitetura anterior, na cidade, representada pela arquitetura colonial portuguesa, até 1822, e pelo neoclassicismo, durante o período imperial. O trabalho tem por marco temporal um período no qual a cidade deixa de exibir tal homogeneidade, iniciando em 1880 e seguindo até as últimas manifestações da arquitetura eclética. Ao longo do período, são identificados estilos arquitetônicos predominantes nas edificações eruditas e de maior porte. Cada estilo é abordado num capítulo deste trabalho. A elaboração textual de cada capítulo segue uma mesma organização: é redigida uma contextualização da manifestação do estilo no âmbito internacional, nacional e regional; são identificadas as ocorrências deste estilo nas edificações de Porto Alegre, nas quais haja predominância das características descritas; e, por fim, é feita a análise de algumas obras. As análises feitas e apresentadas neste trabalho dão ênfase à observação da edificação quanto a sua volumetria e ornamentação...

A self-healing architecture for Web service-based applications

Pegoraro, Rene; Filho, Humberto Ferasoli; Sacoman, Marco Antônio Rahal; Rosario, Joao Mauricio
Fonte: Universidade Estadual Paulista Publicador: Universidade Estadual Paulista
Tipo: Conferência ou Objeto de Conferência Formato: 221-226
ENG
Relevância na Pesquisa
36.22%
Web service-based application is an architectural style, where a collection of Web services communicates to each other to execute processes. With the popularity increase of developing Web service-based application and once Web services may change, in terms of functional and non-functional Quality of Service (QoS), we need mechanisms to monitor, diagnose, and repair Web services into a Web Application. This work presents a description of self-healing architecture that deals with these mechanisms. Other contributions of this paper are using the proxy server to measure Web service QoS values and to employ some strategies to recovery the effects from misbehaved Web services. © 2008 IEEE.

Um framework orientado a objetos para controladores de trens tolerantes a falhas

Luciane Lamour Ferreira
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 29/09/1999 PT
Relevância na Pesquisa
26.69%
Este trabalho baseia-se nos conceitos de orientação a objetos, frameworks, estilos de arquitetura, padrões de projeto e metapadrões, para o projeto e implementação de um framework orientado a objetos para controladores de trens tolerantes a falhas e distribuídos. O principal objetivo é a obtenção de reutilização de software em larga escala, com reutilização tanto de código quanto de todo o projeto de software. No desenvolvimento do framework, nós utilizamos estilos de arquitetura para o projeto da sua parte fixa, e padrões de projeto e metapadrões para a documentação da sua parte adaptável. Nosso objetivo é avaliar as vantagens e desvantagens obtidas na aplicação destas técnicas na construção de frameworks. Este trabalho apresenta também propostas de novos padrões de projeto e estilos de arquitetura, que foram utilizados para resolver problemas do domínio do framework. A principal contribuição dos padrões e estilos é a utilização de reflexão computacional na implementação de tolerância a falhas, com o objetivo de obter estruturas de projeto mais flexíveis, o que é uma característica essencial para obtenção de frameworks realmente reutilizáveis; This work is based on the concepts of object-orientation...

Relations between rapid speech transmission index (RASTI) and other acoustical and architectural measures in churches

A Carvalho
Fonte: Universidade do Porto Publicador: Universidade do Porto
Tipo: Artigo de Revista Científica
POR
Relevância na Pesquisa
36.38%
The use of RASTI in churches is studied and the relationships with acoustical and architectural parameters identified using a major survey of Catholic churches in Portugal. It was found that the vast majority of churches tested have RASTI values below 0.45 giving a poor rating in the quality of speech intelligibility. RASTI values within churches, can be reasonably predicted by the use of Center Time TS at 1000 Hz. Loudness (L) does not appear as an important characteristic regarding RASTI values supporting the idea that the intelligibility of speech, under reverberant conditions does not depend on Loudness. A prediction equation using three architectural parameters was calculated to estimate the average RASTI in churches. The effect of the architectural styles and the use of pulpits on RASTI values was also studied.

Influence of architectural features and styles on various acoustical measures in churches

António Pedro Oliveira de Carvalho
Fonte: Universidade do Porto Publicador: Universidade do Porto
Tipo: Tese de Doutorado
POR
Relevância na Pesquisa
36.78%
This work reports on acoustical field measurements made in a major survey of 41 Catholic churches in Portugal that were built in the last 14 centuries. A series of monaural and binaural acoustical measurements was taken at multiple source/receiver positions in each church using the impulse response with noise burst method. The acoustical measures were Reverberation Time (RT), Early Decay Time (EDT), Clarity (C80), Definition (D), Center Time (TS), Loudness (L), Bass Ratios based on the Reverberation Time and Loudness (BR_RT and BR_L), Rapid Speech Transmission Index (RASTI), and the binaural Coherence (COH). The scope of this research is to investigate how the acoustical performance of Catholic churches relates to their architectural features and to determine simple formulas to predict acoustical measures by the use of elementary architectural parameters.Prediction equations were defined among the acoustical measures to estimate values at individual locations within each room as well as the mean values in each church. Best fits with R2 » 0.9 were not uncommon among many of the measures. Within and inter church differences in the data for the acoustical measures were also analyzed. The variations of RT and EDT were identified as much smaller than the variations of the other measures. The churches tested were grouped in eight architectural styles...

Valorização patrimonial da cerca do Convento de Nossa Senhora dos Remédios em Évora

Guerreiro, Celeste Maria Almeida do Carmo Tomé
Fonte: Universidade de Évora Publicador: Universidade de Évora
Tipo: Dissertação de Mestrado
POR
Relevância na Pesquisa
26.52%
Esta dissertação tem como tema a “Valorização Patrimonial da Cerca do Convento de Nossa Senhora dos Remédios em Évora”. Compõe-se de quatro capítulos, nos quais se procura demonstrar a importância deste tipo de património. Para compreender o espaço cemiterial, iniciou-se o trabalho com o estudo do conjunto conventual de que faz parte, desde a fundação do Convento até à sua extinção. Procedeu-se depois ao estudo do Cemitério, da inauguração até aos nossos dias, o objectivo seguido para a sua implantação e o seu traçado. Analisou-se o estado de conservação actual, com vista a chamar a atenção para o interesse e necessidade na sua manutenção e preservação. A importância patrimonial que encerra nos seus jazigos, a sua riqueza arquitectónica, conjugada com outros factores considerados importantes (as elites, a estatuária, as oficinas construtoras dos jazigos) foram aspectos que se procurou destacar como pontos de interesse relevantes, bem como a importância da sua preservação e valorização. Procedeu-se ainda a uma breve abordagem às temáticas relativas à estatuária, inscrições e epitáfios, estilos arquitectónicos de jazigos, elites e grupos sociais. A dissertação termina com a apresentação de uma proposta de valorização do Cemitério...

Alterações morfológicas introduzidas na arquitectura popular entre 1960 e 2000 no concelho de Vila Nova de Cerveira

Carvalho, Sérgio Miguel Lemos Costa de
Fonte: Repositório Comum de Portugal Publicador: Repositório Comum de Portugal
Tipo: Dissertação de Mestrado
Publicado em 16/03/2012 POR
Relevância na Pesquisa
26.52%
No Portugal rural, as principais causas, das mudanças verificadas nas últimas décadas, têm origens distintas. Diversos autores argumentam ser a emigração a causa principal das transformações demográficas e socioeconómicas ocorridas na maior parte das áreas rurais, a partir de década de 60. Uma grande variedade de linguagens arquitectónicas trazidas pelos emigrantes passou, inevitavelmente, a integrar a paisagem. Ainda que não seja a primeira vez, na História de Portugal, que estes fenómenos de transformação dos padrões arquitectónicos se manifestem, torna-se fundamental o estudo dos seus impactos. No meio rural é difícil distinguir, numa primeira observação, quais são as habitações de emigrantes e quais as habitações de não emigrantes que receberam a sua influência, devido às semelhanças existentes entre elas. Em resposta aos objectivos, propõe-se a identificação da mutabilidade da arquitectura popular a partir das linguagens introduzidas pelos migrantes e consequentemente, a definição das alterações morfológicas ocorridas nas casas rurais (1960-2000), no concelho de Vila Nova de Cerveira. Metodologicamente, trata-se de uma investigação de estudo comparativo de 150 inquéritos...

Preservando o estilo arquitetural no projeto baseado em busca de produto software

Mariani, Thainá
Fonte: Universidade Federal do Paraná Publicador: Universidade Federal do Paraná
Tipo: Dissertação Formato: 134 f. : il. (algumas color.) ; 31 cm.; application/pdf
PORTUGUêS
Relevância na Pesquisa
26.82%
Orientadora : Profª. Drª. Silvia Regina Vergilio; Co-orientadora : Profª. Drª. Thelma Elita Colanzi Lopes; Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 20/02/2015; Inclui bibliografia; Resumo: A adoção de estilos arquiteturais contribui para melhorar uma Arquitetura de Linha de Produto de Software (ALP) ao prover uma organização específica para os elementos, melhorando sua flexibilidade, extensibilidade e manutenção. Abordagens de otimização baseadas em busca podem também beneficiar o projeto de ALP, gerando alternativas de ALP associadas com o melhor trade-off entre diferentes medidas, como coesão, acoplamento e modularização de características. Entretanto, a utilização de operadores de busca modifica a organização da ALP, e consequentemente pode violar as regras dos estilos arquiteturais, impactando negativamente na compreensão da arquitetura. De modo a resolver esse problema, este trabalho introduz um conjunto de operadores de busca denominado SO4ARS (Search Operators for preserving Architectural Styles), que consideram as regras dos principais estilos arquiteturais geralmente utilizados no projeto baseado em busca de arquiteturas em geral e de ALPs: estilo em camadas...

Arquitetura dos edifícios da escola pública no brasil (1870- 1930): construindo os espaços para a educação

Arruda, Ângelo Marcos Vieira de
Fonte: Universidade Federal de Mato Grosso do Sul Publicador: Universidade Federal de Mato Grosso do Sul
Tipo: Tese de Doutorado
POR
Relevância na Pesquisa
26.48%
A pesquisa concentra-se em analisar a arquitetura e a educação, a partir das relações históricas entre a normatização na produção do edifício escolar público no Brasil e como ele passou a existir como produto de um processo histórico, especificamente a partir do surgimento das Escolas do Imperador, no ano de 1870 até os anos de 1930. A discussão que se impõe na pesquisa é de como o edifício escolar passou a existir como produto de uma norma educacional; como o edifício se transformou em objeto necessário e importante a contar do final do século XIX, se anteriormente sua presença era simplificada. Outra discussão da pesquisa é verificar como as relações que o edifício escolar produzido fora do Brasil, em especial na Europa e nos Estados Unidos, durante o século XIX, ajudaram no processo de instalação dele aqui na América. A pesquisa estuda o comportamento da forma arquitetônica e dos espaços construídos com a história da educação e as normas legais; os estilos arquitetônicos mais usados, os padrões construtivos; as tipologias encontradas; os diversos modelos de implantação do edifício na cidade; o edifício escolar e a sua movimentação no espaço geográfico brasileiro para entender como se dava a circulação de idéias e analisar os elementos de arquitetura existentes nos edifícios selecionados. O esquema de análise se dá no campo da arquitetura com o programa de necessidades...

Développement logiciel par transformation de modèles

El boussaidi, Ghizlane
Fonte: Université de Montréal Publicador: Université de Montréal
Tipo: Thèse ou Mémoire numérique / Electronic Thesis or Dissertation
FR
Relevância na Pesquisa
26.99%
La recherche en génie logiciel a depuis longtemps tenté de mieux comprendre le processus de développement logiciel, minimalement, pour en reproduire les bonnes pratiques, et idéalement, pour pouvoir le mécaniser. On peut identifier deux approches majeures pour caractériser le processus. La première approche, dite transformationnelle, perçoit le processus comme une séquence de transformations préservant certaines propriétés des données à l’entrée. Cette idée a été récemment reprise par l’architecture dirigée par les modèles de l’OMG. La deuxième approche consiste à répertorier et à codifier des solutions éprouvées à des problèmes récurrents. Les recherches sur les styles architecturaux, les patrons de conception, ou les cadres d’applications s’inscrivent dans cette approche. Notre travail de recherche reconnaît la complémentarité des deux approches, notamment pour l’étape de conception: dans le cadre du développement dirigé par les modèles, nous percevons l’étape de conception comme l’application de patrons de solutions aux modèles reçus en entrée. Il est coutume de définir l’étape de conception en termes de conception architecturale, et conception détaillée. La conception architecturale se préoccupe d’organiser un logiciel en composants répondant à un ensemble d’exigences non-fonctionnelles...

Customisable model transformations based on non-functional requirements

Sterritt, Ashley; Cahill, Vinny
Fonte: IEEE Computer Society Publicador: IEEE Computer Society
Tipo: Article; all_ul_research; ul_published_reviewed; none
ENG
Relevância na Pesquisa
26.59%
peer-reviewed; The Model-to-Model (M2M) transformation stage in a Model-Driven Engineering (MDE) tool chain is used to bridge the large semantic gap between problem-domain abstractions and software artefacts. This transformation is typically specified in a closed, monolithic way. Since no two systems have identical requirements, some work has been done to create explicit support for customisation of the transformation process based on functional requirements. The same is not true for non-functional requirements. The contribution of this paper is a customizable M2M transformation process that takes as an input the users priorities, in terms of non-functional properties, to select between design trade-offs in the transformation. These tradeoffs are expressed as contrasting architectural styles, which describe common patterns of interactions and constraints with well understood non-functional implications. The target of the M2M transformation is an Architecture Description Language (ADL) that can be used to express styles. Model checking tools can be used to ensure that styles are adhered to during the entire MDE process. This early work focuses on describing contrasting architectural styles that address distribution issues, such as fault tolerance.

An ontology-based approach for modelling architectural styles

Pahl, Claus; Giesecke, Simon; Hasselbring, Wilhelm
Fonte: Springer Publicador: Springer
Tipo: info:eu-repo/semantics/conferenceObject; all_ul_research; ul_published_reviewed
ENG
Relevância na Pesquisa
56.84%
peer-reviewed; The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the different aspects of architecture modelling, such as architectural styles, structural and behavioural modelling, into a coherent framework.We propose an ontological approach for architectural style modelling based on description logic as an abstract, meta-level modelling instrument. Architectural styles are often neglected in software architectures. We introduce a framework for style definition and style combination. The link between quality requirements and conceptual modelling of architectural styles is investigated. The application of the ontological framework in the form of an integration into existing architectural description notations such as ACME and UML-based approaches, and also service ontologies is illustrated.

Ontology-based modelling of architectural styles

Pahl, Claus; Giesecke, Simon; Hasselbring, Wilhelm
Fonte: Elsevier Publicador: Elsevier
Tipo: info:eu-repo/semantics/article; all_ul_research; ul_published_reviewed
ENG
Relevância na Pesquisa
56.76%
peer-reviewed; The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the different aspects of architecture modelling, such as architectural styles, structural and behavioural modelling, into a coherent framework. Architectural styles are often neglected in software architectures. We propose an ontological approach for architectural style modelling based on description logic as an abstract, meta-level modelling instrument. We introduce a framework for style definition and style combination. The application of the ontological framework in the form of an integration into existing architectural description notations is illustrated.

A história e a memória de um modo de habitar. Goiânia, a residência da família Félix Louza (projeto de David Libeskind) em dois tempos: 1952 e 2011-2013; History and memory of a course of dwell. Goiânia, the residence of family Felix Louza (project of David Libeskind) in two phases: 1952 and 2011-2013

Andrade, Isabela Menegazzo Santos de
Fonte: Universidade Federal de Goiás; Brasil; UFG; Programa de Pós-graduação em Historia (FH); Faculdade de História - FH (RG) Publicador: Universidade Federal de Goiás; Brasil; UFG; Programa de Pós-graduação em Historia (FH); Faculdade de História - FH (RG)
Tipo: Dissertação Formato: application/pdf
POR
Relevância na Pesquisa
26.52%
Tell the story of a place involves conceptual operations that relate to urban practices within what we might call a history of dwelling relating to this urban daily life and existential dimension of an inhabited place . Talk about a place to live and this place are distinct experiences . The watchful eye , which conceptualizes architectures , define styles and epochs , it is the same who inhabits the space. The study of home and ways of living appears within a discussion that involves architecture and urbanism , design , sociology , anthropology and other various aspects of research that relate to the experience of space and place distinctly . Under this process, the contributions referred to this type of research serve as support for discussion of home and existential place . The house appears as phenomenological field of study to think about not only the ways to build and register the architectural styles at a particular time , but also the ways of living and relating to space . Thus faces , considering the aspects of the history of the house , this research aims to understand how a place has been changed and modified over time and , in particular , how a particular home can bring important information about the memory and history of a way of living . Studies the primary home starting from a common home ...

Manuel da Costa Negreiros no estudo sistemático do barroco joanino na região de Lisboa

Berger, Francisco José Gentil
Fonte: Faculdade de Arquitectura de Lisboa Publicador: Faculdade de Arquitectura de Lisboa
Tipo: Tese de Doutorado
Publicado em /05/1991 POR
Relevância na Pesquisa
36.22%
Doutoramento em Arquitectura; Trabalho sobre a ARQUITECTURA BARROCA do SECULO XVIII, PRIMEIRA METADE, em Portugal, na REGIÃO DE LISBOA, em que são analisadas a INFLUÊNCIA ITALIANA no nosso barroco final e a INFLUÊNCIA DA TRATADÍSTICA, a obra dos arquitectos italianos que se deslocaram a Portugal nesse período e dos arquitectos que trabalharam em Itália para D. JOÃO V. MONOGRAFIA de MANUEL DA COSTA NEGREIROS (1702 - 1750), arquitecto que além de ter exercido como mestre pedreiro em MAFRA e no AQUEDUTO DAS AGUAS LIVRES foi o inspector das obras do palácio das NECESSIDADES e Arquitecto da CASA DO INFANTADO e do Priorato do Crato. São historiadas e focadas sobre o ponto de vista formal, as seguintes obras: Religiosas -Igreja de SANTO ESTEVÃO de Alfama, convento e capela real das NECESSIDADES, capela do paço da BEMPOSTA, ermida do Senhor Jesus da BOA NOVA, ermida da CARREIRA dos Cavalos, e torre sineira do convento da GRAÇA. Obras Civis: Palácio das NECESSIDADES, palácio BARBACENA, palácio do CORREIO-MOR em Loures. Na parte final são relacionados os diferentes autores desse período e é feita uma análise das formas próprias e dos SINAIS e SINTEMAS identificadores de cada um deles. Anexos, DADOS biográficos e curriculares sobre ARTISTAS do período (1700 - 1750). Relação de obras de Lisboa erigidas ou intervencionadas nesse mesmo período.; The portuguese BAROQUE ARCINTECTURE...

Facades of modernity : image, performance, and transformation in the Egyptian metropolis

Elshahed, Mohamed (Mohamed Kamal)
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 72 p.
ENG
Relevância na Pesquisa
26.48%
Shifting political, social and cultural landscapes in contemporary Cairo with the triumph of Neolibralism are defining the city's modem heritage. In order to create a narrative of transformation of architectural production and its entanglement in different social, cultural and political contexts within the city's history, I will focus on the epicenter of the modem city, wust-el-balad, Downtown. It has recently been appropriated through a dual process of asserting the city's modem heritage. The first part of this process utilizes popular media such as period-based soap operas, photography exhibitions, literature and film. The second part of the process is through preservation of Cairo's modem buildings and the drafting of legislation to protect them. Architectural style, ornamentation of frontages (facades), is central to this process of shaping 'modem' Cairo. The criteria for inclusion into this heritage as practiced by the various committees and authorities explicitly place facades and aesthetics at the top of their selection process. Thus the process of heritization is inscribing a certain image of modernity in Cairo by selective inclusion of certain architectural styles. This thesis traces the constantly shifting image of modernity throughout downtown's history from its origin in the nineteenth century to its present state in the twenty-first century.; (cont.) In response to the hyper-functional architecture of the 1970s and 1980s accommodating population growth of the capital...

Ou huise en boustyle; Old houses and architectural styles [translated from the Afrikaans]

Unknown
Fonte: Universidade de Pretória Publicador: Universidade de Pretória
Tipo: Event; Text Formato: 770366 bytes; image/jpeg
AFRIKAANS
Relevância na Pesquisa
46.33%
AFRIKAANS SUMMARY: In die laaste Nuwejaarsnommer is die medewerking van die vernaamste Afrikaanse skrywers en digters verkry. Die argitek Gerhard Moerdijk lewer 'n interessante bydrae oor geskiedkundige huise en boustyle. C. J. Langenhoven verskaf spotprente saam met gedigte.; ENGLISH SUMMARY: Important Afrikaans writers and poets contributed to the latest New Year's edition. The architect Gerhard Moerdijk discusses historic houses and building styles. C. J. Langenhoven provided caricatures accompanied by poems.

Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations

Poyias, Kyriakos; Tuosto, Emilio
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 16/12/2012
Relevância na Pesquisa
36.38%
Architectural Design Rewriting (ADR, for short) is a rule-based formal framework for modelling the evolution of architectures of distributed systems. Rules allow ADR graphs to be refined. After equipping ADR with a simple logic, we equip rules with pre- and post-conditions; the former constraints the applicability of the rules while the later specifies properties of the resulting graphs. We give an algorithm to compute the weakest pre-condition out of a rule and its post-condition. On top of this algorithm, we design a simple methodology that allows us to select which rules can be applied at the architectural level to reconfigure a system so to regain its architectural style when it becomes compromised by unexpected run-time reconfigurations.; Comment: In Proceedings ICE 2012, arXiv:1212.3458

The Influence of Architectural Styles on Security, Using the Example of a Certification Authority

Tänzer, Michael
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 12/08/2014
Relevância na Pesquisa
46.52%
Often, security is considered in an advanced stage of the implementation of a system, rather than integrating it into the system design. This leads to less secure systems, as the security mechanisms are only applied as an afterthought and therefore do not integrate well with the rest of the design. Also, several statistics about discovered vulnerabilities in existing systems suggest, that most of the vulnerabilities of a system are not caused by errors in the cryptographic primitives, but in other parts of the implementation. So integrating security concerns early in the design process seems a promising approach for increasing the security of the resulting system. This work evaluates how the choice of the architectural style affects the security of the resulting system. The evaluation is done on the example of an existing certification authority (CA). The requirements for the system are gathered and multiple designs according to different architectural styles are drafted and evaluated using a risk evaluation method. Then the evaluated designs are compared to find out whether there are significant differences.; Comment: Study Thesis