Spelling suggestions: "subject:"semântico."" "subject:"semântica.""
41 |
Dinâmicas comunicacionais no processo criativo de design de produto: característica e construção da linguagem a partir dos painéis semânticosFarias, Marcelo José Oliveira de 11 December 2013 (has links)
Made available in DSpace on 2016-04-26T18:13:45Z (GMT). No. of bitstreams: 1
Marcelo Jose Oliveira de Farias.pdf: 18331005 bytes, checksum: e300bf7bd1aa496423a3d27c6d7fdab2 (MD5)
Previous issue date: 2013-12-11 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / The communicational function that industrial products have through non-verbal language
determines the interest process which may have a functional or emotional point of view from
the observer. Besides a technical and creative feature, design is also responsible for the
configuration of products. Design means a signification process from the organization of
signals in a structure made of codes which characterizes the language and the message of a
product. The language system is necessary for design so that this communication between the
observer and the message of the product will be established. From this perspective, can we
consider the visual techniques used in the creation process, such as conceptual or semantic
panels, responsible to determine the language and message of industrial products? From the
fundamental question of the object of study, other questions come up and certainly help the
basis necessary to limit this research. (1) How are the signal systems, which form the design
language of the product, constructed and organized? (2) Which rules guide the definition of
this language in the creation process? And (3) Which are the communicational dynamics set
from the visual and semantic panels? This study, thus, is based on the analysis of conceptual
and semantic panels developed in the creation process of three industrial design offices:
Domus Design, Questto|Nó and Design Connection. In this piece of work the creation process
is taken as intellectual and sensitive, described as a fallible process with tendency, sustained
by the uncertainty logics and involving random intervention. It also opens up for the
introduction of new ideas. The theoretical basis of this research is oriented by the process
criticism developed by PhD Cecília Salles, which merges with a theoretical board of design
represented by Bernhard Burdek, Gui Bonsiepe, Mike Baxtere Rafael Cardoso, as well as
communication and semiotics field by Edgar Morin, Lucia Leão,Lucrécia Ferrara and
Santaella / A função comunicacional que os produtos industriais exercem através de uma linguagem não
verbal é um dos fatores determinantes no processo de interesse, seja de caráter funcional ou
emocional, do sujeito observador em relação a estes. Nesse sentido, o design, além de uma
atividade técnica e criativa responsável pela configuração de produtos, é um processo de
significação a partir da organização de signos numa estrutura de códigos, que definem a
linguagem e mensagem dos produtos. Para que essa comunicação entre produto e observador
seja estabelecida, é construído um sistema de linguagem para o design. Partindo dessa
premissa, seriam as técnicas de visualização utilizadas no processo de criação, a exemplo dos
painéis conceituais ou semânticos, responsáveis por definir a linguagem e mensagem dos
produtos industriais? Com a questão fundamental exposta a partir do objeto de estudo, surgem
outras indagações que colaboram para fundamentar e compor o limite desta pesquisa. (1)
Como é construído e organizado o sistema de signos que constitue a linguagem do design do
produto?; (2) Quais as regras que orientam a definição dessa linguagem no percurso criador?;
e, (3) Quais as dinâmicas comunicacionais estabelecidas a partir dos painéis visuais e
semânticos? O estudo, portanto, parte da análise dos painéis conceituais ou semânticos
desenvolvidos no processo de criação em três escritórios de design industrial: Domus Design,
Questto|Nó e Design Connection. Logo, neste trabalho, processo de criação é entendido como
trabalho sensível intelectual, descrito como movimento falível com tendência, sustentado pela
lógica da incerteza, englobando a intervenção do acaso e abrindo espaço para a introdução de
novas ideias. Assim, a base teórica e metodológica desta pesquisa é orientada pela crítica de
processo desenvolvida pela professora Dra. Cecília Salles combinada, em diálogo, com um
quadro teórico de referências do design representado por Bernhard Burdek, Gui Bonsiepe,
Mike Baxter e Rafael Cardoso, bem como com o campo da comunicação e semiótica estudado
por Edgar Morin, Lúcia Leão, Lucrécia Ferrara e Lúcia Santaella
|
42 |
Um modelo para ambientes inteligentes baseado em serviços web semânticos / A model for smart environments based on semantic web servicesGuerra, Crhistian Alberto Noriega 29 August 2007 (has links)
Um ambiente inteligente é um sistema de computação ubíqua e sensível ao contexto onde os sistemas computacionais embutidos no ambiente, a comunicação entre dispositivos e o ambiente, e a acessibilidade aos serviços do ambiente são transparentes ao usuário. O presente trabalho tem como objetivo propor um modelo para ambientes inteligentes baseado em serviços web semânticos, em que os serviços disponíveis para os dispositivos do ambiente são proporcionados como serviços web e a interação dispositivo - ambiente é feita em um contexto de computação móvel, onde a disponibilidade dos serviços e a informação de contexto do dispositivo mudam freqüentemente. No modelo proposto todas as funcionalidades do ambiente são fornecidas como serviços. Estes serviços são descobertos e executados automaticamente com a finalidade de ajudar o usuário a desenvolver tarefas específicas, permitindo ao usuário se concentrar nas tarefas e não na interação com o ambiente. O modelo se fundamenta na oferta de serviços dirigida pela tarefa a ser desenvolvida, o que é conhecido como Task-driven Computing. Por outro lado, para a automação do processo de descoberta e execução dos serviços é necessário ter uma especificação não ambígua da semântica dos serviços. Empregamos para isso a ontologia WSMO (Web Services Modeling Ontology) que fornece os elementos necessários para a descrição dos serviços disponíveis no ambiente e o contexto do dispositivo. Finalmente, como prova de conceitos do modelo proposto, foi implementado um ambiente inteligente para uma biblioteca. A ativação de um ambiente inteligente baseado no modelo proposto se baseia na definição de ontologias, descrição semântica dos serviços no ambiente e a implementação de serviços web tradicionais. / A smart environment is a system computing ubiquitous computing and context awareness, in which the computational systems embedded in the environment, the communication between devices and the environment, and the accessibility to services are transparent to the users. The aim of this work is to propose a semantic web services based model for smart environments, in which services are offered to devices as web services and the device - environment interactions are based on a mobile computing environment, in which the contextual information and availability of services change frequently. In the proposed model all functionalities in the environment are offered as services. These services are automatically discovered and executed to support the user in a specific task, allowing to the user to focus on his task and not in the interactions with the environment. The model is based on a task-driven offer of services and on task-driven computing. To automate the discovery and execution of services, we need a nonambiguous specification of the semantic of services. We use the WSMO ontology (Web Services Modeling Ontology), which provides the required elements for description of the services in the environment and the context device. Finally, as a conceptual proof of the proposed model, we implemented a smart environment for a library. In the proposed model the activation of a smart environment is based in the ontologies definition, semantic description of the services.
|
43 |
Sumarização multidocumento com base em aspectos informativos / Multidocument summarization based on information aspectsGaray, Alessandro Yovan Bokan 20 August 2015 (has links)
A sumarização multidocumento consiste na produção de um sumário/resumo a partir de uma coleção de textos sobre um mesmo assunto. Devido à grande quantidade de informação disponível na Web, esta tarefa é de grande relevância já que pode facilitar a leitura dos usuários. Os aspectos informativos representam as unidades básicas de informação presentes nos textos. Por exemplo, em textos jornalísticos em que se relata um fato/acontecimento, os aspectos podem representar a seguintes informações: o que aconteceu, onde aconteceu, quando aconteceu, como aconteceu, e por que aconteceu. Conhecendo-se esses aspectos e as estratégias de produção e organização de sumários, é possível automatizar a tarefa de sumarização. No entanto, para o Português do Brasil, não há pesquisa feita sobre sumarização com base em aspectos. Portanto, neste trabalho de mestrado, investigaram-se métodos de sumarização multidocumento com base em aspectos informativos, pertencente à abordagem profunda para a sumarização, em que se busca interpretar o texto para se produzir sumários mais informativos. Em particular, implementaram-se duas etapas relacionadas: (i) identificação automática de aspectos os aspectos informativos e (ii) desenvolvimento e avaliação de dois métodos de sumarização com base em padrões de aspectos (ou templates) em sumários. Na etapa (i), criaram-se classificadores de aspectos com base em anotador de papéis semânticos, reconhecedor de entidades mencionadas, regras manuais e técnicas de aprendizado de máquina. Avaliaram-se os classificadores sobre o córpus CSTNews (Rassi et al., 2013; Felippo et al., 2014). Os resultados foram satisfatórios, demostrando que alguns aspectos podem ser identificados automaticamente em textos jornalísticos com um desempenho razoável. Já na etapa (ii), elaboraram-se dois métodos inéditos de sumarização multidocumento com base em aspectos. Os resultados obtidos mostram que os métodos propostos neste trabalho são competitivos com os métodos da literatura. Salienta-se que esta abordagem para sumarização tem recebido grande destaque ultimamente. Além disso, é inédita nos trabalhos desenvolvidos no Brasil, podendo trazer contribuições importantes para a área. / Multi-document summarization is the task of automatically producing a unique summary from a group of texts on the same topic. With the huge amount of available information in the web, this task is very relevant because it can facilitate the reading of the users. Informative aspects, in particular, represent the basic information units in texts and summaries, e.g., in news texts there should be the following information: what happened, when it happened, where it happened, how it happened and why it happened. Knowing these aspects and the strategies to produce and organize summaries, it is possible to automate the aspect-based summarization. However, there is no research about aspect-based multi-document summarization for Brazilian Portuguese. This research work investigates multi-document summarization methods based on informative aspects, which follows the deep approach for summarization, in which it aims at interpreting the texts to produce more informative summaries. In particular, two main stages are developed: (i) the automatic identification of informative aspects and (ii) and the development and evaluation of two summarization methods based on aspects patterns (or templates). In the step (i) classifiers were created based on semantic role labeling, named entity recognition, handcrafted rules and machine learning techniques. Classifiers were evaluated on the CSTNews annotated corpus (Rassi et al., 2013; Felippo et al., 2014). The results were satisfactory, demonstrating that some aspects can be automatically identified in the news with a reasonable performance. In the step (ii) two novels aspect-based multi-document summarization methods are elaborated. The results show that the proposed methods in this work are competitive with the classical methods. It should be noted that this approach has lately received a lot of attention. Furthermore, it is unprecedented in the summarization task developed in Brazil, with the potential to bring important contributions to the area.
|
44 |
Especificação, instanciação e experimentação de um arcabouço para criação automática de ligações hipertexto entre informações homogêneas / Specification, instantion and experimentation of a framework intended to support the task of automatic creation of hypertext links between homogeneous repositoriesMacedo, Alessandra Alaniz 02 July 2004 (has links)
Com a evolução da informática, diferentes meios de comunicação passaram a explorar a Web como um meio de divulgação de suas informações. Diferentes fontes de informações, diferentes estilos de escrita e a curiosidade nata do ser humano despertam o interesse de leitores por conhecer mais de um relato sobre um mesmo tema. Para que a leitura de diferentes relatos com conteúdo similar seja possível, leitores precisam procurar, ler e analisar informações fornecidas por diferentes fontes de informação. Essa atividade, além de exigir grande investimento de tempo, sobrecarrega cognitivamente usuários. Faz parte das pesquisas da área de Hipermídia investigar mecanismos que apóiem usuários no processo de identificação de informações em repositórios homogêneos, sejam eles disponibilizados na Web ou não. No contexto desta tese, repositórios com informações de conteúdo homogêneo são aqueles cujas informações tratam do mesmo assunto. Esta tese tem por objetivo investigar a especificação, a instanciação e a experimentação de um arcabouço para apoiar a tarefa de criação automática de ligações hipertexto entre repositórios homogêneos. O arcabouço proposto, denominado CARe (Criação Automática de Relacionamentos), é representado por um conjunto de classes que realizam a coleta de informações a serem relacionadas e que processam essas informações para a geração de índices. Esses índices são relacionados e utilizados na criação automática de ligações hipertexto entre a informação original. A definição do arcabouço se deu após uma fase de análise de domínio na qual foram identificados requisitos e construídos componentes de software. Nessa fase, vários protótipos também foram construídos de modo iterativo / With the evolution of the Internet, distinct communication media have focused on the Web as a channel of information publishing. An immediate consequence is an abundance of sources of information and writing styles in the Web. This effect, combining with the inherent curiosity of human beings, has led Web users to look for more than a single article about a same subject. To gain access to separate on a same subject, readers need to search, read and analyze information provided by different sources of information. Besides consuming a great amount of time, that activity imposes a cognitive overhead to users. Several hypermedia researches have investigated mechanisms for supporting users during the process of identifying information on homogeneous repositories, available or not on the Web. In this thesis, homogeneous repositories are those containing information that describes a same subject. This thesis aims at investigating the specification and the construction of a framework intended to support the task of automatic creation of hypertext links between homogeneous repositories. The framework proposed, called CARe (Automatic Creation of Relationships), is composed of a set of classes, methods and relationships that gather information to be related, and also process that information for generating an index. Those indexes are related and used in the automatic creation of hypertext links among distinct excerpts of original information. The framework was defined based on a phase of domain analysis in which requirements were identified and software components were built. In that same phase several prototypes were developed in an iterative prototyping
|
45 |
Um Middleware adaptável para descoberta, composição e invocação automática de serviços web semânticos / An adaptable Middleware for automatic Discovery, composition and invocation of semantic web servicesBarros, Heitor José dos Santos 25 March 2011 (has links)
Semantic Web Services domain has gained special attention in academia and industry. It has been adopted as a promise to enable automation of all aspects of Web services provision and use, such as service creation, selection, discovery, composition, invocation. For that, the Semantic Web Services community has been devoted to creating tools and techniques that explore the semantic information of these services. However, the state of the art shows that the aplications based on Semantic Services have their own characteristics, interests and priorities. This diversity directly influences the choice of techniques and technologies for handling services, ie, a single tool can have satisfactory results in a particular application and is not appropriate for others. Moreover, these applications can evolve, which implies the need of changing these tools. Aiming to solve this problem, this work proposes an adaptive middleware for managing discovery and invocation of services capable of integrating different tools and techniques according to application needs. In order to validate the work, a case study with Semantic Web Services of education domain is presented, with this, it was noted that the proposed Middleware is efficient for performing the processes of discovery, composition and invocation of services in an adaptable manner. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Os Serviços Web Semânticos têm ganhado uma atenção especial pela academia e indústria. Eles têm sido utilizados como uma promessa para possibilitar a automação de todos os aspectos da provisão e uso de Serviços Web, tais como criação, seleção, descoberta, composição e invocação de serviços. Para isso, a comunidade tem se dedicado a criação de ferramentas e técnicas para explorar as informações semânticas destes serviços. Entretanto, como apontado pela comunidade especializada no tema, aplicações baseadas em Serviços Semânticos possuem suas próprias características, interesses e prioridades. Esta diversidade influencia diretamente na escolha das técnicas e tecnologias utilizadas para manipulação de serviços, ou seja, uma mesma ferramenta pode ter resultados satisfatórios em uma determinada aplicação e não ser adequada para outras. Além disso, essas aplicações podem evoluir, o que implica na necessidade de mudança nestas ferramentas. Com o objetivo de contribuir na solução deste problema, propõe-se na pesquisa em pauta um Middleware adaptável para gerenciamento de descoberta e invocação de serviços capaz de integrar diferentes técnicas e ferramentas de acordo com as necessidades da aplicação. Como forma de avaliar o trabalho, realizou-se um estudo de caso envolvendo o uso de Serviços Web Semânticos no domínio de educação, com isso, verificou-se que o Middleware proposto se mostrou eficiente na realização dos processos de descoberta, composição e invocação de serviços de maneira adaptável.
|
46 |
Linguagem e educação matemática: um mapeamento de usos na sala de aulaPinto, Thiago Pedro [UNESP] 25 May 2009 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:24:52Z (GMT). No. of bitstreams: 0
Previous issue date: 2009-05-25Bitstream added on 2014-06-13T18:21:26Z : No. of bitstreams: 1
pinto_tp_me_rcla.pdf: 768177 bytes, checksum: f3dde9d06b1d60d19e760b819ad914f1 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Este trabalho esboça um mapeamento dos usos da linguagem em sala de aula de matemática. Mais especificamente, analisa como professores utilizam a linguagem para comunicar-se com seus alunos durante as aulas. Inicialmente são expostas nossas intenções e a leitura de algumas produções em Educação Matemática que se aproximam de nossa proposta. Em seguida, apresentamos os dois aportes teóricos que dão sustentação ao nosso trabalho, o Modelo dos Campos Semânticos e os Jogos de linguagem de Wittgenstein, apresentando cada um deles separadamente para considerar, posteriormente, seus pontos de aproximação e distanciamento. As filmagens nas salas de aula de dois professores foram transformadas em clipes que, transcritos, nos ajudaram a organizar os dados por nós constituídos para esta pesquisa. Com a análise desses dados, a partir dos aportes teóricos adotados, foi possível elencar “eventos” que caracterizam alguns usos da linguagem e, por fim, são fundamentais para constituir nosso mapa como um jogo de linguagem da sala de aula de matemática. / This work has as its main intention build a map on how language is used in Math classrooms, specifically we try to understand how teachers use language in order to share meanings with their students. Initially we present our main intentions, summarizing some researches close to our purposes. The two theoretical framework which give support to our study – the Model of Semantic Fields and the Wittgenteiniam “games of language” – are then presented and discussed in their similarities and distinctions. Some classrooms activities of two teachers were recorded and turned in “clips”. The clips were transcribed it help us to organize the data for our research. Data analysis – developed according to our theoretical framework – allowed us to build the so-called “events”, sketching a mapping on how language can be used in math classrooms.
|
47 |
Uma leitura da prática profissional do professor de matemáticaFrancisco, Carlos Alberto [UNESP] 26 May 2009 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:31:43Z (GMT). No. of bitstreams: 0
Previous issue date: 2009-05-26Bitstream added on 2014-06-13T18:42:46Z : No. of bitstreams: 1
francisco_ca_dr_rcla.pdf: 26092972 bytes, checksum: 2b5d296d5af768b75ad5c4b94e459203 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho, apresentamos um estudo sobre os componentes que caracterizam a prática profissional do professor de matemática, segundo o entendimento de uma professora de ensino fundamental. Investigamos a produção de significados dessa professora para a sua prática, buscando estabelecer coerências que sustentem sua visão através de uma leitura plausível. Para tanto, utilizamos como procedimento metodológico um estudo de tipo etnográfico (ANDRÉ, 1995) e como referencial teórico da pesquisa o Modelo dos Campos Semânticos apresentado, por exemplo, em Lins (1993, 1996, 1999 e 2004) e Lins e Gimenez (1997). A pergunta diretriz dessa pesquisa é: quais são os componentes que caracterizam a prática profissional do professor de matemática, em seus próprios termos? As análises indicam o perfil de uma prática educativa idealizada pela professora no que se refere à sua prática cotidiana observada. Os depoimentos da professora mostram a sua expectativa para dominar formas eficientes de transmitir aos alunos os conteúdos matemáticos e de controlar a sala no que se refere à indisciplina. As demandas da prática, segundo sua visão, tiveram como foco questões ligadas ao gerenciamento de sala de aula que se mostraram mais evidentes do que as questões de ensino-aprendizagem. Porém, foi observado que a prática desta professora mostrou-se pouco flexível no sentido de buscar alternativas para lidar com essas demandas. Os depoimentos reforçam a idéia de que a professora luta para manter nas aulas de matemática seus valores que se mostram contrários aos valores que regem o comportamento dos alunos. As falas da professora sugerem que os formadores precisam entender a profissão docente levando em consideração o que o professor de matemática vive dentro da sala de aula, diante das demandas postas para ele, lidando com seus alunos reais. / In this work, we present a study about the components that characterize the Mathematics teachers’ professional practice, according to the understanding of a teacher who teaches in the elementary school. We have searched the production of meanings of this teacher for her practice, trying to establish coherences that support her point of view through a plausible reading. For that, we have used as a methodological procedure a study of ethnographic nature (ANDRÉ, 1995) and as a theoretical reference of this research we used the Model of Semantic Field presented, for example, in Lins (1993, 1996, 1999 e 2004) and Lins and Gimenez (1997). The main question of this work is: which are the components that characterize the professional practice of the Mathematics teachers, in his/her own terms? The analyses indicate the profile of an educational practice, idealized by the teacher, concerning her daily practice observed. The teacher’s statements show her expectations of both dominating efficient ways to transmit to the students the mathematical contents and controlling the class referring to the indiscipline. The demands of the practice, according to her point of view, have had as the focus issues related to the management in the classroom that have been more evident than the teaching-learning issues. However, it has been observed that the practice of this teacher seemed less flexible referring to the search for alternatives to deal with these demands. The statements reinforce the idea that the teacher fights to keep, in the Mathematics classes, her values that seemed to be opposite to the values that govern the students’ behavior. The teacher’s speeches suggest that the teacher educators need to understand the teaching profession with regard to what the Mathematics teachers face in the classroom, under the demands presented to him/her and dealing with his/her real students.
|
48 |
MDA-VERITAS: uma arquitetura MDA estendida para transformações de sistemas concorrentes preservadoras de semântica. / MDA-VERITAS: an extended MDA architecture for concurrent semantic-preserving systems transformations.BARBOSA, Paulo Eduardo e Silva. 20 September 2018 (has links)
Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-20T18:52:30Z
No. of bitstreams: 1
PAULO EDUARDO E SILVA BARBOSA - TESE PPGCC 2011..pdf: 8460190 bytes, checksum: 711c8b40aaed80c81ec520880038d9b8 (MD5) / Made available in DSpace on 2018-09-20T18:52:30Z (GMT). No. of bitstreams: 1
PAULO EDUARDO E SILVA BARBOSA - TESE PPGCC 2011..pdf: 8460190 bytes, checksum: 711c8b40aaed80c81ec520880038d9b8 (MD5)
Previous issue date: 2011-09-08 / MDA é uma tendência de desenvolvimento de software que visa alterar o foco e os esforços dos modelos de desenvolvimento atuais. O método de implementação deixa de ser apenas a produção e código, e passa a também envolver modelos, metamodelos e transformações. Atualmente, essa abordagem tem sido diversificada com a inclusão de novos paradigmas que vão bem além do uso exclusivo dos padrões da OMG, como proposto originalmente. Contudo, a arquitetura MDA ainda sofre com a falta de formalização de alguns de seus artefatos e processos, levando a vários tipos
de questionamentos. Um exemplo pertinente de questionamento se dá sobre o alto grau de ambigüidade dos modelos e transformações, originando problemas de baixa confiabilidade. Uma das conseqüências disso é o fato de que atualmente não existe uma maneira de garantir que transformações MDA sejam preservadoras de semântica, e nem que seus modelos envolvidos nas transformações sejam formais o suficiente para se permitir o uso de técnicas deverificação de equivalência, gerando críticas sobre a eficácia dessa abordagem. Esta tese de doutorado propõe lidar com esse problema, incorporando abordagens consolidadas de métodos formais na arquitetura MDA, tendo como contexto específico o desenvolvimento de software para sistemas embarcados com características
de concorrência. Propomos extensões para parte da arquitetura MDA para que se possa
construir modelos semânticos que representem aspectos estáticos e dinâmicos, ambos essenciais na semântica dos modelos envolvidos nas transformações e nos mecanismos de verificação de equivalência desses modelos. Com isso,obtemos a verificação de equivalência em transformações envolvendo modelos de sistemas concorrentes. Como avaliação do trabalho, provas de conceito, estudos de caso e avaliação experimental seguindo a abordagem GQM, envolvendo parcerias na academia e na indústria através de sistemas reais, foram implementados e avaliados. Verificamos equivalência entre modelos ao nível de transformações PIM-para-PIM, PSM-para-PSM e PIMpara-PSM como modelos de sistemas concorrentes descritos em redes de Petri e algumas de suas extensões. / MDA is a software development trend that aims to shift the focus and efforts of the current
development methodologies. The implementation method changes from only code production to the usage of models, metamodels and transformations. Currently, this approach has been diversified with the inclusion of new paradigms that go beyond the only use of the MDA standards, as originally proposed. However, the MDA architecture still suffers from the lack of formalization of its artifacts and processes, leading to several sorts of questions. An important example of question is about the high ambiguity levels of models and transformations, originating problems of low reliability. One of the main consequences of this problem is the fact that still there is no way to ensure that MDA transformations are semantics preserving and neither the involved models
are formal enough to allow the use of equivalence verification techniques, criticizing the effectiveness of this approach. This thesis proposes to deal with this problem by incorporating well consolidated formal methods techniques in the MDA architecture, having as specific context the software development for embedded systems with concurrent features. We propose extensions to part of the MDA architecture in order to construct semantic models to represent static and dynamic aspects, both essentials in the semantics of the involved models in the transformations and in the verification mechanisms of these models. With this, we achieve the verification of equivalence in transformations with models of concurrent systems. Asevaluationofthework,conceptualproofs, case studies and an experimental evaluation following the GQM approach, involving partners in the academy and industry, were implmented and evaluated. We verify models equivalence at the level of PIM-to-PIM, PSM-to-PSM and PIM-to-PSM transformations with models of concurrent systems described and inPetri nets and some of its extensions.
|
49 |
ADESCOU : Uma Abordagem para o desenvolvimento de software para computação ubíquaSantana, Luiz Henrique Zambom 26 May 2008 (has links)
Made available in DSpace on 2016-06-02T19:05:34Z (GMT). No. of bitstreams: 1
2156.pdf: 2821263 bytes, checksum: 004a12abe43c74b0fbe111ec7dd91b40 (MD5)
Previous issue date: 2008-05-26 / Financiadora de Estudos e Projetos / This dissertation presents an approach to the software development in the Ubiquitous Computing, which instantiates the Rational Unified Process (RUP), based on Ontologies, Semantic Web Services, and Software Agents. Ontologies are employed to improve the description of the use context, enabling the applications to be context-aware. Semantic Web Services are used as software components distributed over the Internet, and are composed to perform complex tasks. Software Agents manages the applications using the Ontologies and the Semantic Web Services. A framework, called UBICK, was built to facilitate the design and the implementation of ubiquitous applications, based on components reuse. A case study illustrates the use of this approach in order to develop an Electronic Reflexive Portfolio in the medical education domain. / Esta dissertação apresenta uma abordagem para orientar o desenvolvimento de software na Computação Ubíqua que instancia o Rational Unified Process (RUP), com base em Ontologias, Serviços Web Semânticos, Agentes de Software. Ontologias são empregadas para facilitar o desenvolvimento de aplicações sensíveis a contexto. Serviços Web Semânticos são utilizados como componentes de software distribuídos pela Internet e são compostos para realizar tarefas complexas. Agentes de Software gerenciam as aplicações,
facilitando o uso das Ontologias e dos Serviços Web Semânticos. Um framework, denominado UBICK, foi construído a fim de estruturar o projeto e implementação das aplicações ubíquas, baseado no reuso de componentes. Como estudo de caso, apresenta-se o uso da abordagem proposta no desenvolvimento de um Portfólio Reflexivo Eletrônico para o domínio de ensino na medicina.
|
50 |
Seletores de pontos de junção: um mecanismo de extensão para linguagens e arcabouços orientados a aspectos / Join Point Selectors: An Extension Mechanism for Aspect-Oriented Languages and FrameworksCristiano Malanga Breuel 26 March 2008 (has links)
Uma das questões mais importantes nas linguagens e arcabouços orientados a aspectos atuais é a expressividade da linguagem ou mecanismo de definição de pointcuts. A expressividade de uma linguagem de pointcuts impacta diretamente a qualidade dos pointcuts, uma propriedade que pode ser decisiva para a eficácia das implementações de aspectos. Neste trabalho, propomos os seletores de pontos de junção como um mecanismo de extensão simples para enriquecer linguagens de pointcut atuais com elementos que fazem o papel de \"novos pointcuts primitivos\". Os seletores de pontos de junção permitem a criação de pointcuts com maior valor semântico. Apesar de existirem mecanismos similares em algumas abordagens existentes, o conceito subjacente não foi claramente definido ou completamente explorado. Apresentamos também uma arquitetura simples para a adição de seletores de pontos de junção a um arcabouço orientado a aspectos existente, e mostramos exemplos do uso de seletores para melhorar a qualidade de pointcuts e facilitar o desenvolvimento de aspectos. / One of the main issues in modern aspect-oriented programming languages and frameworks is the expressiveness of the pointcut language or mechanism. The expressiveness of pointcut languages directly impacts pointcut quality, a property that can be decisive for the effectiveness of aspect implementations. In this work we propose join point selectors as a simple extension mechanism for enriching current pointcut languages with constructs that play the role of \"new primitive pointcuts\". Join point selectors allow the creation of pointcuts with greater semantic value. Although similar mechanisms can be found in some existing approaches, the underlying concept has not yet been clearly defined nor fully explored. We also present a simple architecture for adding join point selectors to an existing aspect-oriented framework, and show examples of usage of join point selectors to enhance the quality of pointcuts and make aspect development easier.
|
Page generated in 0.039 seconds