MaRISA-AOCode: uma abordagem genérica para geração de código orientado a aspectos

Currently there are several aspect-oriented approaches that are related to different stages of software development process. These approaches often lack integration with each other and their models and artifacts are not aligned in a coherent process. The integration of Aspect-Oriented Software development (AOSD) and Model-Driven Development (MDD) enables automatic propagation of models from one phase to another, avoiding loss of important information and decisions established in each. This paper presents a model driven approach, called Marisa-AOCode, which supports the processing of detailed design artifacts to code in different Aspect-Oriented Programming languages. The approach proposed by Maris- AOCode defines transformation rules between aSideML, a modeling language for aspectoriented detailed design, and Metaspin, a generic metamodel for aspect-oriented programming languages. The instantiation of the generic metamodel (Metaspin) provided by the approach of Maris-AOCode is illustrated by the transformation of Metaspin for two languages: AspectLua and CaesarJ. We illustrate the approach with a case study based on the Health Watcher System

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Geração procedural de cenários orientada a objetivos

The game industry has been experiencing a consistent increase in production costs of games lately. Part of this increase refers to the current trend of having bigger, more interactive and replayable environments. This trend translates to an increase in both team size and development time, which makes game development a even more risky investment and may reduce innovation in the area. As a possible solution to this problem, the scientific community is focusing on the generation of procedural content and, more specifically, on procedurally generated levels. Given the great diversity and complexity of games, most works choose to deal with a specific genre, platform games being one of the most studied. This work aims at proposing a procedural level generation method for platform/adventure games, a fairly more complex genre than most classic platformers which so far has not been the subject of study from other works. The level generation process was divided in two steps, planning and viusal generation, respectively responsible for generating a compact representation of the level and determining its view. The planning stage was divided in game design and level design, and uses a goaloriented process to output a set of rooms. The visual generation step receives a set of rooms and fills its interior with the appropriate parts of previously authored geometry

Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

AutoWebS: um Ambiente para Modelagem e Geração Automática de ServiçosWeb Semânticos

Typically Web services contain only syntactic information that describes their interfaces. Due to the lack of semantic descriptions of the Web services, service composition becomes a difficult task. To solve this problem, Web services can exploit the use of ontologies for the semantic definition of service s interface, thus facilitating the automation of discovering, publication, mediation, invocation, and composition of services. However, ontology languages, such as OWL-S, have constructs that are not easy to understand, even for Web developers, and the existing tools that support their use contains many details that make them difficult to manipulate. This paper presents a MDD tool called AutoWebS (Automatic Generation of Semantic Web Services) to develop OWL-S semantic Web services. AutoWebS uses an approach based on UML profiles and model transformations for automatic generation of Web services and their semantic description. AutoWebS offers an environment that provides many features required to model, implement, compile, and deploy semantic Web services

Instanciação e avaliação de um framework para a geração dinâmica de processos

One way to deal with the high complexity of current software systems is through selfadaptive systems. Self-adaptive system must be able to monitor themselves and their environment, analyzing the monitored data to determine the need for adaptation, decide how the adaptation will be performed, and finally, make the necessary adjustments. One way to perform the adaptation of a system is generating, at runtime, the process that will perform the adaptation. One advantage of this approach is the possibility to take into account features that can only be evaluated at runtime, such as the emergence of new components that allow new architectural arrangements which were not foreseen at design time. In this work we have as main objective the use of a framework for dynamic generation of processes to generate architectural adaptation plans on OSGi environment. Our main interest is evaluate how this framework for dynamic generation of processes behave in new environments

Geração de testes a partir de gramáticas: áreas de aplicação

The work proposed by Cleverton Hentz (2010) presented an approach to define tests from the formal description of a program s input. Since some programs, such as compilers, may have their inputs formalized through grammars, it is common to use context-free grammars to specify the set of its valid entries. In the original work the author developed a tool that automatically generates tests for compilers. In the present work we identify types of problems in various areas where grammars are used to describe them , for example, to specify software configurations, which are potential situations to use LGen. In addition, we conducted case studies with grammars of different domains and from these studies it was possible to evaluate the behavior and performance of LGen during the generation of sentences, evaluating aspects such as execution time, number of generated sentences and satisfaction of coverage criteria available in LGen

Geração de processos WS-BPEL com base em um algoritmo de reescrita de regras

Web services are computational solutions designed according to the principles of Service Oriented Computing. Web services can be built upon pre-existing services available on the Internet by using composition languages. We propose a method to generate WS-BPEL processes from abstract specifications provided with high-level control-flow information. The proposed method allows the composition designer to concentrate on high-level specifi- cations, in order to increase productivity and generate specifications that are independent of specific web services. We consider service orchestrations, that is compositions where a central process coordinates all the operations of the application. The process of generating compositions is based on a rule rewriting algorithm, which has been extended to support basic control-flow information.We created a prototype of the extended refinement method and performed experiments over simple case studies

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Implicações socioeconômicas e ambientais da pesca artesanal de lagosta em Touros/RN

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Geologia, Geocronologia, Geoquímica e Petrogênese das Rochas Ígneas Cretácicas da Província Magmática do Cabo e suas Relações com as Unidades Sedimentares da Bacia de Pernambuco (NE do Brasil)

The area studied forms a thin NNE-directed belt situated south of Recife town (Pernambuco state), northeastern Brazil. Geologically, it comprises the Pernambuco Basin (PB), which is limited by the Pernambuco Lineament to the north, the Maragogi high to the south and the Pernambuco Alagoas massif to the west, all of them with Precambrian age. This thesis reports the results obtained for the Cabo Magmatic Province (CMP), aiming the characterization of the geology, stratigraphy, geochronology, geochemistry and petrogenesis of the Cretaceous igneous rocks presented in the PB. The PB is composed of the Cabo Formation (rift phase) at the base (polymictic conglomerates, sandstones, shales), an intermediate unit, the Estiva Formation (marbles and argillites), and, at the top, the Algodoais Formation (monomictic conglomerates, sandstones, shales). The CMP is represented by trachytes, rhyolites, pyroclastics (ignimbrites), basalts / trachy-andesites, monzonites and alkali-feldspar granite, which occur as dykes, flows, sills, laccoliths and plugs. Field observations and well descriptions show that the majority of the magmatic rocks have intrusive contacts with the Cabo Formation, although some occurrences are also suggestive of synchronism between volcanism and siliciclastic sedimentation. 40Ar/39Ar and zircon fission tracks for the magmatic rocks indicate an average age of 102 r 1 Ma for the CMP. This age represents an expressive event in the province and is detected in all igneous dated materials. It is considered as a minimum age (Albian) for the magmatic episode and the peak of the rift phase in the PB. The 40Ar/39Ar dates are about 10-14 Ma younger than published palynologic ages for this basin. Geochemically, the CMP may be divided in two major groups; i) a transitional to alkaline suite, constituted by basalts to trachy-andesites (types with fine-grained textures and phenocrysts of sanidine and plagioclase), trachytes (porphyrytic texture, with phenocrysts of sanidine and plagioclase) and monzonites; ii) a alkaline suite, highly fractionated, acidic volcano-plutonic association, formed by four subtypes (pyroclastic flows ignimbrites, fine-to medium-grained rhyolites, a high level granite, and later rhyolites). These four types are distinguished essentially by field aspects and petrographic and textural features. Compatible versus incompatible trace element concentrations and geochemical modeling based on both major and trace elements suggest the evolution through low pressure fractional crystallization for trachytes and other acidic rocks, whereas basalts / trachy-andesites and monzonites evolved by partial melting from a mantle source. Sr and Nd isotopes reveal two distinct sources for the rocks of the CMP. Concerning the acidic ones, the high initial Sr ratios (ISr = 0.7064-1.2295) and the negative HNd (-0.43 to -3.67) indicate a crustal source with mesoproterozoic model ages (TDM from 0.92 to 1.04 Ga). On the other hand, the basic to intermediate rocks have low ISr (0.7031-0.7042) and positive HNd (+1.28 to +1.98), which requires the depleted mantle as the most probable source; their model ages are in the range 0.61-0.66 Ga. However, the light rare earth enrichment of these rocks and partial melting modeling point to an incompatible-enriched lherzolitic mantle with very low quantity of garnet (1-3%). This apparent difference between geochemical and Nd isotopes may be resolved by assuming that the metasomatizing agent did not obliterate the original isotopic characteristics of the magmas. A 2 to 5% partial melting of this mantle at approximately 14 kbar and 1269oC account very well the basalts and trachy-andesites studied. By using these pressure and temperatures estimates for the generation of the basaltic to trachy-andesitic magma, it is determined a lithospheric stretching (E) of 2.5. This E value is an appropriated estimate for the sub-crustal stretching (astenospheric or the base of the lithosphere?) region under the Pernambuco Basin, the crustal stretching probably being lower. The integration of all data obtained in this thesis permits to interpret the magmatic evolution of the PB as follows; 1st) the partial melting of a garnet-bearing lherzolite generates incompatible-enriched basaltic, trachy-andesitic and monzonitic magmas; 2nd) the underplating of these basaltic magmas at the base of the continental crust triggers the partial melting of this crust, and thus originating the acidic magmas; 3rd) concomitantly with the previous stage, trachytic magmas were produced by fractionation from a monzonitic to trachy-andesitic liquid; 4th) the emplacement of the several magmas in superficial (e.g. flows) or sub-superficial (e.g. dykes, sills, domes, laccoliths) depths was almost synchronically, at about 102 r 1 Ma, and usually crosscutting the sedimentary rocks of the Cabo Formation. The presence of garnet in the lherzolitic mantle does not agree with pressures of about 14 kbar for the generation of the basaltic magma, as calculated based on chemical parameters. This can be resolved by admitting the astenospheric uplifting under the rift, which would place deep and hot material (mantle plume?) at sub-crustal depths. The generation of the magmas and their subsequent emplacement would be coupled with the crustal rifting of the PB, the border (NNE-SSW directed) and transfer (NW-SE directed) faults serving as conduits for the magma emplacement. Based on the E parameter and the integration of 40Ar/39Ar and palynologic data it is interpreted a maximum duration of 10-14 Ma for the rift phase (Cabo Formation clastic sedimentation and basic to acidic magmatism) of the PB

Proposta metodológica para o imageamento, caracterização, parametrização e geração de modelos virtuais de afloramentos

The aim of this work was to describe the methodological procedures that were mandatory to develop a 3D digital imaging of the external and internal geometry of the analogue outcrops from reservoirs and to build a Virtual Outcrop Model (VOM). The imaging process of the external geometry was acquired by using the Laser Scanner, the Geodesic GPS and the Total Station procedures. On the other hand, the imaging of the internal geometry was evaluated by GPR (Ground Penetrating Radar).The produced VOMs were adapted with much more detailed data with addition of the geological data and the gamma ray and permeability profiles. As a model for the use of the methodological procedures used on this work, the adapted VOM, two outcrops, located at the east part of the Parnaiba Basin, were selected. On the first one, rocks from the aeolian deposit of the Piaui Formation (Neo-carboniferous) and tidal flat deposits from the Pedra de Fogo Formation (Permian), which arises in a large outcrops located between Floriano and Teresina (Piauí), are present. The second area, located at the National Park of Sete Cidades, also at the Piauí, presents rocks from the Cabeças Formation deposited in fluvial-deltaic systems during the Late Devonian. From the data of the adapted VOMs it was possible to identify lines, surfaces and 3D geometry, and therefore, quantify the geometry of interest. Among the found parameterization values, a table containing the thickness and width, obtained in canal and lobes deposits at the outcrop Paredão and Biblioteca were the more relevant ones. In fact, this table can be used as an input for stochastic simulation of reservoirs. An example of the direct use of such table and their predicted radargrams was the identification of the bounding surface at the aeolian sites from the Piauí Formation. In spite of such radargrams supply only bi-dimensional data, the acquired lines followed of a mesh profile were used to add a third dimension to the imaging of the internal geometry. This phenomenon appears to be valid for all studied outcrops. As a conclusion, the tool here presented can became a new methodology in which the advantages of the digital imaging acquired from the Laser Scanner (precision, accuracy and speed of acquisition) were combined with the Total Station procedure (precision) using the classical digital photomosaic technique

Desenvolvendo e gerenciando compostagem de resíduos sólidos urbanos: para geração de renda e repasse de tecnologia à acrevi

Nowadays, as well as in the past decades, the dumping of biodegradable organic waste in landfill is common practice in Brazil, as well as in most parts of the world. Nevertheless due to its rapid decomposition and release of odors, this practice hamper’s the operation and implementation of a recycling system. These facts encouraged our research to find an efficient system for the management of organic waste, not only for the use of official workers responsible for managing these wastes, but also for non-governmental institutions. The Recycling for Life Community Association – ACREVI (Associação Comunitária Reciclando para a Vida), together with the municipal authorities of Mossoró-RN, Brazil, have assumed the social role of collecting and recycling solid waste produced by most of the local population. However, it was observed that the organic waste it collected was not receiving any treatment. This present work aims to make compost with mixed waste (green waste and organic household), and then do chemical analysis of the material in view to use the waste as organic fertilizer. The objective being: to share the knowledge acquired by putting it into a very simple language accessible to people with little education. The experiment was conducted at ACREVI, Mossoró (RN), and the compost was obtained following the method "windrow", forming three cells (I, II, III) with conical shape, dimensions of 1.6 meters and 2.0 meters in diameter for cells I and II, and 1.0 meters high and 2.0 meters in diameter for cell III. The process was accompanied by analysis: CHN elemental, a variation of cell temperature, humidity, pH, TKN, bulk density, nutrients and heavy metals. Stabilized organic compounds reached the C/N ratio of 10.4/1 cell I and 10.4/1 in the cell II in the cell, showing how good soil conditions, with potential to improve the physical properties of any soil and pH acid soils, has presented the cell III at the end of the process the C/N 26/1, is a high ratio may be associated with the stack size III, thus changing the optimal conditions for the occurrence of the process. The levels of heavy metals in the analyzed compounds were lower than those established by the SDA normative instruction, Nº 27, of 5 June, 2006. The use of pruning trees and grass are used in small-scale composting, while generating a quality compost in the final process, it also created an important condition for a correct sizing of the composting piles. Under the studied conditions it is not advisable to use cells with a height of 1.00 m in height and 2.00 m in diameter, as these do not prevent the rapid dissipation of heat and thus can not be a good product at the end of composting. The composting process in the shed of the association and the preparation of the primer enabled the development of an alternative technology to generate income for members of ACREVI.

Uso do GPR na geração de modelos estáticos 3D para o planejamento de lavra de minerais pesados depositados em dunas eólicas

This project was developed as a partnership between the Laboratory of Stratigraphical Analyses of the Geology Department of UFRN and the company Millennium Inorganic Chemicals Mineração Ltda. This company is located in the north end of the paraiban coast, in the municipal district of Mataraca. Millennium has as main prospected product, heavy minerals as ilmenita, rutilo and zircon presents in the sands of the dunes. These dunes are predominantly inactive, and overlap the superior portion of Barreiras Formation rocks. The mining happens with the use of a dredge that is emerged at an artificial lake on the dunes. This dredge removes sand dunes of the bottom lake (after it disassembles of the lake borders with water jets) and directs for the concentration plant, through piping where the minerals are then separate. The present work consisted in the acquisition external geometries of the dunes, where in the end a 3D Static Model could be set up of these sedimentary deposits with emphasis in the behavior of the structural top of Barreiras Formation rocks (inferior limit of the deposit). The knowledge of this surface is important in the phase of the plowing planning for the company, because a calculation mistake can do with that the dredge works too close of this limit, taking the risk that fragments can cause obstruction in the dredge generating a financial damage so much in the equipment repair as for the stopped days production. During the field stages (accomplished in 2006 and 2007) topographical techniques risings were used with Total Station and Geodesic GPS as well as shallow geophysical acquisitions with GPR (Ground Penetrating Radar). It was acquired almost 10,4km of topography and 10km of profiles GPR. The Geodesic GPS was used for the data geopositioning and topographical rising of a traverse line with 630m of extension in the stage of 2007. The GPR was shown a reliable method, ecologically clean, fast acquisition and with a low cost in relation to traditional methods as surveys. The main advantage of this equipment is obtain a continuous information to superior surface Barreiras Formation rocks. The static models 3D were elaborated starting from the obtained data being used two specific softwares for visualization 3D: GoCAD 2.0.8 and Datamine. The visualization 3D allows a better understanding of the Barreiras surface behavior as well as it makes possible the execution of several types of measurements, favoring like calculations and allowing that procedures used for mineral extraction is used with larger safety