Um ambiente para especificação e execução AD-HOC de processos de negócio baseados em serviços Web

Recently the focus given to Web Services and Semantic Web technologies has provided the development of several research projects in different ways to addressing the Web services composition issue. Meanwhile, the challenge of creating an environment that provides the specification of an abstract business process and that it is automatically implemented by a composite service in a dynamic way is considered a currently open problem. WSDL and BPEL provided by industry support only manual service composition because they lack needed semantics so that Web services are discovered, selected and combined by software agents. Services ontology provided by Semantic Web enriches the syntactic descriptions of Web services to facilitate the automation of tasks, such as discovery and composition. This work presents an environment for specifying and ad-hoc executing Web services-based business processes, named WebFlowAH. The WebFlowAH employs common domain ontology to describe both Web services and business processes. It allows processes specification in terms of users goals or desires that are expressed based on the concepts of such common domain ontology. This approach allows processes to be specified in an abstract high level way, unburdening the user from the underline details needed to effectively run the process workflow

CrossMDA-SPL: uma abordagem para gerência de variabilidades dirigida por modelos e aspectos

This paper proposes a systematic approach to management of variability modelsdriven and aspects using the mechanisms of approaches Aspect-Oriented Software Development (AOSD) and Model-Driven Development (MDD). The main goal of the approach, named CrossMDA-SPL, is to improve the management(gerência), modularization and isolation ou separation of the variability of the LPSs of architecture in a high level of abstraction (model) at the design and implementing phases of development Software Product Lines (SPLs), exploiting the synergy between AOSD and MDD. The CrossMDA-SPL approach defines some artifacts basis for advance the separation clear in between the mandatory (bounden) and optional features in the architecture of SPL. The artifacts are represented by two models named: (i) core model (base domain) - responsible for specify the common features the all members of the SPL, and (ii) variability model - responsible for represent the variables features of SPL. In addition, the CrossMDA-SPL approach is composed of: (i) guidelines for modeling and representation of variability, (ii) CrossMDA-SPL services and process, and (iii) models of the architecture of SPL or product instance of SPL. The guidelines use the advantages of AOSD and MDD to promote a better modularization of the variable features of the architecture of SPL during the creation of core and variability models of the approach. The services and sub-processes are responsible for combination automatically, through of process of transformation between the core and variability models, and the generation of new models that represent the implementation of the architecture of SPL or a instance model of SPL. Mechanisms for effective modularization of variability for architectures of SPL at model level. The concepts are described and measured with the execution of a case study of an SPL for management systems of transport electronic tickets

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

Laboratory study on the bioremediation of diesel oil contaminated soil from a petrol station

O objetivo do presente estudo foi investigar possíveis métodos para aumentar a taxa de biodegradação aeróbia de hidrocarbonetos (tratamentos ex-situ). Neste trabalho, processos de biorremediação foram aplicados a um solo arenoso com alto nível de contaminação ocasionada por um vazamento de um tanque de armazenamento de óleo diesel subterrâneo em um posto de combustíveis. Experimentos em escala laboratorial (respirômetros de Bartha) foram utilizados para avaliar a biodegradação do óleo diesel. Estímulo da biodegradação foi realizado utilizando-se as técnicas de bioestímulo (adição de soluções de nitrogênio e fósforo ou surfactante Tween 80) e de bioaumento (consórcio bacteriano isolado de um sistema de landfarming). Para investigar as interações entre os fatores otimizadores, e encontrar a melhor combinação entre esses agentes, o estudo foi baseado em um delineamento experimental fatorial completo. A eficiência de biodegradação foi simultaneamente medida com dois métodos: respirométrico (produção de CO2 microbiano) e cromatografia gasosa. Testes de toxicidade aguda com Daphnia similis foram aplicados para examinar a eficiência dos processos em termos de geração de produtos menos tóxicos. Resultados mostraram que todas as estratégias de biorremediação aceleraram a biorremediação natural do solo contaminado e os melhores resultados foram obtidos quando os tratamentos tinham adição de nutrientes. Dados respirométricos indicaram uma máxima mineralização de hidrocarbonetos de 19,8%, obtida com a combinação dos três agentes, com uma remoção de hidrocarbonetos totais de petróleo (TPH) de 45,5% em 55 dias de tratamento. No final dos experimentos, duas espécies predominantes de bactéria foram isoladas e identificadas como Staphylococcus hominis e Kocuria palustris.

Optimization of temperature, sugar concentration, and inoculum size to maximize ethanol production without significant decrease in yeast cell viability

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Protein-energy status and 15N-glycine kinetic study of child a cirrhotic patients fed low- to high-protein energy diets

In five male cirrhotic patients (Child A) and in four age- and sex-matched healthy control subjects, whole-body protein turnover was measured using a single oral dose of N-15-glycine as a tracer and urinary ammonia as end product. Subjects were studied in the fasting and feeding state, with different levels of protein and energy intake. The patients were underweight and presented lower plasma transthyretin and retinol-binding protein levels. When compared with controls, the kinetic studies showed patients to be hypometabolic in the fasting (Do) state and with the control diet [D-1 = (0.85 g of protein/154 kJ). kg(-1). day(-1)]. However, when corrected by body weight, the kinetic differences between groups disappeared, whereas the N-retention in the feeding state showed better results for the patients due mainly to their efficient breakdown decrease. When fed high-level protein or energy diets [D-2 = (0.9 g protein/195 kJ) and D-3 = (1.56 g protein/158 kJ). kg(-1). day(-1)], the patients showed D-0 = D-1 = D-2 < D-3 for N-flux and (D-0 = D-1) < D-3 (D-2 is intermediary) for protein synthesis. Thus, the present data suggest that the remaining mass of the undernourished mild cirrhotic patients has fairly good protein synthesis activity and also that protein, rather than energy intake, would be the limiting factor for increasing their whole-body protein synthesis.

Nitrogen and potassium fertilization of 'Nanicao' banana (Musa AAA Cavendish subgroup) under irrigated and non-irrigated conditions

A field experiment was carried out in São Paulo State, Brazil, with the objective of investigating the response of 'Nanicao' banana (Musa AAA Cavendish subgroup) to nitrogen and potassium fertilization under irrigated and non-irrigated conditions during two crop seasons. The effects of cropping on some soil chemical properties were also investigated. A split-plot design was used with irrigation (micro-sprinkler) and no irrigation applied to main plots, and a combination of four rates of N (0, 200, 400 and 800 kg N ha-1) and K (0, 300, 600 and 900 kg K2O ha-1) as the sub-plot treatments. Irrigation caused a significant increase in fruit yield and determined the response to N and K fertilizers. In spite of a high level of exchangeable K, a positive response to K application was observed on the plant crop in non-irrigated plants. Fruit yield was impaired by N application in the plant crop (1st cycle). A positive response to N application was observed in the 2nd cycle. Soil pH decreased with increasing N rates. Exchangeable K was significantly reduced due to crop exhaustion.

Aspectos biológicos de Dione juno juno (Cramer) (Lepidoptera: Nymphalidae) em genótipos de maracujazeiro

It was studied the effect of passion fruit genotypes on Dione juno juno (Cramer) (Lepidoptera: Nymphalidae) development. The experiment was carried out in a laboratory, under controlled conditions (temperature: 26 ± 1° C, RH = 60 ± 10% and photophase of 14 hours). Newly-hatched larvae were fed with leaves from different passion fruit genotypes: Passiflora edulis Sims., P. alata Dryand., P. serrato-digitata L., P. edulis f. flavicarpa Deg. ('Sul Brasil'), P. edulis f. flavicarpa, P. edulis f. flavicarpa ('Maguary FB-100') and P. foetida L. Fifty larvae from eggs collected in the field were used per genotype. Larvae were kept on passion fruits branches inside PVC tubes until pupation. Daily observations were performed and branches were replaced whenever necessary. The following parameters were evaluated: duration and viability of larval and pupal phases, larval and pupal weight and adult longevity. The experiment was arranged in randomized blocks design with seven treatments and ten replications. Data were subjected to an ANOVA and means were compared by Tukey test at 5% of probability. The least adequate genotypes for D. juno juno development were P. alata, P. serrato-digitata and P. foetida, showing a high level of antibiosis, while P. edulis, P. edulis f. flavicarpa, 'Maguary FB-100' and 'Sul Brasil' were the most suitable.

The income distribution problem in Latin America and the Caribbean

Includes bibliography

Financing decentralization

Includes bibliography

Towards an insight on photodamage in hair fibre by UV-light: An experimental and theoretical study

Synopsis: Objectives: In this research, an experimental and theoretical study was conducted to design a photodegradation mechanism of the amino acid tryptophan (Trp) in hair fibres. Methods: For the experimental research, Caucasian hair fibres were exposed to several different solar radiation simulation periods. Then, Trp and its photoproducts (N-formylkynurenine and kynurenine) were assayed by excitation and emission spectroscopic analysis. Results: For the theoretical study, reactions involved in the photodegradation of Trp were evaluated by high-level quantum mechanical calculations in a density functional theory (DFT) framework which indicate a probable Trp degradation mechanism with a minimum expended energy pathway. Conclusion: The biochemistry concerning these reactions is essentially important for a biological system where the degradation of Trp occurs. © 2013 John Wiley & Sons Ltd.

Deposição de sílica e teor de nitrogênio e silício em arroz

The nitrogen fertilization is an important practice to reach high productivity, however, nitrogen high level can cause lodging and make the plants more sensitive to disease. Numerous studies has demonstrate that a lot of grasses accumulate silicon at its tissues, and the biggest part of this element is deposited on the leaf, that would work like a mechanical barrier to diseases come in. However, high levels of nitrogen can reduce the silica deposition at the plants. The objective of this study was to evaluate silicon and nitrogen content in shoot and silica deposition in upland rice leaf as a result of Si and N levels. The experimental design used was completely randomized in factorial schema 3 x 2 with five replications. The treatments consisted from levels of N (5, 75 and 150 mg dm-3 of soil) in urea form and two levels of SiO2 (0 e 400 mg dm-3) in calcium silicate form (Wollastonita). The increased of urea fertilization reduced the silicon content of rice plants and the silica deposition at the external cells wall the epidermal rice leafs.

Resposta de plantas de cobertura a doses de silício e estresse hídrico

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

Pré-regulador retificador boost com controle digital por valores médios, para sistema de iluminação fluorescente multi-lâmpadas, utilizando dispositivo FPGA e VHDL

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