MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Short-Term Effects of Duodenocecostomy on Body Weight, Glucose Absorption, Serum Components, and Intestinal Histopathology in Four Normal Horses

The objective of this study was to evaluate duodenocecostomy in horses performed through a ventral midline laparotomy and report its influence oil body weight, glucose absorption, serum components, and characteristics of jejunum, cecum, and large colon histology. Four horses were submitted to the duodenocecostomy technique through a ventral midline laparotomy with animals in dorsal recumbency under inhalation anesthesia, followed by abdominal exploration. A side-to-side anastomosis was performed between the duodenojejunal flexure and the base of the cecum with two simple continuous suture lines of the serosal and muscular layers. The size of the opening created was approximately 2 cm in diameter. The mucosa layer was not Sutured. After 30 days, animals were submitted to a second laparotomy to check the patency of the duodenocaecal fistula. During both laparotomy procedures, excisional biopsies of different segments of the gastrointestinal tract were performed. Information on physical examination findings, results of hematologic and histopathologic evaluations, and oral glucose absorption test were recorded. The horses did not have significant weight loss from baseline, and absorption curve of glucose did not significantly vary from baseline. Only triglycerides had significant alterations. Histologic evaluation of jejunum, cecum, and large colon did not show alterations of intestinal structure and morphology. We concluded that the proposed technique, principally in relation to the fistula size and not suturing the mucosa layer, allowed partial or total Occlusion of the fistulae without the necessity of a second surgery and avoided the permanent bypass of ingesta and weight loss.

Performance of techniques used for re-attachment of endodontically treated crown fractured teeth

Objectives: The aim of this study was to compare the fracture strength of three techniques used to re-attach tooth fragments in sound and endodontically treated fractured teeth with or without fiber post placement. Material and methods: Ninety human lower incisors were randomly divided into three groups of 30 teeth each. In group A teeth were not subjected to endodontic treatment; while teeth from groups B and C were endodontically treated and the pulp chamber restored with a composite resin. All teeth were fractured by an axial load applied to the buccal area in order to obtain tooth fragments. Teeth from each group were then divided into three subgroups, according to the re-attachment technique: bonded-only, buccal-chamfer and circumferential chamfer. Before the re-attachment procedures, fiber posts were placed in teeth from group C using dual cure resin luting cement (Duo-Link). All teeth (groups A-C) had the fragments re-attached using a same dual cure resin luting cement. in the bonded-only group, no additional preparation was made. After re-attachment of the fragment, teeth from groups buccal and circumferential chamfer groups had a 1.0 mm depth chamfer placed in the fracture line either on buccal surfaceor along the buccal and lingual surfaces, respectively. increments of microhybid composite resin (Tetric Ceram) were used in subgroups buccal chamfer and circumferential chamfer to restore the chamfer. The specimens were loaded until fracture in the same pre-determined area. The force required to detach each fragment was recorded and the data was subjected to a three-way analysis of variance where factors Group and Re-attachment technique are independent measures and Time of fracture is a repeated measure factor (first and second) and Tukey`s test (alpha = 0.05). Results: The main factors Re-attachment technique (p = 0.04) and Time of fracture (p = 0.02) were statistically significant. The buccal and circumferential chamfer techniques were statistically similar (p > 0.05) and superior to the bonded-only group (p < 0.05). The first time of fracture was statistically superior to second time of fracture (p < 0.001). Conclusions: The use of fiber post is not necessary for the reinforcement of the tooth structure in re-attachment of endodontically treated teeth. When bonding a fractured fragment, the buccal or circumferential re-attachment techniques should be preferable in comparison with the simple re-attachment without any additional preparation. None of the techniques used for re-attachment restored the fracture strength of the intact teeth. (C) 2008 Elsevier Ltd. All rights reserved.

Atomic Absorption Spectrometry and Scanning Electron Microscopy Evaluation of Concentration of Calcium Ions and Smear Layer Removal With Root Canal Chelators

Aim. The aim of this study was to evaluate the concentration of calcium ions and smear layer removal by using root canal chelators according to flame atomic absorption spectrophotometry and scanning electron microscopy. Forty-two human maxillary central incisors were irrigated with 15% ethylenediaminetetraacetic acid (EDTA), 10% citric acid, 10% sodium citrate, apple vinegar, 5% acetic acid, 5% malic acid, and sodium hypochlorite. The concentration of calcium ions was measured by using flame atomic absorption spectrometry, and smear layer removal was determined by scanning electron microscopy. Mean +/- standard deviation, one-way analysis of variance, Tukey-Kramer, Kruskal-Wallis, Dunn, and kappa tests were used for statistical analysis. The use of 15% EDTA resulted in the greatest concentration of calcium ions followed by 10% citric acid; 15% EDTA and 10% citric acid were the most efficient solutions for removal of smear layer. (J Endod 2009;35:727-730)

Mechanisms of the inhibition of epithelial Na+ channels by CFTR and purinergic stimulation

The epithelial Na+ channel ENaC is inhibited when the cystic fibrosis transmembrane conductance regulator (CFTR) coexpressed in the same cell is activated by the cyclic adenosine monophosphate (cAMP)-dependent pathway. Regulation of ENaC by CFTR has been studied in detail in epithelial tissues from intestine and trachea and is also detected in renal cells. In the kidney, regulation of other membrane conductances might be the predominant function of CFTR. A similar inhibition of ENaC takes place when luminal purinergic receptors a re activated by 5 ' -adenosine triphosphate (ATP) or uridine triphosphate (UTP). Because both stimulation of purinergic receptors and activation of CFTR induce a Cl- conductance, it is likely that Cl- ions control ENaC activity.

Veterinary drug delivery: Potential for skin penetration enhancement

A range of topical products are used in veterinary medicine. The efficacy of many of these products has been enhanced by the addition of penetration enhancers. Evolution has led to not only a highly specialized skin in animals and humans, but also one whose anatomical structure and skin permeability differ between the various species. The skin provides an excellent barrier against the ingress of environmental contaminants, toxins, and microorganisms while performing a homeostatic role to permit terrestrial life. Over the past few years, major advances have been made in the field of transdermal drug delivery. An increasing number of drugs are being added to the list of therapeutic agents that can be delivered via the skin to the systemic circulation where clinically effective concentrations are reached. The therapeutic benefits of topically applied veterinary products is achieved in spite of the inherent protective functions of the stratum corneum (SQ, one of which is to exclude foreign substances from entering the body. Much of the recent success in this field is attributable to the rapidly expanding knowledge of the SC barrier structure and function. The bilayer domains of the intercellular lipid matrices within the SC form an excellent penetration barrier, which must be breached if poorly penetrating drugs are to be administered at an appropriate rate. One generalized approach to overcoming the barrier properties of the skin for drugs and biomolecules is the incorporation of suitable vehicles or other chemical compounds into a transdermal delivery system. Indeed, the incorporation of such compounds has become more prevalent and is a growing trend in transdermal drug delivery. Substances that help promote drug diffusion through the SC and epidermis are referred to as penetration enhancers, accelerants, adjuvants, or sorption promoters. It is interesting to note that many pour-on and spot-on formulations used in veterinary medicine contain inert ingredients (e.g., alcohols, amides, ethers, glycols, and hydrocarbon oils) that will act as penetration enhancers. These substances have the potential to reduce the capacity for drug binding and interact with some components of the skin, thereby improving drug transport. However, their inclusion in veterinary products with a high-absorbed dose may result in adverse dermatological reactions (e.g., toxicological irritations) and concerns about tissue residues. These a-re important considerations when formulating a veterinary transdermal product when such compounds ate added, either intentionally or otherwise, for their penetration enhancement ability. (C) 2001 Elsevier Science B.V. All rights reserved.

Diffusion modeling of percutaneous absorption kinetics: 2. Finite vehicle volume and solvent deposited solids

The diffusion model for percutaneous absorption is developed for the specific case of delivery to the skin being limited by the application of a finite amount of solute. Two cases are considered; in the first, there is an application of a finite donor (vehicle) volume, and in the second, there are solvent-deposited solids and a thin vehicle with a high partition coefficient. In both cases, the potential effect of an interfacial resistance at the stratum corneum surface is also considered. As in the previous paper, which was concerned with the application of a constant donor concentration, clearance limitations due to the viable eqidermis, the in vitro sampling rate, or perfusion rate in vivo are included. Numerical inversion of the Laplace domain solutions was used for simulations of solute flux and cumulative amount absorbed and to model specific examples of percutaneous absorption of solvent-deposited solids. It was concluded that numerical inversions of the Laplace domain solutions for a diffusion model of the percutaneous absorption, using standard scientific software (such as SCIENTIST, MicroMath Scientific software) on modern personal computers, is a practical alternative to computation of infinite series solutions. Limits of the Laplace domain solutions were used to define the moments of the flux-time profiles for finite donor volumes and the slope of the terminal log flux-time profile. The mean transit time could be related to the diffusion time through stratum corneum, viable epidermal, and donor diffusion layer resistances and clearance from the receptor phase. Approximate expressions for the time to reach maximum flux (peak time) and maximum flux were also derived. The model was then validated using reported amount-time and flux-time profiles for finite doses applied to the skin. It was concluded that for very small donor phase volume or for very large stratum corneum-vehicle partitioning coefficients (e.g., for solvent deposited solids), the flux and amount of solute absorbed are affected by receptor conditions to a lesser extent than is obvious for a constant donor constant donor concentrations. (C) 2001 Wiley-Liss, Inc. and the American Pharmaceutical Association J Pharm Sci 90:504-520, 2001.

"They're scared of it": Intergroup determinants of attitudes toward children with HIV

The study used an intergroup perspective to explore teachers' willingness to teach children with HIV within mainstream education. One hundred thirty-eight teachers from 13 high schools across the United Kingdom participated in a survey. The results suggest that previous contact with an individual who was HIV positive (whether an adult or a child) was strongly associated with greater willingness to teach a child with HIV. However, this effect disappeared when intergroup anxiety, positive affect, and positive beliefs were included as covariates. There was little evidence that instrumental variables (i.e., relatively pragmatic concerns about infection) were associated with willingness to teach. Participants who had some contact reported lower fear of contagion from a child with HIV, but there was no evidence that this was associated with overall attitudes. The results are interpreted to suggest that interventions to reduce prejudice should not simply concentrate on improving knowledge about HIV transmission.