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.

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.

Network structures of Bis-GMA/TEGDMA resins differ in DC, shrinkage-strain, hardness and optical properties as a function of reducing agent

Objectives. To evaluate the influence of different tertiary amines on degree of conversion (DC), shrinkage-strain, shrinkage-strain rate, Knoop microhardness, and color and transmittance stabilities of experimental resins containing BisGMA/TEGDMA (3: 1 wt), 0.25wt% camphorquinone, 1wt% amine (DMAEMA, CEMA, DMPT, DEPT or DABE). Different light-curing protocols were also evaluated. Methods. DC was evaluated with FTIR-ATR and shrinkage-strain with the bonded-disk method. Shrinkage-strain-rate data were obtained from numerical differentiation of shrinkage-strain data with respect to time. Color stability and transmittance were evaluated after different periods of artificial aging, according to ISO 7491: 2000. Results were evaluated with ANOVA, Tukey, and Dunnett`s T3 tests (alpha = 0.05). Results. Studied properties were influenced by amines. DC and shrinkage-strain were maximum at the sequence: CQ < DEPT < DMPT <= CEMA approximate to DABE < DMAEMA. Both DC and shrinkage were also influenced by the curing protocol, with positive correlations between DC and shrinkage-strain and DC and shrinkage-strain rate. Materials generally decreased in L* and increased in b*. The strong exception was the resin containing DMAEMA that did not show dark and yellow shifts. Color varied in the sequence: DMAEMA < DEPT < DMPT < CEMA < DABE. Transmittance varied in the sequence: DEPT approximate to DABE < DABE approximate to DMPT approximate to CEMA < DMPT approximate to CEMA approximate to DMAEMA, being more evident at the wavelength of 400 nm. No correlations between DC and optical properties were observed. Significance. The resin containing DMAEMA showed higher DC, shrinkage-strain, shrinkage-strain rate, and microhardness, in addition to better optical properties. (C) 2011 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Managing youth transitions in the Network Society

Castells argues that society is being reconstituted according to the global logic of networks. This paper discusses the ways in which a globalised network logic transforms the nature young people's transitions from school to work. Furthermore, the paper explores the ways in which this network logic restructured the manner in which youth transitions are managed via the emergence of a Vocational Education and Training (VET) agenda in Australian post compulsory secondary schooling. It also notes the implications of the emergence of the 'network society' for locality generally and for selected localities specific to the research upon which this paper is based. It suggests that schools represent nodes in a range of VET and other networks, and shows how schools and other agencies in particular localities mobilise their expertise to construct such networks. These networks are networked, funded and regulated at various levels - regionally, nationally and globally. But, they are also facilitated by personal networking opportunities and capacities. The paper also points to the ways in which the 'reflexivity chances' of young people are shaped by this network logic - a situation that generates new forms of responsibility, for schools and teachers, with regard to the management of youth transitions.