Uso da linguagem de especificação SDL como alternativa ao diagrama de estados proposto pela linguagem UML.

Linguagem UML. Fase do projeto na UML: o diagrama de estados. Linguagem SDL. Comparação entre as duas técnicas apresentadas.

Modelo SIG para apoio à análise de sistemas de transportes e usos do solo

Dissertação de natureza científica para obtenção do grau de Mestre em Engenharia Civil

Extensão do framework geoframe para modelagem de processos de análise geográfica

As particularidades encontradas na modelagem de bancos de dados geográficos tornam necessário o desenvolvimento de modelos específicos. A totalidade dos modelos desenvolvidos oferece recursos para a modelagem de aspectos estáticos. Alguns dos modelos apresentam soluções parciais para a modelagem de aspectos dinâmicos. A possibilidade de executar processos de análise geográfica, que alteram o estado dos componentes do banco de dados geográficos é, de forma geral, a maior motivação para justificar os investimentos necessários para a sua construção. A formalização desses processos em um modelo conceitual, na fase de projeto, torna desnecessário o uso da terminologia específica que cada software de SIG emprega. A solução desenvolvida estende um framework conceitual (GeoFrame) com uma semântica que suporta a expressão de processos de análise geográfica, mantendo compatibilidade com a linguagem UML. Para utilizar de forma adequada os recursos do framework, uma metodologia para a elaboração do modelo do usuário é indicada. Nessa metodologia, os processos são identificados a partir da elaboração de diagramas de casos de uso e atividades, incorporados no diagrama de classes e detalhados através de diagramas de atividades contendo ações. Um levantamento sobre operações utilizadas em processos de análise geográfica abrangendo a visão conceitual, lógica e de implementação de vários autores levou à construção de um catálogo de operações geográficas. Essas operações foram modeladas utilizando os elementos de modelagem de comportamento da especificação da UML, versão 2.0. O conjunto de recursos oferecidos nesse trabalho proporciona ao projetista de bancos de dados geográficos o desenvolvimento de uma especificação em alto nível e abrangente, utilizando a linguagem UML, reconhecida como padrão em modelagem de sistemas.

Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos

A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu conseqüente desenvolvimento. Isto fez com que mecanismos para facilitar especificação, delimitação e solução de problemas passem a ser itens importantes para tais aplicações. Este trabalho propõe mecanismos para atuarem no desenvolvimento de sistemas de tempo real, com o objetivo de serem empregados como ferramenta de apoio no problema da verificação de presença de inconsistências, que podem vir a ocorrer nos vários modelos gerados partir da notação da linguagem de modelagem gráfica para sistemas de tempo real - UML-RT(Unified Modeling Language for Real Time). Estes mecanismos foram projetados através da construção de um metamodelo dos conceitos presentes nos diagramas de classe, de objetos, de seqüência, de colaboração e de estados. Para construir o metamodelo, utiliza-se a notação do diagrama de classes da UML (Unified Modeling Language). Contudo, por intermédio das representações gráficas do diagrama de classes não é possível descrever toda a semântica presente em tais diagramas. Assim, regras descritas em linguagem de modelagem OCL (Object Constraint Language) são utilizadas como um formalismo adicional ao metamodelo. Com estas descrições em OCL será possível a diminuição das possíveis ambigüidades e inconsistências, além de complementar as limitações impostas pelo caráter gráfico da UML. O metamodelo projetado é mapeado para um modelo Entidade&Relacionamento. A partir deste modelo, são gerados os scripts DDL (Data Definition Language) que serão usados na criação do dicionário de dados, no banco de dados Oracle. As descrições semânticas escritas através de regras em OCL são mapeadas para triggers, que disparam no momento em que o dicionário de dados é manipulado. O MET Editor do SiMOO-RT é a ferramenta diagramática que faz o povoamento dos dados no dicionário de dados. SiMOO-RT é uma ferramenta orientada a objetos para a modelagem, simulação e geração automática de código para sistemas de tempo real.

Diretrizes e critérios de cobertura de teste a partir de especificações UML

As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada na utilização de critérios de cobertura. O principal objetivo dos critérios de cobertura é tornar o processo de testes mais rápido e preciso, fornecendo informações que determinem o que testar em um software para garantir sua qualidade. A modelagem é um dos elementos de maior importância nas atividades relacionadas ao desenvolvimento de software. Os modelos são construídos principalmente para melhor se entender o sistema, descrever a estrutura e comportamento desejados, visualizar a arquitetura e documentar as decisões tomadas durante o seu desenvolvimento. Atualmente, o sistema de notação mais utilizado para a modelagem de sistemas baseados nos conceitos de orientação a objetos é a Linguagem de Modelagem Unificada – UML [LAR 99]. Nesta notação, um sistema é descrito por um conjunto de diagramas que apresentam diferentes aspectos do sistema. As informações disponibilizadas por estes diagramas propiciam, já nas fases iniciais do desenvolvimento da aplicação (análise e projeto), o planejamento dos casos de teste e a definição de critérios de cobertura. Observa-se que nestas fases a maioria das informações necessárias para o teste já estão disponíveis, como por exemplo, a definição das classes com seus atributos, métodos e relacionamentos, a representação da interação existente entre objetos para a realização de um cenário e a descrição dos possíveis estados e transições de um objeto em resposta a eventos externos e internos. Este trabalho propõe um conjunto de diretrizes e critérios de cobertura de teste, tendo como base as especificações diagramáticas UML. As diretrizes estabelecem um conjunto de instruções para que o teste seja feito e os critérios de cobertura identificam os pontos principais e serem considerados durante o teste. Na definição das diretrizes e dos critérios foram avaliadas as informações disponibilizadas pelos diagramas de classes, seqüência, colaboração e estados.

Uma estratégia dirigida a modelos e baseada em linguagem de descrição arquitetural para linhas de produtos de software

Model-oriented strategies have been used to facilitate products customization in the software products lines (SPL) context and to generate the source code of these derived products through variability management. Most of these strategies use an UML (Unified Modeling Language)-based model specification. Despite its wide application, the UML-based model specification has some limitations such as the fact that it is essentially graphic, presents deficiencies regarding the precise description of the system architecture semantic representation, and generates a large model, thus hampering the visualization and comprehension of the system elements. In contrast, architecture description languages (ADLs) provide graphic and textual support for the structural representation of architectural elements, their constraints and interactions. This thesis introduces ArchSPL-MDD, a model-driven strategy in which models are specified and configured by using the LightPL-ACME ADL. Such strategy is associated to a generic process with systematic activities that enable to automatically generate customized source code from the product model. ArchSPLMDD strategy integrates aspect-oriented software development (AOSD), modeldriven development (MDD) and SPL, thus enabling the explicit modeling as well as the modularization of variabilities and crosscutting concerns. The process is instantiated by the ArchSPL-MDD tool, which supports the specification of domain models (the focus of the development) in LightPL-ACME. The ArchSPL-MDD uses the Ginga Digital TV middleware as case study. In order to evaluate the efficiency, applicability, expressiveness, and complexity of the ArchSPL-MDD strategy, a controlled experiment was carried out in order to evaluate and compare the ArchSPL-MDD tool with the GingaForAll tool, which instantiates the process that is part of the GingaForAll UML-based strategy. Both tools were used for configuring the products of Ginga SPL and generating the product source code

Visual IMML: um perfil UML para a modelagem de interfaces de usuário

The software development processes proposed by the most recent approaches in Software Engineering make use old models. UML was proposed as the standard language for modeling. The user interface is an important part of the software and has a fundamental importance to improve its usability. Unfortunately the standard UML does not offer appropriate resources to model user interfaces. Some proposals have already been proposed to solve this problem: some authors have been using models in the development of interfaces (Model Based Development) and some proposals to extend UML have been elaborated. But none of them considers the theoretical perspective presented by the semiotic engineering, that considers that, through the system, the designer should be able to communicate to the user what he can do, and how to use the system itself. This work presents Visual IMML, an UML Profile that emphasizes the aspects of the semiotic engineering. This Profile is based on IMML, that is a declarative textual language. The Visual IMML is a proposal that aims to improve the specification process by using a visual modeling (using diagrams) language. It proposes a new set of modeling elements (stereotypes) specifically designed to the specification and documentation of user interfaces, considering the aspects of communication, interaction and functionality in an integrated manner

Data information system to promote the organization data of collections - modeling considerations by the Unified Modelign Language (UML)

Pode-se afirmar que a evolução tecnológica (desenvolvimento de novos instrumentos de medição como, softwares, satélites e computadores, bem como, o barateamento das mídias de armazenamento) permite às Organizações produzirem e adquirirem grande quantidade de dados em curto espaço de tempo. Devido ao volume de dados, Organizações de pesquisa se tornam potencialmente vulneráveis aos impactos da explosão de informações. Uma solução adotada por algumas Organizações é a utilização de ferramentas de sistemas de informação para auxiliar na documentação, recuperação e análise dos dados. No âmbito científico, essas ferramentas são desenvolvidas para armazenar diferentes padrões de metadados (dados sobre dados). Durante o processo de desenvolvimento destas ferramentas, destaca-se a adoção de padrões como a Linguagem Unificada de Modelagem (UML, do Inglês Unified Modeling Language), cujos diagramas auxiliam na modelagem de diferentes aspectos do software. O objetivo deste estudo é apresentar uma ferramenta de sistemas de informação para auxiliar na documentação dos dados das Organizações por meio de metadados e destacar o processo de modelagem de software, por meio da UML. Será abordado o Padrão de Metadados Digitais Geoespaciais, amplamente utilizado na catalogação de dados por Organizações científicas de todo mundo, e os diagramas dinâmicos e estáticos da UML como casos de uso, sequências e classes. O desenvolvimento das ferramentas de sistemas de informação pode ser uma forma de promover a organização e a divulgação de dados científicos. No entanto, o processo de modelagem requer especial atenção para o desenvolvimento de interfaces que estimularão o uso das ferramentas de sistemas de informação.

Panegyricos do grande João de Barros, fielmente reimpressos conforme a sua antiga linguagem, anno 1533 por Joaquim Francisco Monteiro de Campos Coelho e Soiza, Obra Utilissima Para a Boa Instrucção

Panegyrico de João de Barros a el Rey D. João III. -- Panegyrico do mesmo autor a senhora princesa, infanta D. Maria. -- Elogio de Antonio de Castilho a el rey D. Jão III. -- Elogio do Doutor Fr. Bernardo de Brito. -- Elogio de evora

O riso e suas metáforas : um estudo bem-humorado sobre subjetividade, linguagem e psicanálise

o presente trabalho propõe discutir o papel ocupado pelo riso na teoria e na clínica psicanalíticas através de uma abordagem multidisciplinar. Para fundamentar tal proposta, foi elaborada uma investigação de algumas das diferentes formas pelas quais o riso foi tomado como objeto do pensamento ao longo da história da cultura ocidental, assim como alguns dos lugares sociais que já foram por estes ocupados nesta mesma cultura. Tal abordagem teve como intuito a demonstração do caráter cultural e contingencial do riso, visando, deste modo, romper com uma interpretação do mesmo como fenômeno essencial, intrínseco e universal da experiência humana e afirmando-o como fenômeno de linguagem, no sentido dos jogos de linguagem propostos por Wittgenstein. O primeiro capítulo apresenta um mosaico composto por aproximações do fenômemo do riso elaboradas desde a Antiguidade até o final do século XVIII, contemplando pensadores com Platão, Aristóteles, Cicero, Quintiliano, Laurent Joubert e Imannuel Kant, dentre outros. No segundo capítulo são expostas algumas das principais concepções modernas do riso e assinalados. Os efeitos do advento do pensamento racionalista sobre tais concepções, ora pelo viés da apropriação do riso como objeto do discurso fisicalista, como em Spencer e Darwin, ora por uma interpretação deste como ultrapassando as dimensões da ordem e da razão, como em Nietzsche, Bataille, Foucault, Clement Rosset e Deleuze. No terceiro capítulo, o trabalho volta-se para o campo específico da Psicanálise, desenvolvendo as idéias freudianas acerca dos chistes, do cômico e do humor, aprofundando-os e estabelecendo as diferenças entre estes. O quarto capítulo da continuidade a discussão no âmbito psicanalítico desenvolvendo uma leitura crítica de algumas formulações pós-freudianas sobre o papel do riso na clínica (strictu sensu e ampliada), na teoria e nas instituições de transmissão da Psicanálise, enfatizando a relevância deste, especialmente por meio do humor, para o estabelecimento de uma direção ética na produção de saber em Psicanálise. O capítulo final parte do conceito de ironia para aprofundar a proposta de uma perspectiva do riso como postura ética em psicanálise, tomando como método possível de flexibilização e de crítica em oposição a uma postura determinista e dogmática, através, especialmente, das metáforas do ironista de Rorty e do cyborg de Donna Haraway.

Spinoza e a comunicação da filosofia: a natureza da linguagem na ethica

Em sua teoria do conhecimento, cuja formulação definitiva se encontra na segunda parte da Ethica, Spinoza afirma que o conhecimento que se dá por meio de signos pertence à Imaginação, isto é, ao primeiro gênero de conhecimento, o qual é essencialmente inadequado uma vez que não consegue compreender a natureza das coisas, mas simplesmente as conhece de forma mutilada e confusa. Contudo, atribuir o conhecimento ex signis ao âmbito imaginativo não pode implicar a recusa, por parte de Spinoza, de toda e qualquer utilização de signos a fim de comunicar o conhecimento verdadeiro, sob pena de o próprio texto da Ethica deslegitimar suas pretensões de verdade já no momento mesmo em que se anuncia. Partindo do princípio de que deve haver certo modo de utilização de signos que consiga contornar, em alguma medida, sua constituição essencialmente inadequada a fim de comunicar idéias adequadas, a presente investigação reconstrói uma teoria da linguagem subjacente à doutrina da Ethica na tentativa de estabelecer por que meios se pode efetuar uma utilização filosófica dos signos.

Uma crítica fenomenológica à tese de Kant sobre o Ser: da linguagem-utensílo à linguagem-constituição

Este trabalho visa realizar os primeiros passos de um projeto mais longo, cujo objetivo é determinar o sentido daquilo que entendemos como pergunta pelo sentido do ser; junto a isso, se tem aqui igualmente o propósito de pensar a metodologia que acaso venha a ser adequada, isto é, o tratamento específico que possa alguma vez dar a tal questionamento um desenvolvimento legítimo. O caminho por nós adotado partirá de Kant por motivos estratégicos, principalmente pela razão de encontrarmos aí uma tese declarada sobre ser, que lhe concede um sentido unitário: ao comentá-la, reconstruindo-a por meio da apresentação de alguns de seus momentos, estaremos nos utilizando da mesma para apontar aquilo que acreditamos constituir uma corrupção de sentido nas suas próprias bases, permitindo compreender as dificuldades lançadas pela questão que, assim nos parece, são as mesmas que terminam por gerar as confusões que perfazem a própria história da metafísica. Isto significa que nossa discussão do caso kantiano - embora vise diretamente a filosofia crítica e todo projeto de uma teoria das faculdades - deverá cunhar resultados mais amplos, já mesmo porque, a partir dela, viremos mesmo a afirmar a total inadequação de uma abordagem do sentido do ser sob o ponto de vista do comportamento teórico. Por oposição a ele, procuraremos demonstrar que ser só pode ser abordado no interior de um campo de sentido que se apresente como o que chamaremos de atividade descritiva ou, poderíamos igualmente dizer, uma atividade de mostração. Este último ponto, conclusivo somente quanto à parte do caminho que nosso projeto mais geral nos exige percorrer, será explicitado com a ajuda de alguns dos conceitos apresentados por Husserl em suas Investigações Lógicas.