Made available in DSpace on 2016-03-22T17:26:23Z (GMT). No. of bitstreams: 1 Dissertacao_de_Mestrado_II_Marcos_Echevarria.pdf: 448582 bytes, checksum: ee87f1f43559b95302ad2f21fa2813e7 (MD5) Previous issue date: 2010-03-25 / As arquiteturas multi-core influenciam diretamente no desenvolvimento de software. Para que os programas possam tirar proveito dessas arquiteturas ´e necess´ario que estes possuam v´arias atividades concorrentes e que possam ser alocadas aos cores dispon ´ıveis. Programas concorrentes para m´aquinas multi-core s ao geralmente implementados usando threads e se comunicam atrav´es de uma mem´oria compartilhada. Para evitar que threads interfiram de maneira errada no trabalho de outras threads, as linguagens fornecem mecanismos de sincronizac¸ ao, como por exemplo bloqueios. Mas sincronizac¸ oes baseadas em bloqueios apresentam algumas armadilhas que dificultam a programac¸ ao e s ao propensas a erros (PEYTON JONES, 2007; HERLIHY; MOSS, 1993). Mem´orias transacionais fornecem um novo modelo de controle de concorr encia que n ao apresenta as mesmas dificuldades encontradas no uso de bloqueios. Elas trazem para a programac¸ ao concorrente os conceitos de controle de concorr encia usados h`a d´ecadas pela comunidade de banco de dados. Construc¸ oes em linguagens transacionais s ao f´aceis de serem usadas e podem gerar programas altamente escal´aveis (ADLTABATABAI; KOZYRAKIS; SAHA, 2006). O objetivo deste trabalho ´e apresentar a linguagem CMTJava. CMTJava ´e uma linguagem de dom´ınio espec´ıfico para programac¸ ao de mem´orias transacionais em Java e foi criada visando facilitar a programac¸ ao de m´aquinas multi-core. Seu sistema foi todo desenvolvido em Java e a forma de implementac¸ ao pode ser aplicada em qualquer outra linguagem orientada a objetos que suporte closures, como por exemplo C#. CMTJava faz uso das chamadas m onadas para compor ac¸ oes transacionais. Ac¸ oes transacionais podem ser combinadas para gerar novas transac¸ oes e vale ressaltar que o sistema de tipos da linguagem CMTJava garante que ac¸ oes transacionais somente ser ao executadas atrav´es da primitiva atomic. CMTJava apresenta todas as construc¸ oes de mem´orias transacionais (atomic, retry, OrElse) e ´e a primeira extens ao Java para transac¸ oes que suporta a construc¸ ao OrElse

Submitted by João Arthur Martins (joao.arthur@ufpe.br) on 2015-03-12T19:29:08Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Tese Raoni Kulesza.pdf: 8673815 bytes, checksum: df375409e2b9998a2cf4c1434600a74d (MD5) / Made available in DSpace on 2015-03-12T19:29:08Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Tese Raoni Kulesza.pdf: 8673815 bytes, checksum: df375409e2b9998a2cf4c1434600a74d (MD5) Previous issue date: 2013-02-25 / O processo de convergência digital pode ser encarado sobre duas diferentes perspectivas. Na primeira, a convergência é vista como um casamento de tecnologias ou indústrias, por exemplo, através da integração das redes de Internet, telefonia móvel e televisão digital. Na segunda, a convergência pode ser vista como uma reunião de diferentes tipos de mídia por meio de uma tecnologia única. Este cenário tem favorecido o oferecimento de novos serviços e aplicações multimídia. O desenvolvimento de aplicações multimídia ainda é um desafio. Além da lógica de negócio já existente em outros tipos de software, essas aplicações oferecem uma interface gráfica sofisticada e integrada com diferentes objetos de mídia (imagens, gráficos 3D, áudio e vídeo). Neste contexto, é importante considerar três visões de projeto da aplicação: mídia, software e interface gráfica com o usuário. Atualmente, é possível identificar uma lacuna na definição de métodos sistemáticos e ferramentas de desenvolvimento que considerem esses três aspectos. Este trabalho procura tratar este tema num domínio específico das aplicações multimídia: TV Digital. O objetivo principal é propor uma abordagem de desenvolvimento orientado a modelos que procura uma melhor integração entre os projetos de mídia e software, uma vez que as principais abordagens de desenvolvimento dessa área tratam cada um desses projetos isoladamente. Nesta pesquisa defende-se a tese de que o desenvolvimento orientado a modelos pode aumentar a produtividade do desenvolvimento de aplicações de TV Digital, principalmente, as que possuem como requisito forte integração entre os objetos de mídia e a lógica da aplicação. Em particular, é realizada uma estruturação dos requisitos de uma família de aplicações; configuração das partes comuns e variáveis de cada categoria das aplicações através de um Modelo de Features; emprego de linguagens específicas de domínio para modelagem de visões que integram o projeto de mídia e projeto de software; e utilização de técnicas de metaprogramação para geração automática do código das aplicações. Para demonstrar esta tese, é descrita uma abordagem de desenvolvimento orientado a modelos no domínio específico de TV Digital e exemplos de uso. São também apresentados os resultados de uma avaliação envolvendo estudos empíricos, que buscou determinar a viabilidade da abordagem e os benefícios que podem ser alcançados com o emprego da mesma.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-03-06T15:02:54Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_Daniella R. Bezerra.pdf: 7051442 bytes, checksum: 773c6dfedf514809f7bd20837e94278c (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-03-06T15:03:11Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_Daniella R. Bezerra.pdf: 7051442 bytes, checksum: 773c6dfedf514809f7bd20837e94278c (MD5) / Made available in DSpace on 2018-03-06T15:03:11Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_Daniella R. Bezerra.pdf: 7051442 bytes, checksum: 773c6dfedf514809f7bd20837e94278c (MD5) Previous issue date: 2016-03-04 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This thesis investigates the problem of how integrate the architectural point of view, conceptual and design models to maintain the necessary differences enable various levels of abstractions compatible with the size, complexity and the field of software families. The starting point to obtain a problem solution is to investi-gate the integration of software product line (SPL) and model-driven engineering (MDE) by individually provide support for this purpose; but little investigated for a family of domain specific languages as application domain. Thus, this work aims to present a support method to architectural modelling software families based on MDE compound two components: (i) integration scheme between the engineering and (ii) the framework architectural. The scheme elicits the integration actually takes place and highlights the possibilities of application. But the architectural fray mework complements this integration scheme and helps design architectural views and integration between them. To conduct the research, ARDev methodology (Agile Research Development) was used which aims to assist the management and produc-tion of research artifacts. The proposed method is assessed by proofs of concept in forest dynamics domain and estimate carbon DSL's, selected by presenting require-ments and processes consistent with the complexity of observation and evaluation method of the implications thereof on a practical application. The results indicate that the integration between engineering favors the structuring and adaptation of architecture and the framework helps the designer to choose, quickly develop and test approaches used for integration between engineering and architectural retrieve information taken to a domain. / Essa tese investiga o problema de como integrar do ponto de vista arquitetural, modelos conceituais e de projeto e manter as diferenças necessárias para viabilizar os vários níveis de abstrações compatíveis com o tamanho, complexidade e domínio das famílias de software. O ponto de partida à obtenção de uma solução para esse problema é investigar a integração entre linha de produto de software (SPL) e engenharia guiada a modelos (MDE) por individualmente fornecerem um arcabouço para esse propósito; porém, pouco investigado para famílias de linguagens de domínio específico (DSL) como domínio de aplicação. Sendo assim, esse trabalho tem como objetivo apresentar um método de suporte à modelagem arquitetural de famílias de software com base em MDE composto por dois elementos: (i) o esquema de integração entre as engenharias e (ii) o framework arquitetural. O esquema elicita como a integração efetivamente ocorre e destaca as possibilidades de aplicação. Já o framework arquitetural complementa esse esquema de integração e ajuda a projetar visões arquiteturais e a integração entre as mesmas. Para conduzir a pesquisa, foi utilizada a metodologia ARDev (Agile Research Development) que tem como propósito auxiliar a gestão e produção dos artefatos de pesquisa. O método pro-posto é avaliado por meio de provas de conceito com aplicação em DSL's no domínio de dinâmica florestal e estimativa de carbono, selecionados por apresentarem requisitos e processos coerentes com a complexidade de observação do método e avaliação das implicações do mesmo sobre uma aplicação prática. Os resultados obtidos in-dicam que a integração entre as engenharias favorece a estruturação e adaptação da arquitetura. Já o framework ajuda o projetista a escolher, desenvolver e testar rapidamente abordagens usadas para a integração entre as engenharias e recuperar informações arquiteturais adotadas para um domínio.

Os Sistemas de Apoio à Decisão (SAD) organizam e processam dados e informações para gerar resultados que apoiem a tomada de decisão em um domínio especifico. Eles integram conhecimento de especialistas de domínio em cada um de seus componentes: modelos, dados, operações matemáticas (que processam os dados) e resultado de análises. Nas metodologias de desenvolvimento tradicionais, esse conhecimento deve ser interpretado e usado por desenvolvedores de software para implementar os SADs. Isso porque especialistas de domínio não conseguem formalizar esse conhecimento em um modelo computável que possa ser integrado aos SADs. O processo de modelagem de conhecimento é realizado, na prática, pelos desenvolvedores, parcializando o conhecimento do domínio e dificultando o desenvolvimento ágil dos SADs (já que os especialistas não modificam o código diretamente). Para solucionar esse problema, propõe-se um método e ferramenta web que usa ontologias, na Web Ontology Language (OWL), para representar o conhecimento de especialistas, e uma Domain Specific Language (DSL), para modelar o comportamento dos SADs. Ontologias, em OWL, são uma representação de conhecimento computável, que permite definir SADs em um formato entendível e accessível a humanos e máquinas. Esse método foi usado para criar o Framework Decisioner para a instanciação de SADs. O Decisioner gera automaticamente SADs a partir de uma ontologia e uma descrição naDSL, incluindo a interface do SAD (usando uma biblioteca de Web Components). Um editor online de ontologias, que usa um formato simplificado, permite que especialistas de domínio possam modificar aspectos da ontologia e imediatamente ver as consequência de suasmudanças no SAD.Uma validação desse método foi realizada, por meio da instanciação do SAD SustenAgro no Framework Decisioner. O SAD SustenAgro avalia a sustentabilidade de sistemas produtivos de cana-de-açúcar na região centro-sul do Brasil. Avaliações, conduzidas por especialistas em sustentabilidade da Embrapa Meio ambiente (parceiros neste projeto), mostraram que especialistas são capazes de alterar a ontologia e DSL usadas, sem a ajuda de programadores, e que o sistema produz análises de sustentabilidade corretas. / Decision Support Systems (DSSs) organize and process data and information to generate results to support decision making in a specific domain. They integrate knowledge from domain experts in each of their components: models, data, mathematical operations (that process the data) and analysis results. In traditional development methodologies, this knowledge must be interpreted and used by software developers to implement DSSs. That is because domain experts cannot formalize this knowledge in a computable model that can be integrated into DSSs. The knowledge modeling process is carried out, in practice, by the developers, biasing domain knowledge and hindering the agile development of DSSs (as domain experts cannot modify code directly). To solve this problem, a method and web tool is proposed that uses ontologies, in the Web Ontology Language (OWL), to represent experts knowledge, and a Domain Specific Language (DSL), to model DSS behavior. Ontologies, in OWL, are a computable knowledge representations, which allow the definition of DSSs in a format understandable and accessible to humans and machines. This method was used to create the Decisioner Framework for the instantiation of DSSs. Decisioner automatically generates DSSs from an ontology and a description in its DSL, including the DSS interface (using a Web Components library). An online ontology editor, using a simplified format, allows that domain experts change the ontology and immediately see the consequences of their changes in the in the DSS. A validation of this method was done through the instantiation of the SustenAgro DSS, using the Decisioner Framework. The SustenAgro DSS evaluates the sustainability of sugarcane production systems in the center-south region of Brazil. Evaluations, done by by sustainability experts from Embrapa Environment (partners in this project), showed that domain experts are capable of changing the ontology and DSL program used, without the help of software developers, and that the system produced correct sustainability analysis.

Made available in DSpace on 2015-03-05T14:01:20Z (GMT). No. of bitstreams: 0 Previous issue date: 19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Composição de serviços em dispositivos móveis está se tornando indispensável para as atuais e futuras necessidades dos usuários de TI. Estas necessidades são suportadas pela convergência de arquiteturas centralizadas para arquiteturas distribuídas que estimulam a composição de serviços web. Estes serviços web, motivados pela arquitetura Web Services, logo evoluíram para SOA. Esta arquitetura por sua vez, no contexto de orquestração de serviços, tem exigido linguagens de composição para sua efetiva implementação. Linguagens estas, que têm progredido para linguagens interpretadas e declarativas. Neste contexto de evolução, este trabalho apresenta, uma linguagem declarativa de composição de serviços chamada inSOA. Esta linguagem foi desenvolvida para ser executada em dispositivos móveis como parte de um projeto de uma arquitetura ubíqua colaborativa chamada de U-SOA. inSOA é uma solução focada em Web Services com vocação SOA e aderente aos patterns de composição de serviços, além de poder ser embutida em lin / Services composition on mobile devices is becoming essential for current and future needs of IT users. These needs are supported by the convergence from centralized to distributed architectures that encourage the web services composition. These web services, motivated by the Web Services architecture, soon evolved into an SOA. This architecture in turn, in the services orchestration, has required composition language for their effective implementation. These languages, has advanced to interpreted and declarative languages. In this evolution context, this work presents, a declarative language of services composition services called inSOA. This language was developed to execute on mobile devices as part of a project of a collaborative ubiquitous architecture called USOA. InSOA is a solution focused on Web Services and SOA adherent to the patterns of services composition, and can be embedded in a language of general purpose and light in the better DSL languages style. As a way to test and evaluate the langu

Os Sistemas de Apoio à Decisão (SAD) organizam e processam dados e informações para gerar resultados que apoiem a tomada de decisão em um domínio especifico. Eles integram conhecimento de especialistas de domínio em cada um de seus componentes: modelos, dados, operações matemáticas (que processam os dados) e resultado de análises. Nas metodologias de desenvolvimento tradicionais, esse conhecimento deve ser interpretado e usado por desenvolvedores de software para implementar os SADs. Isso porque especialistas de domínio não conseguem formalizar esse conhecimento em um modelo computável que possa ser integrado aos SADs. O processo de modelagem de conhecimento é realizado, na prática, pelos desenvolvedores, parcializando o conhecimento do domínio e dificultando o desenvolvimento ágil dos SADs (já que os especialistas não modificam o código diretamente). Para solucionar esse problema, propõe-se um método e ferramenta web que usa ontologias, na Web Ontology Language (OWL), para representar o conhecimento de especialistas, e uma Domain Specific Language (DSL), para modelar o comportamento dos SADs. Ontologias, em OWL, são uma representação de conhecimento computável, que permite definir SADs em um formato entendível e accessível a humanos e máquinas. Esse método foi usado para criar o Framework Decisioner para a instanciação de SADs. O Decisioner gera automaticamente SADs a partir de uma ontologia e uma descrição naDSL, incluindo a interface do SAD (usando uma biblioteca de Web Components). Um editor online de ontologias, que usa um formato simplificado, permite que especialistas de domínio possam modificar aspectos da ontologia e imediatamente ver as consequência de suasmudanças no SAD.Uma validação desse método foi realizada, por meio da instanciação do SAD SustenAgro no Framework Decisioner. O SAD SustenAgro avalia a sustentabilidade de sistemas produtivos de cana-de-açúcar na região centro-sul do Brasil. Avaliações, conduzidas por especialistas em sustentabilidade da Embrapa Meio ambiente (parceiros neste projeto), mostraram que especialistas são capazes de alterar a ontologia e DSL usadas, sem a ajuda de programadores, e que o sistema produz análises de sustentabilidade corretas. / Decision Support Systems (DSSs) organize and process data and information to generate results to support decision making in a specific domain. They integrate knowledge from domain experts in each of their components: models, data, mathematical operations (that process the data) and analysis results. In traditional development methodologies, this knowledge must be interpreted and used by software developers to implement DSSs. That is because domain experts cannot formalize this knowledge in a computable model that can be integrated into DSSs. The knowledge modeling process is carried out, in practice, by the developers, biasing domain knowledge and hindering the agile development of DSSs (as domain experts cannot modify code directly). To solve this problem, a method and web tool is proposed that uses ontologies, in the Web Ontology Language (OWL), to represent experts knowledge, and a Domain Specific Language (DSL), to model DSS behavior. Ontologies, in OWL, are a computable knowledge representations, which allow the definition of DSSs in a format understandable and accessible to humans and machines. This method was used to create the Decisioner Framework for the instantiation of DSSs. Decisioner automatically generates DSSs from an ontology and a description in its DSL, including the DSS interface (using a Web Components library). An online ontology editor, using a simplified format, allows that domain experts change the ontology and immediately see the consequences of their changes in the in the DSS. A validation of this method was done through the instantiation of the SustenAgro DSS, using the Decisioner Framework. The SustenAgro DSS evaluates the sustainability of sugarcane production systems in the center-south region of Brazil. Evaluations, done by by sustainability experts from Embrapa Environment (partners in this project), showed that domain experts are capable of changing the ontology and DSL program used, without the help of software developers, and that the system produced correct sustainability analysis.