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.

An Architectural Description Language for Enterprise Computing

Architectural description languages (ADLs) are used to specify high-level, compositional view of a software application. ADLs usually come equipped with a rigourous state-transition style semantics, facilitating specification and analysis of distributed and event-based systems. However, enterprise system architectures built upon newer middleware (implementations of Java’s EJB specification, or Microsoft’s COM+/ .NET) require additional expressive power from an ADL. The TrustME ADL is designed to meet this need. In this paper, we describe several aspects of TrustME that facilitate specification and anlysis of middleware-based architectures for the enterprise.

Trust-By-Contract: Modelling, Analysing and Predicting Behaviour in Software Architectures

Architecture description languages (ADLs) are used to specify high-level, compositional views of a software application. ADL research focuses on software composed of prefabricated parts, so-called software components. ADLs usually come equipped with rigorous state-transition style semantics, facilitating verification and analysis of specifications. Consequently, ADLs are well suited to configuring distributed and event-based systems. However, additional expressive power is required for the description of enterprise software architectures – in particular, those built upon newer middleware, such as implementations of Java’s EJB specification, or Microsoft’s COM+/.NET. The enterprise requires distributed software solutions that are scalable, business-oriented and mission-critical. We can make progress toward attaining these qualities at various stages of the software development process. In particular, progress at the architectural level can be leveraged through use of an ADL that incorporates trust and dependability analysis. Also, current industry approaches to enterprise development do not address several important architectural design issues. The TrustME ADL is designed to meet these requirements, through combining approaches to software architecture specification with rigorous design-by-contract ideas. In this paper, we focus on several aspects of TrustME that facilitate specification and analysis of middleware-based architectures for trusted enterprise computing systems.

Alternativas para a aplicação de coagulante vegetal à base de tanino no tratamento do efluente de uma lavanderia industrial

A lavagem de roupas é um importante serviço para a sociedade moderna. Os efluentes de lavanderias industriais, de maneira geral, contêm sujeiras removidas das roupas e substâncias adicionadas na lavagem que normalmente são tratados por processo físicoquímico de coagulação/floculação/sedimentação. Os sais de alumínio e os produtos convencionalmente empregados para a correção do pH são agentes inorgânicos não biodegradáveis que acrescentam elementos químicos à água ou ao lodo. Como principal dificuldade do processo destaca-se o lodo inorgânico gerado, de difícil manuseio por parte das empresas em função do volume gerado e do elevado teor de umidade. O objetivo geral da presente da pesquisa foi avaliar a aplicabilidade e a eficiência do uso de um coagulante vegetal, basicamente tanino modificado pela reação de Mannich, no tratamento do efluente de uma lavanderia industrial. Realizaram-se estudos de coagulação/floculação com reagentes tradicionais (sulfato de alumínio e poliacrilamida catiônica), coagulação/floculação com um coagulante alternativo (tanino catiônico e poliacrilamida aniônica) e adsorção/coagulação/floculação (carvão ativado em pó, tanino catiônico e poliacrilamida aniônica). A dosagem de reagentes foi otimizada através de “Teste de Jarros” e a eficiência de cada uma das alternativas foi avaliada em termos de remoção de sólidos sedimentáveis, sólidos suspensos, turbidez, DQO e surfactantes. Analisou-se a contribuição de cada um destes processos em termos de ânions cloretos e sulfatos residual bem como a toxicidade aguda para populações do microcrustáceo Daphnia similis e do peixe Pimephales promelas. A massa e o volume de lodo gerado em cada processo foi quantificado e o lodo caracterizado em termos de sua periculosidade conforme a NBR 10.004 e comportamento termogravimétrico Os resultados demonstram que, em termos da legislação vigente, o efluente bruto não atende aos padrões de carga orgânica (DQO) e surfactantes. Os ensaios ecotoxicológicos indicam que o efluente pode ser considerado extremamente tóxico para o microcrustáceo Daphnia similis, como para o peixe Pimephales promelas. O tratamento do efluente realizado por coagulação/floculação usando o tanino catiônico como agente coagulante remove os sólidos suspensos e uma fração considerável da carga orgânica e de surfactantes. Em termos da legislação vigente, o efluente somente não atende ao padrão referente ao lançamento de surfactantes. Os ensaios ecotoxicológicos indicam que efluente passa a ser considerado pouco tóxico para a Daphnia similis e ainda tóxico para o peixe Pimephales promelas. O tratamento do efluente por heteroagregação entre carvão ativado, tanino catiônico e polímero floculante permite remover os sólidos suspensos, e níveis mais significativos de carga orgânica e de surfactantes, atendendo a todos padrões de lançamento exigidos para este tipo de efluente. Os ensaios ecotoxicológicos indicam que efluente passa a ser considerado não tóxico para a Daphnia similis e para a Pimephales promelas. O lodo gerado com o uso do tanino catiônico como agente coagulante é classificado como um resíduo Não Inerte - Classe II conforme a NBR 10.004, unicamente devido ao fato de exceder a concentração de surfactantes no ensaio de solubilização conforme a NBR 10.006. O lodo apresenta ainda um alto teor de matéria orgânica, o que facilita a sua eliminação por tratamento térmico ou biológico Comparado ao agente coagulante tradicionalmente empregado para tal fim, o sulfato de alumínio, o tanino catiônico apresentou resultados em relação a qualidade do efluente tratado muito parecidos. Entretanto, pode-se citar algumas evidentes vantagens: menor custo, uso de uma matéria prima renovável, menor contribuição de ânions sulfatos ao efluente final, menor geração de massa de lodo, e obtenção de um lodo orgânico com maior facilidade de eliminação. Esses fatores todos permitem concluir que a substituição do sulfato de alumínio pelo tanino catiônico contribui para um processo de tratamento de efluentes mais limpo.

Obtenção e avaliação da proteína BYC (Boophilus Yolk pro-Cathepsin) recombinante em uma vacina contra o carrapato Boophilus microplus

O carrapato Boophilus microplus é um ectoparasita hematófago que infesta os rebanhos bovinos de regiões tropicais e subtropicais, causando grande prejuízo à pecuária. O principal método de controle deste parasita baseia-se no uso de acaricidas, entretanto, o uso de vacinas tem sido estudado como um método de controle promissor. A Boophilus Yolk pro-Cathepsin (BYC) é uma aspártico proteinase presente no ovo do carrapato e envolvida na embriogênese que foi anteriormente testada como imunógeno vacinal. Neste estudo, o cDNA da BYC foi amplificado por PCR e clonado em dois vetores de expressão para produção de duas formas da proteína recombinante com cauda de histidina, rBYC e rBYC-Trx (fusionada com tioredoxina). As duas formas foram expressas em Escherichia coli na forma de corpúsculos de inclusão (CI) e comparadas quanto ao nível de expressão, solubilidade e rendimento na purificacão. Três agentes desnaturantes (N-lauroil sarcosina, hidrocloreto de guanidina e uréia) foram testados para solubilização dos CIs. Sarcosina foi o agente mais eficiente, solubilizando mais de 90 % de rBYC-Trx e rBYC. As duas proteínas recombinantes foram purificadas em cromatografia de afinidade por metal (Ni2+), sob condições desnaturantes. O rendimento na purificação da proteína solúvel foi de 84 % para r-BYC-Trx e 6 % para rBYC. As duas formas foram reconhecidas por soro de coelhos, camundongos e bovinos previamente imunizados com BYC nativa, demonstrando a existência de epítopos comuns entre a BYC nativa e as formas recombinantes expressas em E. coli. Para verificar o potencial vacinal da proteína recombinante, um grupo de bovinos Hereford foi imunizado com rBYC e desafiado com 20.000 larvas de B. microplus por animal. Os soros dos bovinos imunizados reconheceram a BYC nativa em ELISA e “Western blot”, com títulos entre 500 e 4.000. Os resultados do desafio mostraram uma proteção parcial contra a infestação, com 25 % de proteção global. O perfil de expressão de citocinas (IL-2, IL-4, IL-10, IFN-γ) foi verificado por RT-PCR, porém os resultados não permitiram identificar a polarização da resposta imune em Th1 ou Th2. Os resultados de imunoproteção obtidos com a BYC recombinante foram similares aos obtidos na imunização de bovinos com BYC nativa, indicando a possibilidade de uso da forma recombinante como imunógeno vacinal.

Biologia alimentar e morfohistologia do tubo digestório do mussum, synbranchus marmoratus, bloch (osteichthyes: synbranchidae) no açude Marechal Dutra Gargalheiras , localizado no semi-árido brasileiro

Food habits and morpho-histology of the digestive tract of marbled swamp eel, Synbranchus marmoratus (Block, 1917) were investigated. The fish samples were captured during August, 2007 to July, 2008 in the Marechal Dutra reservoir, Acari, Rio Grande do Norte. The rain fall data was obtained from EMPARN. The fish captured, were measured, weighed, dissected, eviscerated and individual stomach weights were registered. The stomach contents analyses were carried out based on volumetric method, points, frequency of occurrence and applying the Index of Relative Importance. The degrees of repletion of the stomachs were determined besides the Index of Repletion relating to feeding activity variations and frequency of ingestion during the rainy and dry seasons. The rainfall varied from 0 mm a 335 mm with a mean value of 71.62 mm. Highest rainfall of 335.5 mm was registered in March, 2008 and August to December was the dry period. During the dry period the study species presented high degrees of repletion of the stomachs, with a peak value in the month of September (mean = 4.54; ± SD = 0.56). The minimum mean value of = 3.99 ± SD = 0.25 was registered in the month of May during the rainy period. The stomach contents of S. marmoratus registered show that this fish prefers animals, 78.22% of crustaceans 2.85% of mollusks, 3.25% of fish, 1.4% of insects and 13.5% of semi-digested organic matter, thus characterizing the study species as a carnivore with a preference for crustaceans. The morpho-histological aspects of the digestive tract of S. marmoratus indicate that the mouth is terminal adapted to open widely, thin lips with taste buds, small villiform teeth forming a single series on maxillas, four pairs of branchial arches with short and widely spaced branchial rays. The oesophagus is short and cylindrical with a small diameter. The oesophagus wall is thick with mucas surface and internal parallel folds. The stomach is retilinical in form, presenting cardiac, caecal and pyloric portions. The caecal portion is long and is intermediary in position between the cardiac and pyloric portions. The cardiac portion of the stomach is short and cylindrical formed of simple epithelial cylindrical mucus cells. The caecal portion is long with narrow walls, a big cavity and smaller folds which give rise to gastric glands. The phyloric portion has no glands and primary or secondary mucas folds. The morphohistological aspects of the digestive tract of S. marmoratus indicate its adaptation to a carnivorous feeding habit

Identificação morfológica de organismos semelhantes à anaplasmataceae em monócitos de surubim híbrido (Pseudoplatystoma reticulatum x P. corruscans) – relato de caso

The aim of this study was to report the occurrence of Anaplasmataceae-like organisms in monocytes from the hybrid surubim catfish. During the hematological evaluation of fish infected by Pseudomonas sp. in a fish farm located in the State of Mato Grosso do Sul we observed into the monocytes the presence of numerous pleomorphic inclusions of various sizes, rough in appearance which presented basophilic staining. These inclusions were similar to elementary bodies, initial bodies and morule of the bacteria from Anaplasmataceae family, often diagnosed in domestic mammals. This is the first report of its occurrence possibly belonging to the family of Anaplasmataceae in cultured fish in Brazil. Additional studies are necessary for molecular characterization of this bacteria, pathogenic potential, life cycle and impact on the intensive production of fish.

Efeito da densidade e proporção de plantas de tomate industrial e de maria-pretinha em competição

O presente trabalho foi realizado com o objetivo de quantificar as interações competitivas e os índices de competitividade entre plantas de tomate industrial (Lycopersicon esculentum cv. Heinz 9553) e maria-pretinha (Solanum americanum). Usou-se como método um experimento substitutivo, com densidade total de 40 plantas m-2 e 11 proporções, além das monoculturas em densidades, que variaram de 20 a 100 plantas m-2, em intervalos de 20 plantas, conduzidos no delineamento de blocos casualizados com três repetições. Os resultados obtidos foram analisados pelo método convencional de análise de experimentos substitutivos e pela produção recíproca total. A maria-pretinha mostrou ser um competidor mais agressivo que o tomate, sendo mais importante a competição interespecífica para a planta cultivada. Para a biomassa seca total, as duas espécies não competiram pelos mesmos fatores de crescimento. Já para a área foliar, as duas espécies se mostraram competidoras pelos mesmos fatores de crescimento, mostrando ser essa a característica mais sensível à interferência.

Períodos de interferência de maria-pretinha sobre tomateiro industrial

Determinou-se os efeitos da convivência com plantas de maria-pretinha sobre a produtividade do tomateiro industrial, híbrido Heinz 9992, em um experimento com dois grupos de tratamentos: no primeiro, o tomate permaneceu livre da competição (60 mil plantas ha-1 de maria-pretinha) do transplantio até 15; 30; 45; 60; 75; 90; 105 e 120 dias (colheita); no segundo, a cultura permaneceu em competição com a maria-pretinha do transplantio até os mesmos períodos citados. Utilizaram-se blocos casualizados, três repetições e parcelas de quatro linhas. Altura, área foliar e massa seca da parte aérea da maria-pretinha foram obtidas a partir de amostras de dez plantas. A área foliar das plantas de maria-pretinha cresceu até 75 dias de convivência com as plantas de tomate (1.588 dm² planta-1), a altura até 60 dias de convivência (85 cm) e a massa seca da parte aérea até 120 dias de convivência (31,7 g planta-1). As produtividades mais alta (108,6 t ha-1 ou 87,6% da produção total de frutos) e mais baixa (14,2 t ha-1; 59,0%) de frutos maduros de tomate foram observadas quando a convivência entre tomate e maria-pretinha ocorreu respectivamente apenas nos 15 primeiros dias e ao longo de todo o ciclo do tomate. Nestes tratamentos, o peso médio de frutos maduros foi de respectivamente 58,7 e 38,0 g. Verificou-se que cada cm² de acréscimo em área foliar das plantas de maria-pretinha causou uma redução de 0,04 t ha-1 na produção de frutos maduros (PFM) (R² = 0,90), cada centímetro em altura da planta daninha reduziu 0,82 t ha-1 na PFM (R² = 0,78) e cada grama de acréscimo em massa seca de caules e folhas da planta daninha causou uma redução de 2,84 t ha-1 PFM (R² = 0,97). O período anterior à interferência, considerando-se a redução na produtividade do tomate em 5%, foi de 27 dias após o transplantio (DAT) da cultura; o período total de prevenção à interferência foi de 46 DAT e, o período crítico de prevenção à interferência, de 27 a 46 DAT.