Describing Web Service Architectures through Design-by-Contract

Architectural description languages (ADLs) are used to specify a high-level, compositional view of a software application, specifying how a system is to be composed from coarse-grain components. ADLs usually come equipped with a formal dynamic semantics, facilitating specification and analysis of distributed and event-based systems. In this paper, we describe the TrustME, an ADL framework that provides both a process and a structural view of web service-based systems. We use Petri-net descriptions to give a dynamic view of business workflow for web service collaboration. We adapt the approach of Schmidt to define a form of Meyer's design-by-contract for configuring workflow architectures. This serves as a configuration-level means of constructing safer, more robust systems.

Protecting Your Search Privacy: A Lesson Plan

Each year search engines like Google, Bing and Yahoo, complete trillions of search queries online. Students are especially dependent on these search tools because of their popularity, convenience and accessibility. However, what students are unaware of, by choice or naiveté is the amount of personal information that is collected during each search session, how that data is used and who is interested in their online behavior profile. Privacy policies are frequently updated in favor of the search companies but are lengthy and often are perused briefly or ignored entirely with little thought about how personal web habits are being exploited for analytics and marketing. As an Information Literacy instructor, and a member of the Electronic Frontier Foundation, I believe in the importance of educating college students and web users in general that they have a right to privacy online. Class discussions on the topic of web privacy have yielded an interesting perspective on internet search usage. Students are unaware of how their online behavior is recorded and have consistently expressed their hesitancy to use tools that disguise or delete their IP address because of the stigma that it may imply they have something to hide or are engaging in illegal activity. Additionally, students fear they will have to surrender the convenience of uber connectivity in their applications to maintain their privacy. The purpose of this lightning presentation is to provide educators with a lesson plan highlighting and simplifying the privacy terms for the three major search engines, Google, Bing and Yahoo. This presentation focuses on what data these search engines collect about users, how that data is used and alternative search solutions, like DuckDuckGo, for increased privacy. Students will directly benefit from this lesson because informed internet users can protect their data, feel safer online and become more effective web searchers.

Rotinas para a otimizacao experimental de misturas

No cenário atual, onde a globalização, aliada a um maior nível de exigência por parte do cliente, impõem às empresas um maior empenho por competitividade, a agdidade no desenvolvimento e otimização de produtos torna-se crucial para a sobrevivência das mesmas no mercado. Neste contexto, procurou-se compilar várias técnicas utilizadas em E n g e h dd Qd& em um método integrado para a Ot+o Expmmid de MWtwa. Essas técnicas fornecem resultados muito mais rápidos e econômicos do que a tradicional prática de variar um componente de cada vez na mistura, devido ao menor número de ensaios necessários. Entretanto, apesar de não serem tão recentes, as ferramentas aplicáveis à otimização de misturas não têm sido utilizadas pelo seu maior beneficiário (a indústria), provavelmente por falta de divulgação de sua existência, ou, principalmente, devido à complexidade dos cálculos envolvidos. Dessa forma, além do método proposto, desenvolveu-se também um sofiwa~q ue irnplementa todas os passos sugeridos, com o intuito de facilitar ainda mais a aplicação dos mesmos por pessoas não especializadas em técnicas estatísticas. Através do software (OptiMix), o método foi testado em uma situação real e em um estudo comparativo com um relato da literatura, a fim de testar sua validade, necessidade de adaptações e consistência dos resultados. A avaliaçio dos estudos de caso demonstrou que o método proposto fornece resultados coerentes com os de outras técnicas alternativas, com a vantagem de o usuário não precisar realizar cálculos, evitando assim, erros e agilizando o processo de otimização.

Satisfação dos clientes de terceira idade com o auto-atendimento em uma agência do Banco do Brasil

Este trabalho de conclusão tem como seu objetivo principal verificar os serviços que são oferecidos nas Salas de Auto-Atendimento (SAA) para a terceira idade, em uma agência do Banco do Brasil, em Porto Alegre. Interessa saber como é a percepção desse público com relação ao tema proposto para sugerir à instituição bancária melhorias, bem como comprovação em futuros estudos. Diante das impressões dos consumidores dos produtos e serviços oferecidos no ambiente ora analisado, percebe-se que este público tem pouca familiaridade quando lida com a automação bancária, embora outros problemas paralelos foram destacados, como a necessidade permanente de funcionários para auxiliá-los durante as operações, as filas ocasionando cansaço físico, a segurança nas SAA, a pouca privacidade quando utilizam as máquinas e a necessidade de conforto nesse ambiente, como a disponibilização de cadeiras, bebedouros e vasos com plantas. A grande maioria ainda prefere o atendimento tradicional, ou seja, o contato humano. Para este público, este é o caminho mais seguro e agradável para acessar os produtos e serviços bancários. Notou-se a reduzida oferta de estudos sobre o assunto quando se trata de relacionar a automação bancária versus terceira idade, bem como a inexistência de uma política diferenciada de atendimento para esse público.

Metodologia para avaliação de cinemática de partículas gasosas em fluidos de viscosidade variável com o tempo e sua aplicação na construção de poços de petróleo

Many challenges have been presented in petroleum industry. One of them is the preventing of fluids influx during drilling and cementing. Gas migration can occur as result of pressure imbalance inside the well when well pressure becomes lower than gas zone pressure and in cementing operation this occurs during cement slurry transition period (solid to fluid). In this work it was developed a methodology to evaluate gas migration during drilling and cementing operations. It was considered gel strength concept and through experimental tests determined gas migration initial time. A mechanistic model was developed to obtain equation that evaluates bubble displacement through the fluid while it gels. Being a time-dependant behavior, dynamic rheological measurements were made to evaluate viscosity along the time. For drilling fluids analyzed it was verified that it is desirable fast and non-progressive gelation in order to reduce gas migration without affect operational window (difference between pore and fracture pressure). For cement slurries analyzed, the most appropriate is that remains fluid for more time below critical gel strength, maintaining hydrostatic pressure above gas zone pressure, and after that gels quickly, reducing gas migration. The model developed simulates previously operational conditions and allow changes in operational and fluids design to obtain a safer condition for well construction

Pharmacokinetic Profile of Liposome-Encapsulated Ropivacaine after Maxillary Infiltration Anaesthesia

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

Avaliação das condições higiênico-sanitárias de manipuladores de alimentos e utensílios de mesa de escolas públicas municipais de Natal, RN

In Brazil school food is constitutionally guaranteed to public school students at the preschool and elementary level. This food must be nutritious, hygienic and sanitary. The aim of the present study was to assess the hygienic/sanitary conditions of food and table utensil handlers in municipal public schools in Natal, Brazil. In total, 27 public schools were assessed, using a checklist and microbiological analysis of the hands and table utensils. For the microbiological analyses of the hands, coliforms were analyzed at 45ºC and for the utensils aerobic mesophilic bacteria, using methods recognized by AOAC, 2002 and APHA, 1992, respectively. Most of the schools studied did not exhibit good food and utensil handling practice procedures in any of the variables analyzed. It was shown that 74.1% of the handlers received no periodic training, 51.9% did not undergo annual health examinations and 100% did not practice proper hand hygiene, which reflected significantly (p < 0.05) in hand contamination, where fecal coliforms were detected on 55.6% of the hands analyzed. With respect to the utensils, it was found that 100% of the schools studied did not follow correct hygiene practices and most were classified as very bad ; that is, aerobic mesophilic bacteria values above the limits established by PAHO (Pan American Health Organization), with schools in the north and south districts recording the highest percentages. The results show that the hygienic-sanitary conditions of the food and utensil handlers in the schools studied were inadequate, demonstrating the need for implanting good handling practices aimed at protecting the health of children that take part in the program and offering safer foods. Researchers from the areas of food microbiology, nutrition, public health and statistics participated in this study, a decisive factor for characterizing it as multidisciplinary

Caracterização térmica (TG/DTG, DTA, DSC, DSC-fotovisual) de Hormônios bioidênticos (estriol estradiol)

Bioidentical hormones are defined as compounds that have exactly the same chemical and molecular structure as hormones that are produced in the human body. It is believed that the use of hormones may be safer and more effective than the non-bioidentical hormones, because binding to receptors in the organism would be similar to the endogenous hormone. Bioidentical estrogens have been used in menopausal women, as an alternative to traditional hormone replacement therapy. Thermal data of these hormones are scarce in literature. Thermal analysis comprises a group of techniques that allows evaluating the physical-chemistry properties of a drug, while the drug is subjected to a controlled temperature programming. The thermal techniques are used in pharmaceutical studies for characterization of drugs, purity determination, polymorphism identification, compatibility and evaluation of stability. This study aims to characterize the bioidentical hormones estradiol and estriol through thermal techniques TG/DTG, DTA, DSC, DSC-photovisual. By the TG curves analysis was possible to calculated kinetic parameters for the samples. The kinetic data showed that there is good correlation in the different models used. For both estradiol and estriol, was found zero order reaction, which enabled the construction of the vapor pressure curves. Data from DTA and DSC curves of melting point and purity are the same of literature, showed relation with DSC-photovisual results. The analysis DTA curves showed the fusion event had the best linearity for both hormones. In the evaluation of possible degradation products, the analysis of the infrared shows no degradation products in the solid state

The tof-guard neuromuscular transmission monitor and its use in horses

Quando da utilização de bloqueadores neuromusculares, já foi enfatizado na literatura médica humana, que é de vital imporância a monitoração do bloqueio neuromuscular e que estes agentes nunca devem ser utilizados sem a mesma. O objetivo deste estudo foi o de avaliar o uso do monitor da transmissão neuromuscular TOF-Guard em eqüinos. Para tanto, doze eqüinos foram separados aleatoriamente para receberem como bloqueadores neuromusculares o pancurônio ou o atracúrio. Todos os eqüinos foram pré-medicados com romifidina, induzidos com diazepam e quetamina e mantidos com halotano. Foi administrado o atracúrio ou o pancurônio, seguindo-se a apnéia e início da ventilação mecânica controlada. O tempo entre a administração do relaxante muscular e a obtenção de um bloqueio máximo (T1=0), o retorno do T1 para 25% e da razão do TOF para 0,7 e o tempo do retorno do T1 de 25 para 75% foram mensurados. Concluiu-se que é de grande importância a monitoração do bloqueio neuromuscular quando da utilização de um bloqueador neuromuscular não-despolarizante, uma vez que ela torna o ato anestésico e cirúrgico mais seguro, com a utilização de doses adequadas que inviabilizam a superficialização do bloqueio durante o procedimento cirúrgico. O monitor TOF-Guard mostrou ser uma boa opção para a monitoração do bloqueio neuromuscular em eqüinos.

Simultaneous mode A and mode B echobiometry of senile cataractous eyes in dogs

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

Efeitos do período e volume de aplicação na segurança dos tratoristas aplicando herbicidas na cultura de cana-de-açúcar (Saccharum spp.)

O objetivo deste trabalho foi avaliar os efeitos do período e volume de aplicação na segurança da atividade de tratoristas aplicando herbicidas na cultura de cana-de-açúcar com o pulverizador de barra montado em trator e a eficiência de equipamentos de proteção individual (EPIs) e de uma cabina acoplada ao trator. As exposições dérmicas de 13 condições de trabalho foram avaliadas e analisadas estatisticamente por meio do delineamento inteiramente ao acaso e do esquema fatorial 3 x 2 x 2 + 1. O fator A foi a condição de exposição: 1) exposição dérmica potencial (EDP) - sem nenhuma medida de segurança; 2) exposição com cabina no trator (Cabina); e 3) exposição com as vestimentas (EPI). O fator B foi o volume de aplicação: 1) 200 L ha-1 e 2) 100 L ha-1; e o fator C foi o período de aplicação: 1) diurno e 2) noturno. Como testemunha foi avaliada a EDP do tratorista aplicando na atividade usual de 300 L de calda ha-1, no período diurno. As exposições dérmicas (EDs) aos herbicidas considerados nessas condições de trabalho foram estimadas por meio de dados substitutos das EDs avaliadas ao cátion Cu+2 adicionado como traçador nas caldas aplicadas. O pulverizador utilizado foi do modelo PJ 600, com barra de 12 m de comprimento e 24 bicos de jato plano TT 110 04 ou TT 110 02. As 13 condições de trabalho avaliadas foram classificadas como seguras (MS>1) para o tratorista aplicando os herbicidas glyphosate (48% i.a.), MSMA (48%), diuron (46,8%) + hexazinone (13,2%), clomazone (50%), sulfentrazone (50%), ametryne (50%), diuron (50%), isoxaflutole (75%), metribuzin (48%), 2,4-D (80,6%), ametryne (30%) + clomazone (20%), ametryne (73,25%) + trifloxysulfuron (1,85%) e tebuthiuron (80 %) e inseguras para o herbicida atrazine (50%), nos dois períodos e nos três volumes de aplicação, e ametryne (50%), na aplicação diurna e 100 L de calda ha-1. As aplicações noturnas e os volumes de aplicação reduzidos tornaram as condições de trabalho mais seguras, exceto para o atrazine. A eficiência dos EPIs para a aplicação de 300 L ha-1 variou de 69,5 a 89,3%, e a da cabina do trator variou entre 76,4 e 83,3%, em relação aos volumes reduzidos de 100 e 200 L ha-1.

Humoral and cellular immune response generated by different vaccine programs before and after Salmonella Enteritidis challenge in chickens

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

Soja transgênica versus convencional: estimativa dos custos operacionais de produção na região do Médio Paranapanema, Estado de São Paulo

O estudo estimou o custo operacional de produção da soja convencional e transgênica no Médio Paranapanema, Estado de São Paulo. Foram utilizados resultados de três experimentos de avaliação regional com 19 cultivares de soja, sendo 17 convencionais e 2 transgênicas. As estruturas de custo utilizadas foram custo operacional efetivo (COE) e o custo operacional total (COT). O COT, por hectare, da soja transgênica foi 10,7% menor que o da soja convencional. Porém, o custo unitário por saca foi menor para a soja convencional em razão da produtividade. A produtividade média foi de 35,2 e de 31,3 para as cultivares convencionais e transgênicas, respectivamente. A maior diferença porcentual no COT ocorreu nos itens sementes e herbicidas. A variação do custo de produção por saca da soja convencional foi de R$ 27,7 a R$ 39,5 e da soja transgênica R$ 29,5 e R$ 40,1. O alto custo dos insumos comprometeu a viabilidade da atividade nos dois sistemas de produção. Há necessidade de continuar a avaliação das cultivares de soja transgênica para conhecer as mais adaptadas regionalmente e tornar mais seguras as indicações técnicas.

O trabalho como princípio educativo: algumas reflexões

Após algumas reflexões sobre o conceito de trabalho e formação, este artigo aborda algumas orientações, ou princípios, que podem contribuir para a organização de programas de formação de adultos. Ao trabalhar em programas de formação dessa natureza, devemos ter em mente que trabalhamos com indivíduos que já possuem conhecimentos elaborados, experiências práticas e vivências que devem ser consideradas como ponto de partida. Assim, devemos considerar que a aprendizagem acontece ao longo da vida, e que um curso é apenas parte do percurso de aprendizagem. Outro aspecto importante é que programas de formação para adultos, especialmente aqueles desenvolvidos em situação de trabalho, devem ter sentido para aqueles que irão participar. Os participantes devem, portanto, aderir voluntariamente à proposta; caso contrário, ela poderá ser entendida apenas como algo imposto, e não como um ganho profissional efetivo. Nas situações de formação em situações de trabalho, é também fundamental que os programas sejam elaborados a partir de um apurado conhecimento da realidade daqueles que irão participar. Avaliar e preservar a memória do que foi realizado evita que ocorram eternos recomeços. Por fim, é fundamental que os programas de formação contem também com um programa de apoio aos participantes, de tal forma que eles se sintam mais seguros no trilhar os caminhos das mudanças, quando retornarem aos seus respectivos espaços de trabalho.

Assessment of the In Vivo Genotoxicity of New Lead Compounds to Treat Sickle Cell Disease

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