Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.

Comparison of porcine urine and bile as matrices to screen for the residues of two sulfonamides using a semi-automated enzyme immunoassay.

Porcine urine enzyme immunoassays for sulfamethazine and sulfadiazine have previously been employed as screening tests to predict the concentrations of the drugs in the corresponding tissues (kidneys), If a urine was found positive (> 800 ng ml(-1)) the corresponding kidney was then analysed by an enzyme immunoassay and, if found positive, a confirmatory analysis by HPLC was performed. Urine was chosen as the screening matrix since sulfonamides are mainly eliminated through this body fluid, However, after obtaining a number of false positive predictions, an investigation was carried out to assess the possibility of using an alternative body fluid which would act as a superior indicator of the presence of sulfonamides in porcine kidney, An initial study indicated that serum, plasma and bile could all be used as screening matrices. From these, bile was chosen as the preferred sample matrix and an extensive study followed to compare the efficiencies of sulfonamide positive bile and urine at predicting sulphonamide positive kidneys, Bile was found to be 17 times more efficient than urine at predicting a sulfamethazine positive kidney and 11 times more efficient at predicting a sulfadiazine positive kidney, With this enhanced performance of the initial screening test, the need for the costly and time consuming kidney enzyme immunoassay, prior to HPLC analysis, was eliminated