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

Uma linguagem de modelagem da interação para auxiliar a comunicação designer-usuário

The development of interactive systems involves several professionals and the integration between them normally uses common artifacts, such as models, that drive the development process. In the model-driven development approach, the interaction model is an artifact that includes the most of the aspects related to what and how the user can do while he/she interacting with the system. Furthermore, the interactive model may be used to identify usability problems at design time. Therefore, the central problematic addressed by this thesis is twofold. In the first place, the interaction modeling, in a perspective that helps the designer to explicit to developer, who will implement the interface, the aspcts related to the interaction process. In the second place, the anticipated identification of usability problems, that aims to reduce the application final costs. To achieve these goals, this work presents (i) the ALaDIM language, that aims to help the designer on the conception, representation and validation of his interactive message models; (ii) the ALaDIM editor, which was built using the EMF (Eclipse Modeling Framework) and its standardized technologies by OMG (Object Management Group); and (iii) the ALaDIM inspection method, which allows the anticipated identification of usability problems using ALaDIM models. ALaDIM language and editor were respectively specified and implemented using the OMG standards and they can be used in MDA (Model Driven Architecture) activities. Beyond that, we evaluated both ALaDIM language and editor using a CDN (Cognitive Dimensions of Notations) analysis. Finally, this work reports an experiment that validated the ALaDIM inspection method

A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

CALV3 - Uma linguagem específica de domínio para segurança em sistemas corporativos: um estudo de caso sistemático na indústria

The academic community and software industry have shown, in recent years, substantial interest in approaches and technologies related to the area of model-driven development (MDD). At the same time, continues the relentless pursuit of industry for technologies to raise productivity and quality in the development of software products. This work aims to explore those two statements, through an experiment carried by using MDD technology and evaluation of its use on solving an actual problem under the security context of enterprise systems. By building and using a tool, a visual DSL denominated CALV3, inspired by the software factory approach: a synergy between software product line, domainspecific languages and MDD, we evaluate the gains in abstraction and productivity through a systematic case study conducted in a development team. The results and lessons learned from the evaluation of this tool within industry are the main contributions of this work

LWiSSy: uma linguagem específica de domínio para modelagem de sistemas de redes de sensores e atuadores sem fio

The field of Wireless Sensor and Actuator Networks (WSAN) is fast increasing and has attracted the interest of both the research community and the industry because of several factors, such as the applicability of such networks in different application domains (aviation, civil engineering, medicine, and others). Moreover, advances in wireless communication and the reduction of hardware components size also contributed for a fast spread of these networks. However, there are still several challenges and open issues that need to be tackled in order to achieve the full potential of WSAN usage. The development of WSAN systems is one of the most relevant of these challenges considering the number of variables involved in this process. Currently, a broad range of WSAN platforms and low level programming languages are available to build WSAN systems. Thus, developers need to deal with details of different sensor platforms and low-level programming abstractions of sensor operational systems on one hand, and they also need to have specific (high level) knowledge about the distinct application domains, on the other hand. Therefore, in order to decouple the handling of these two different levels of knowledge, making easier the development process of WSAN systems, we propose LWiSSy (Domain Language for Wireless Sensor and Actuator Networks Systems), a domain specific language (DSL) for WSAN. The use of DSLs raises the abstraction level during the programming of systems and modularizes the system building in several steps. Thus, LWiSSy allows the domain experts to directly contribute in the development of WSANs without having knowledge on low level sensor platforms, and network experts to program sensor nodes to meet application requirements without having specific knowledge on the application domain. Additionally, LWiSSy enables the system decomposition in different levels of abstraction according to structural and behavioral features and granularities (network, node group and single node level programming)

Sistema de aquisição de dados para estudos de transiente de pressão e detecção de vazamentos em oleodutos

In February 2011, the National Agency of Petroleum, Natural Gas and Biofuels (ANP) has published a new Technical Rules for Handling Land Pipeline Petroleum and Natural Gas Derivatives (RTDT). Among other things, the RTDT made compulsory the use of monitoring systems and leak detection in all onshore pipelines in the country. This document provides a study on the method for detection of transient pressure. The study was conducted on a industrial duct 16" diameter and 9.8 km long. The pipeline is fully pressurized and carries a multiphase mixture of crude oil, water and natural gas. For the study, was built an infrastructure for data acquisition and validation of detection algorithms. The system was designed with SCADA architecture. Piezoresistive sensors were installed at the ends of the duct and Digital Signal Processors (DSPs) were used for sampling, storage and processing of data. The study was based on simulations of leaks through valves and search for patterns that characterize the occurrence of such phenomena

Códigos de sustentação da linguagem no cotidiano prisional do Rio Grande do Norte: penitenciária estadual de Parnamirim

The quarrel, in this study, tells about the language as social practical in the daily of Parnamirim State Prison that is integrated to the Rio Grande do Norte Penitentiary System - SISPERN, destined for men in fulfilment of penalty privative of freedom, in closed regimen. For the accomplishment of the research, the delimited objectives had been to analyze the language repertoires created in the prisional daily, trying to identify how it´s turned into distinct forms of resistance to the mechanisms of control in penitentiary system; to investigate which are the language repertoires created from the new sociability forms developed among prisoners and identify how the language repertoires are expressed in the daily prisional on relations/exercises of power not-institutionalized. In the methodological aspect, the study is in a qualitative boarding, that has as main instrument the interview. The inquiry was possible by means of using instruments for data collection, like as: the direct comment in the prisional daily duly registered as researcher´s ethnographical procedure, the analysis of interns´ cadastre handbooks and the application of half-structuralized interview, to the subjects of the research. The construction and understanding of the study object had been based on authors who argue on the arrest, as: Foucault, Goffman, Carvalho Filho and, in particular was searched the theorical referencial that approaches the language in a social and cultural perspective: Orlandi, Manfred, Bastos and Candiotto, amongst others. Beyond the normative endorsement of the Brazilian legislation, through the Law of Criminal Execution, of the Criminal Code and the Federal Constitution of the country and the legal apparatus in state scope. Still in the research methodological perspective, after the collection the data had been submitted to an analysis of the speech from Foucalt´s theory and in the Orlandi´s perspective, being also qualitative and quantitative. The results had evidenced that the social and juridical profile of the population in the site inquired is not different of others Brazilian prisons, composed for men, in its majority, with age band between 21 and 30 years old, prisoners for practicing crimes against the patrimony, against life, amongst others, and, in special, criminal recidivists. It evidenced, still, that the daily prisional of PSP is characterized for a sociocultural diversity expressed in the relations of power not institutionalized, that contributes for the formation and division of the groups, each one using a set of language codes/ repertoires sustentation. Therefore, the language, in the daily prisional, is one of the ways to understand the singularity of the sociability relations and as social practicing mediated by relations/exercises of power and antagonistic interests, in which each group aims first of all, their own interests. It represents the complexity of the social relations, in the prisional space, with diverse effects, in function of the situation and the moment. The language in the arrest, beyond the communication function, assumes and represents central element for the sociability human being, contributes for its changings and it´s configured as one of the resistance forms of prisoners against the controling, disciplining and monitoring mechanisms of penitentiary system

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

Crítica ao fundacionismo cartesiano com base no argumento contra a linguagem privada

This assignment ains to prove the pertinency of using the wittgenstein´s argument against private language as a criticism to cartesian fundacionism. Therefore, I want to demonstrate in the first chaper the conceptual viability of facing the cartesian argument of cogito not as a simple silogism but as an exemple of a private experience (process of thinking). At the second chaper, the subordination of the argument against private language give us the idea that rules can only be followed by means of corrections givem by a linguistic community that is external to the private subject, in a way to be unviable the assumption that is possible to name an internal experience without searching external rules of the use of terms. At the chaper 3 the pertinency of the hypothesis raised by A. Kenny, about the overtaking of the argument against private language can be extended to the idea of epistemic and ontologic privacy that would lend validity to the fundacion present at the argument at the cartesian cogito. In oder to become evident the pertinency of use of Wittgenstein´s argument agaist Descartes´ fundation, it´s necessary, at the chaper 3, to demonstrate the impertinency of the objection to the A. Kenny´s hypothesis, based on the experiency of the thought of the brain at the recipient, to make clear the incompatibility existing between the cartesian idea of cogito and Wittgenstein´s notion that language is an activitie followed by rules, wich correction criterion may be external and intersubjective

Aquisição, processamento e análise de dados de sísmica de alta resolução na plataforma continental norte do Rio Grande do Norte: Vale inciso do rio açu

On the modern Continental Shelf to the north of Rio Grande do Norte state (NE Brazil) is located a paleo-valley, submerged during the last glacial sea-level lowstand, that marks continuation of the most important river of this area (Açu River). Despite the high level of exploration activity of oil industry, there is few information about shallow stratigraphy. Aiming to fill this gap, situated on the Neogene, was worked a marine seismic investigation, the development of a processing flow for high resolution data seismic, and the recognition of the main feature morphology of the study area: the incised valley of the River Açu. The acquisition of shallow seismic data was undertaken in conjunction with the laboratory of Marine Geology/Geophysics and Environmental Monitoring - GGEMMA of Federal University of Rio Grande do Norte UFRN, in SISPLAT project, where the geomorphological structure of the Rio paleovale Açu was the target of the investigation survey. The acquisition of geophysical data has been over the longitudinal and transverse sections, which were subsequently submitted to the processing, hitherto little-used and / or few addressed in the literature, which provided a much higher quality result with the raw data. Once proposed for the flow data was developed and applied to the data of X-Star (acoustic sensor), using available resources of the program ReflexW 4.5 A surface fluvial architecture has been constructed from the bathymetric data and remote sensing image fused and draped over Digital Elevation Models to create three-dimensional (3D) perspective views that are used to analyze the 3D geometry geological features and provide the mapping morphologically defined. The results are expressed in the analysis of seismic sections that extend over the region of the continental shelf and upper slope from mouth of the Açu River to the shelf edge, providing the identification / quantification of geometrical features such as depth, thickness, horizons and units seismic stratigraphyc area, with emphasis has been placed on the palaeoenvironmental interpretation of discordance limit and fill sediment of the incised valley, control by structural elements, and marked by the influence of changes in the sea level. The interpretation of the evolution of this river is worth can bring information to enable more precise descriptions and interpretations, which describes the palaeoenvironmental controls influencing incised valley evolution and preservation to provide a better comprehensive understanding of this reservoir analog system

O programa de aquisição de alimentos (PAA) e as transformações socioterritoriais no Rio Grande do Norte

The Acquisition Food Program (Programa de Aquisição de Alimentos – PAA) is one of the governmental public politics proposed, in the year of 2003, that has the focus in the family-run farm in Brazil. This Program has as objectives: commercialize the familyrun farm products, bought by the government agencies; to encourage production, and promoting actions that improve quality food of people facing starving risk. This Program has been working, to some extent, as complement to the Program of family-run farm Enhancement (PRONAF). The present study has as its focus to analyse the social territorials changes observed in the state of Rio Grande do Norte, as a result of the PAA implementation. In this sense, it was promoted a discussion between territory and rules. I this work, public politics are understood as rules. This procedure was important in order to understand how the rules have influenced territorial changes, creating new social and territorial relations. In the research process was used scientific and institutional texts on the subject. It was applied a quiz with 97 PAA’s supplying farmers, and interviews were done with the Program managers in Federal (MDA), State (CONAB and EMATER) and municipal (local office of EMATER and Departments of Agriculture) levels. Social public politics were also analyzed with the aim of understand the context where PAA is situated in relation with the public politics directed to familyrun farm as a whole since 1980, within new Brazilian democratization process. With the information collected in the field, plus the secondary data, maps, charts, tables and cartograms were made. With all of this, a socio-economical profile of the family-run farm in the Rio Grande do Norte was traced, as well as the included in this research. Before this picture, we concluded that PAA indeed represents a forward in public politics directed to family-run farm. However, in spite of the importance of the Program for the family-run farmers to come of age, but in order to the rural and family-run farm reality in the Rio Grande do Norte come to present meaningful changes much still remain to be done.

Identidades coletivas de estudiosos da linguagem no currículo lattes: docência, pertença social e capital cultural-acadêmico

The discussion involving the identity of social actors has taken place for some years, however, it has become significant for the discourse studies over the last years due to the fragmentation of postmodern actors. Understanding the identity as a symbolic concept that can aid in the detection of certain realities - a kind of mechanism / a magnifying glass (MERLUCCI, 1985) - you can check the linguistic materiality of the introductory text of the lattes resume as a adequate place for the formation of collective identities . The aim of this dissertation is to reflect, in a time of postmodernity, through the lattes introductory curriculum texts, the collective identities of the language researchers are portrayed in discursive and social practices based on the accumulation of cultural and academic capital. For analysis, surrounding the indisciplinary posture in Applied Linguistics (MOITA-LOPES, 2006), the descriptive / interpretive methodology was used (MAGALHÃES, 2001). Whereas the study method and the social theory, as state reasons of the research makes use of the Sociological Approach and Communicational Discourse, chain linked to the assumptions of Critical Discourse Analysis (PEDROSA, 2012a). The corpus is constituted of twenty-seven introductory texts from the lattes curriculum of language researchers, connected to three institutions of higher learning in Sergipe. After the collection, on the lattes platform, and the numbering of the curriculum in order to achieve the research objective, we performed the analysis based on three identity themes: teaching, social belonging (BAJOIT, 2006; DESCHAMPS; MOLINER, 2009) and the accumulation of academic-cultural capital (BOURDIEU, 2004; HEY, 2008). The data show that the texts of the lattes curriculum are based on hegemonic and ideological principals, referring to the accumulation of academic assets, the valuation of actors and the hierarchical positions, recognized and ratified by couples who socialize among themselves Right now, the research allows us to infer that, in postmodernity, some collective identity assumptions, contribute to the understanding of the academic reality, around the the lattes curriculum.

Uma linguagem de descrição arquitetural baseada em uma arquitetura de referência para sistemas ubíquos

A computação ubíqua é um paradigma no qual dispositivos com capacidade de processamento e comunicação são embutidos nos elementos comuns de nossas vidas (casas, carros, máquinas fotográficas, telefones, escolas, museus, etc), provendo serviços com um alto grau de mobilidade e transparência. O desenvolvimento de sistemas ubíquos é uma tarefa complexa, uma vez que envolve várias áreas da computação, como Engenharia de Software, Inteligência Artificial e Sistemas Distribuídos. Essa tarefa torna-se ainda mais complexa pela ausência de uma arquitetura de referência para guiar o desenvolvimento de tais sistemas. Arquiteturas de referência têm sido usadas para fornecer uma base comum e dar diretrizes para a construção de arquiteturas de softwares para diferentes classes de sistemas. Por outro lado, as linguagens de descrição arquitetural (ADLs) fornecem uma sintaxe para representação estrutural dos elementos arquiteturais, suas restrições e interações, permitindo-se expressar modelo arquitetural de sistemas. Atualmente não há, na literatura, ADLs baseadas em arquiteturas de referência para o domínio de computação ubíqua. De forma a permitir a modelagem arquitetural de aplicações ubíquas, esse trabalho tem como objetivo principal especificar UbiACME, uma linguagem de descrição arquitetural para aplicações ubíquas, bem como disponibilizar a ferramenta UbiACME Studio, que permitirá arquitetos de software realizar modelagens usando UbiACME. Para esse fim, inicialmente realizamos uma revisão sistemática, de forma a investigar na literatura relacionada com sistemas ubíquos, os elementos comuns a esses sistemas que devem ser considerados no projeto de UbiACME. Além disso, com base na revisão sistemática, definimos uma arquitetura de referência para sistemas ubíquos, RA-Ubi, que é a base para a definição dos elementos necessários para a modelagem arquitetural e, portanto, fornece subsídios para a definição dos elementos de UbiACME. Por fim, de forma a validar a linguagem e a ferramenta, apresentamos um experimento controlado onde arquitetos modelam uma aplicação ubíqua usando UbiACME Studio e comparam com a modelagem da mesma aplicação em SySML.

O canto dos vestibulandos em 140 caracteres: linguagem e construção de identidades no Twitter

The revolution caused by the internet and its various social networks eventually bring forth fruitful reflections on cyberculture and the power of identity construction. What seemed purely fashion has become way of being, representation of self, reality creation (Lévy, 1996). Considering language as a social phenomenon, which occurs through interaction, as explicit in Bakhtin (1929), the speech aired on social networks shapes the profile of their users, constructing identities which, according to Hall (2006), are multiple and non-permanent . This research seeks to examine the use of Twitter by school students, developing a reflection on the construction of their own identities in cyberspace. The subjects are students of Educandário Nossa Senhora das Vitórias, private school in Assú/RN, all graduates from high school. Understanding the Vestibular year as a decisive and a reflection engine ever present about their condition of students, subjects eventually express their anxieties, fears and perspectives in the virtual environment, providing us with enough material to analyze how they are high school students, expectations for appropriate selection processes, plus several representations belonging to the school environment. From the discourse conveyed on Twitter expressed in Featured posts, this study reveals the identities of high school students that emerge from it, which led the cast of some evidence. From them, despite the multiplicity of identities observed, presented some common aspects that corroborate the requirements provided for specific objectives, such as: feeling of belonging to a group - class and school; change of routine and behavior towards education; desecration of traditional teaching practices; changing the identity of students'writings. The analysis of postings enables us to know the perceptions of students regarding the school, the disciplines , the pace of studies, interest in school practices, and from such evidence, the perception of how vestibular modify your daily life and a fondness their identities as school students.