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.

Mechanical behavior of prosthesis in Toucan beak (Ramphastos toco)

The purpose of this study is to characterize the structure of the beak of Toco Toucan (Ramphastos toco) and to investigate means for arresting fractures in the rhinotheca using acrylic resin. The structure of the rhamphastid bill has been described as a sandwich structured composite having a thin exterior comprised of keratin and a thick foam core constructed of mineralized collagenous rods (trabeculae). The keratinous rhamphotheca consists of superposed polygonal scales (approximately 50 pm in diameter and 1 mu m in thickness). In order to simulate the orientation of loading to which the beak is subjected during exertion of bite force, for example, we conducted flexure tests on the dorso-ventral axis of the maxilla. The initially intact (without induced fracture) beak fractured in the central portion when subjected to a force of 270 N, at a displacement of 23 mm. The location of this fracture served as a reference for the fractures induced in other beaks tested. The second beak was fractured and repaired by applying resin on both lateral surfaces. The repaired maxilla sustained a force of 70 N with 6.5 mm deflection. The third maxilla was repaired similarly except that it was conditioned in acid for 60s prior to fixation with resin. It resisted a force of up to 63 N at 6 mm of deflection. The experimental results were compared with finite element calculations for unfractured beak in bending configuration. The repaired specimens were found to have strength equal to only one third of the intact beak. Finite element simulations allow visualization of how the beak system (sandwich shell and cellular core) sustains high flexural strength. (C) 2010 Elsevier B.V. All rights reserved.

Biological aspects of Amblyomma brasiliense (Acari : Ixodidae) under laboratory conditions

Although Amblyomma brasiliense Arag (a) over tildeo 1908 has been reported as one of the most aggressive ticks to humans in Brazil, information about the biology of this tick species is virtually inexistent. This work reports data on the life cycle of A. brasiliense fed on rabbits and pigs and maintained in an incubator at 20 degrees C, 90% RH and 12 h of light for off-host development. Tick yield of adult females fed on pigs and rabbits was 81.2% and 58.3%, respectively. Females fed on pigs had mean engorgement weight of 862.3 mg and egg mass of 208 mg, while females fed on rabbits had mean engorgement weight of 606.1 mg and egg mass of 160 mg; these values did not differ statistically between host species. Feeding period of female ticks fed on pigs (10 days) was significantly shorter than that on rabbits (17 days). Mean preoviposition period was slightly longer (35.9 days) for ticks fed on pigs than on rabbits (30 days). The minimum incubation period of eggs of ticks from both host species was similar and over 100 days. Egg production efficiency was low for females fed on both hosts (less than 30% and 20% for ticks from pigs and rabbits, respectively). More than 55% of larvae and 79% of nymphs fed on rabbits, set free inside the feeding chambers, engorged successfully. These ticks attained an engorgement weight of 1.3 and 18.2 mg, respectively, and fed for approximately 5 days. The minimum pre-molt period was 30 days for engorged larvae and over 44 days for nymphs. Molting success was low, less than 50% in the case of larvae and less than 20% for nymphs. Further studies are required to better determine the off-host requirements of this tick species.

Experimental infection with Rangelia vitalii in dogs: Acute phase, parasitemia, biological cycle, clinical-pathological aspects and treatment

Recently we conducted the molecular characterization of Rangelia vitalii, a protozoan with high pathogenicity for young dogs in southern Brazil. To date, the descriptions of the disease have been restricted to natural infection cases. Therefore, this study aimed to evaluate the parasitemia, biological cycles and clinical-pathological findings in dogs experimentally infected with R. vitalii in the acute phase of disease, and also aimed to test a therapeutic protocol based on the diminazene aceturate. For this study, we used 12 young dogs (females), separated into two groups. Group A was composed of healthy dogs, not-infected (n = 5), and Group B consisted of animals infected with R. vitalii (n = 7). After infection, the animals were monitored by blood smear examinations, which showed intra-erythrocytic forms of the parasite 5 days post-infection (PI). Parasitemia increased progressively in these animals and had the highest peak of circulating parasites between 9 and 11 days PI. Subsequently, the parasitemia reduced and the protozoan was seen inside the leukocytes in days 17, 19 and 21 PI. The most prominent clinical signs observed at the 20 day PI of experiment were lethargy, fever and anorexia. We observed a decrease of hematocrit of infected animals compared with not-infected dogs, featuring a moderate anemia. Pathological evaluation of one dog in Group B at day 21 PI revealed splenomegaly, hepatomegaly, lymphadenopathy, and hemorrhages at necropsy. Histological examination showed only follicular hyperplasia in the spleen and lymph nodes, and the etiologic agent in the vascular endothelium. At 21 days PI, it was performed the treatment of dogs in Group B (n = 6) with a single dose of diminazene aceturate, which showed a curative efficacy of 100% in cleaning R. vitalii from blood of infected dogs. (C) 2011 Elsevier Inc. All rights reserved.

Analysis in vitro of the cytotoxicity of potential implant materials. I: Zirconia-titania sintered ceramics

Zirconia (ZrO(2)) is a bioinert, strong, and tough ceramic, while titania (TiO(2)) is bioactive but has poor mechanical properties. It is expected that ZrO(2)-TiO(2) mixed ceramics incorporate the individual properties of both ceramics, so that this material would exhibit better biological properties. Thus, the objective of this study was to compare the biocompatibility properties of ZrO(2)-TiO(2) mixed ceramics. Sintered ceramics pellets, obtained from powders of TiO(2), ZrO(2), and three different ZrO(2)-TiO(2) mixed oxides were used. Roughnesses, X-ray diffraction, microstructure through SEM, hardness, and DRIFT characterizations were performed. For biocompatibility analysis cultured FMM1 fibroblasts were plated on the top of disks and counted in SEM micrographs 1 and 2 days later. Data were compared by ANOVA complemented by Tukey`s test. All samples presented high densities and similar microstructure. The H(2)O content in the mixed ceramics was more evident than in pure ceramics. The number of fibroblasts attached to the disks increased significantly independently of the experimental group. The cell growth on the top of the ZrO(2)-TiO(2) samples was similar and significantly higher than those of TiO(2) and ZrO(2) samples. Our in vitro experiments showed that the ZrO(2)-TiO(2) sintered ceramics are biocompatible allowing faster cell growth than pure oxides ceramics. The improvement of hardness is proportional to the ZrO(2) content. Thus, the ZrO(2)-TiO(2) sintered ceramics could be considered as potential implant material. (C) 2010 Wiley Periodicals, Inc. J Biomed Mater Res Part B: Appl Biomater 94B: 305-311, 2010.

Understanding the impact of divalent cation substitution on hydroxyapatite: An in vitro multiparametric study on biocompatibility

Hydroxyapatite (HA), a stable and biocompatible material for bone tissue therapy, may present a variable stoichiometry and accept a large number of cationic substitutions. Such substitutions may modify the chemical activity of HA surface, with possible impact on biocompatibility. In this work, we assessed the effects of calcium substitution with diverse divalent cations (Pb(2+), Sr(2+), Co(2+), Zn(2+), Fe(2+), Cu(2+), or Mg(2+)) on the biological behavior of HA. Physicochemical analyses revealed that apatite characteristics related to crystallinity and calcium dissolution/uptake rates are very sensitive to the nature of cationic substitution. Cytocompatibility was evaluated by mitochondrial activity, membrane integrity, cell density, proapoptotic potential, and adhesion tests. With the exception of Zn-HA, all the substituted HAs induced some level of apoptosis. The highest apoptosis levels were observed for Mg-HA and Co-HA. Cu-HA was the only material to impair simultaneously mitochondrial activity, membrane integrity, and cell density. The highest relative cell densities after exposure to the modified HAs were observed for Mg-HA and Zn-HA, while Co-HA significantly improved cell adhesion onto HA surface. These results show that changes on surface dissolution caused by cationic substitution, as well as the increase of metal species released to biological media, were the main responsible factors related to alterations on HA biocompatibility. (C) 2011 Wiley Periodicals, Inc. J Biomed Mater Res Part A: 98A: 351-358, 2011.

Bone cell responses to the composite of Ricinus communis polyurethane and alkaline phosphatase

The aim of this study was to evaluate the response of osteoblastic cells to the composite of Ricinus cominunis polyurethane (RCP) and alkaline phosphatase (ALP) incubated in synthetic body fluid (SBF). RCP pure (RCPp) and RCP blended with ALP 6 mg/mL polymer (RCP+ALP) were incubated in SBF for 17 days. Four groups of RCP were tested: RCPp, RCP+ALP, and RCPp and RCP+ALP incubated in SBF (RCPp/SBF and RCP+ALP/SBF). Stem cells from rat bone marrow were cultured in conditions that allowed osteoblastic differentiation on RCP discs and were evaluated: cell adhesion, culture growth, cell viability, total protein content, ALP activity, and bone-like nodule formation. Data were compared by ANOVA or Kruskal-Wallis test. The group RCP-A P was highly cytotoxic and, therefore, was not considered here. Cell adhesion (p = 0.14), culture growth (p = 0.39), viability (p = 0.46) and total protein content (p = 0.12) were not affected by either RCP composition or incubation in SBE ALP activity was affected (p = 0.0001) as follows: RCPp < RCPp/SBF < RCP+ALP/SBF. Bone-like nodule formation was not observed on all evaluated groups. The composite RCP+ALP prior to SBF incubation is cytotoxic and must not be considered as biomaterial, but the incorporation of ALP to the RCP followed by SBF incubation could be a useful alternative to improve the biological properties of the RCP. (c) 2007 Wiley Periodicals, Inc.

Nanoscale Oxidative Patterning of Metallic Surfaces to Modulate Cell Activity and Fate

In the field of regenerative medicine, nanoscale physical cuing is clearly becoming a compelling determinant of cell behavior. Developing effective methods for making nanostructured surfaces with well-defined physicochemical properties is thus mandatory for the rational design of functional biomaterials. Here, we demonstrate the versatility of simple chemical oxidative patterning to create unique nanotopographical surfaces that influence the behavior of various cell types, modulate the expression of key determinants of cell activity, and offer the potential of harnessing the power of stem cells. These findings promise to lead to a new generation of improved metal implants with intelligent surfaces that can control biological response at the site of healing.

Human Alveolar Bone-Derived Cell-Culture Behaviour on Biodegradable Poly(L-lactic Acid)

Poly(L-lactic acid) (PLA) is a polymer of great technological interest, whose excellent mechanical properties, thermal plasticity and bioresorbability render it potentially useful for environmental applications, as a biodegradable plastic and as a biocompatible material in biomedicine. The interactions between an implant material surface and host cells play central roles in the integration, biological performance and clinical success of implanted biomedical devices. Osteoblasts from human alveolar bone were chosen to investigate the cell behaviour when in contact with PLA discs. Cell morphology and adhesion through osteopontin (OPN) and fibronectin (FN) expression were evaluated in the initial osteogenesis, as well as cell proliferation, alkaline phosphatase activity and bone nodule formation. It was shown that the polymer favoured cell attachment. Cell proliferation increased until 21 days but in a smaller rate when compared to the control group. On the other hand, ALP activity and bone mineralization were not enhanced by the polymer. It is suggested that this polymer favours cell adhesion in the early osteogenesis in vitro, but it does not enhance differentiation and mineralization. (C) Koninklijke Brill NV, Leiden, 2009

GTP-dependent segregation of H-ras from lipid rafts is required for biological activity

Different sites of plasma membrane attachment may underlie functional differences between isoforms of Ras. Here we show that palmitoylation and farnesylation targets H-ras to lipid rafts and caveolae, but that the interaction of H-ras with these membrane subdomains is dynamic. GTP-loading redistributes H-ras from rafts into bulk plasma membrane by a mechanism that requires the adjacent hypervariable region of H-ras. Release of H-ras-GTP from rafts is necessary for efficient activation of Raf. By contrast, K-ras is located outside rafts irrespective of bound nucleotide. Our studies identify a novel protein determinant that is required for H-ras function, and show that the GTP/GDP state of H-ras determines its lateral segregation on the plasma membrane.