Uma ferramenta formal para especificação e análise de arquiteturas de software

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorBraga, Christiano de Oliveira-
Autor(es): dc.contributorCPF:31080751222-
Autor(es): dc.contributorhttp://lattes.cnpq.br/0535266455387139-
Autor(es): dc.contributorSztajnberg, Alexandre-
Autor(es): dc.contributorCPF:31120908522-
Autor(es): dc.contributorhttp://lattes.cnpq.br/0403732822984772-
Autor(es): dc.contributorHaeusler, Edward Hermann-
Autor(es): dc.contributorCPF:31205398922-
Autor(es): dc.contributorhttp://lattes.cnpq.br/6075905438020841-
Autor(es): dc.contributorLoques Filho, Orlando Gomes-
Autor(es): dc.contributorCPF:31345290822-
Autor(es): dc.contributorhttp://lattes.cnpq.br/9433123288261141-
Autor(es): dc.contributorBorba, Paulo Henrique Monteiro-
Autor(es): dc.contributorCPF:31376064522-
Autor(es): dc.contributorhttp://lattes.cnpq.br/9395715443254344-
Autor(es): dc.creatorRademaker, Alexandre-
Data de aceite: dc.date.accessioned2024-07-11T18:11:01Z-
Data de disponibilização: dc.date.available2024-07-11T18:11:01Z-
Data de envio: dc.date.issued2021-03-10-
Data de envio: dc.date.issued2008-03-03-
Data de envio: dc.date.issued2021-03-10-
Data de envio: dc.date.issued2005-05-30-
Fonte completa do material: dc.identifierhttps://app.uff.br/riuff/handle/1/17811-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/765281-
Descrição: dc.descriptionComplex computational systems can be organized as components, that execute in a concurrent and possibly in a distributed way. The modeling of such systems has to consider coordination requirements comprising inter-component interaction styles, and intra-component concurrency and synchronization aspects. In the CR RIO framework, which makes use of meta-level and architecture configuration techniques, the coordination aspects can be treated at the software architecture level using the CBabel architecture description language (ADL). CBabel is an ADL that, besides the usual architectural primitives such as components and ports, provides contracts as first class constructions. In that way, coordination aspects can be described with CBabel contracts. Coordination aspects are encapsulated in connectors that mediate all interactions among functional modules. With this approach, one separates coordination aspects concerns from functional aspects, which do not need to be included in the design or implementation of functional modules. The use of a ADL for the specification of a system allows the system to be described in an appropriate level of abstraction allowing the analysis and verifications of architecture level properties in the initial phases of the project. But for the accomplishment of analysis of an architecture it is necessary that both the ADL and the properties to be verified have a formal semantics that gives precise and not-ambiguous meaning for them. Rewriting logic is a logic and semantic framework to which several models of computation, logics and specification languages have been mapped to, due to its unified view of computation and logic. In this dissertation, we present a formal semantics of CBabel in rewriting logic. We also present the implementation of this semantics, the tool Maude CBabel tool, a prototype executable environment for CBabel. Maude CBabel tool is implemented on top of the Maude system, a fast realization of rewriting logic with support to reflection and with a good variety of analysis tools. With Maude CBabel tool during the modeling of complex systems, we can formally analyze CBabel architectural descriptions, identifying possible problems and suggesting solutions still in the initial phase of its life cycle.-
Descrição: dc.descriptionSistemas computacionais complexos podem ser estruturados em componentes que executam de forma concorrente e, possivelmente, distribuída. A modelagem de tais sistemas deve então, invariavelmente, especificar os aspectos de coordenação que compreendem os estilos de interação entre os componentes ( inter-component ) e os aspectos de concorrência e sincronização dentro dos componentes ( intra-component ). No framework CR RIO, que integra técnicas de metaprogramaçãoo e arquitetura de software por con- figuração, os aspectos dea coordenação podem ser tratados na arquitetura do software , usando, para isso, a linguagem de descriçãoo de arquiteturas (ADL) CBabel. CBabel é uma ADL que, além das usuais primitivas arquiteturais como componentes e portas, oferece contratos como construções básicas da linguagem. Com isso, os aspectos de coordenação são, em CBabel, descritos por contratos. Os contratos, por sua vez, são encapsulados em conectores, que intermedeiam todas as interações entre os componentes funcionais da arquitetura. Com esta abordagem, os aspectos de coordenação são separados dos aspectos funcionais. A utilização de uma ADL para especificação de um sistema permite que o sistema seja modelado em um nível de abstração apropriado à realização de análises e verificações de propriedades do sistema nas fases iniciais do projeto. Mas para a realização de análises sobre propriedades de uma arquitetura é necessário que, tanto a ADL quando as propriedades a serem verificadas, tenham um modelo semântico formal que dê significado preciso e não-ambíguo a estas. Lógica de reescrita é uma lógica e um formalismo semântico para a qual diversos modelos computacionais, lógicas e linguagens de especificação foram mapeados, dada sua visão unificada de computação e dedução. Nesta dissertação, apresentamos uma semântica formal de CBabel em lógica de reescrita. Também apresentamos a implementação desta semântica, a ferramenta Maude CBabel tool, um protótipo de ambiente executável para CBabel. Maude CBabel tool permite que descrições arquiteturais em CBabel sejam executadas e analisadas no sistema Maude, uma implementação de lógica de reescrita com suporte à metaprogramação e que dispõe de uma boa variedade de ferramentas de análise embutidas. Desta forma, durante a modelagem de sistemas complexos, podemos formalmente analisar suas descrições arquiteturais, identificando possíveis problemas e sugerindo soluções ainda na fase inicial do ciclo de desenvolvimento do sistema.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Publicador: dc.publisherPrograma de Pós-Graduação em Computação-
Publicador: dc.publisherComputação-
Direitos: dc.rightsAcesso Aberto-
Direitos: dc.rightsCC-BY-SA-
Palavras-chave: dc.subjectCiência da computação-
Palavras-chave: dc.subjectSoftware-
Palavras-chave: dc.subjectSistema Maude-
Palavras-chave: dc.subjectArquitetura de software-
Palavras-chave: dc.subjectLinguagem de descrição de arquitetura-
Palavras-chave: dc.subjectMaude-
Palavras-chave: dc.subjectLógica equacional-
Palavras-chave: dc.subjectArchitecture description language-
Palavras-chave: dc.subjectRewriting logic-
Palavras-chave: dc.subjectFormal methods-
Palavras-chave: dc.subjectCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO::COMPUTABILIDADE E MODELOS DE COMPUTACAO-
Título: dc.titleUma ferramenta formal para especificação e análise de arquiteturas de software-
Tipo de arquivo: dc.typeDissertação-
Aparece nas coleções:Repositório Institucional da Universidade Federal Fluminense - RiUFF

Não existem arquivos associados a este item.