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.

A study of the vacuum gamma-radiolysis of two aromatic polyimide fluoropolymers containing phenylphosphine oxide

The vacuum gamma -radiolysis of two fluorinated polyimides containing phenylphosphine oxide units, TOR-RC and TOR-RC ODPA, have been studied at 77 K and 300 K. The phenyl phosphine oxide units provide protection of the polymers towards oxidation by oxygen atoms and the bulky fluoromethyl groups reduce the colouration of the polymers by limiting donor-acceptor complex formation through the aromatic units. At 77 K the radicals formed were identified to be a mixture of neutral radicals (60%) and anion radicals. At 300 K only neutral radicals were found. The G-values for radical formation were found to be 0.50 and 0.42 at 77 K and 0.051 and 0.052 at 300 K for TOR-RC and TOR-RC ODPA, respectively. Little change was observed in the visible spectra of the polyimides following vacuum radiolysis at 300 K up to a dose of 3.3 MGy, and the polymers were shown to undergo net cross linking with a gel dose of 0.45 MGy.

A study of the oxidation of two aromatic polyimide fluoropolymers containing phenylphosphine oxide by a water plasma and gamma-radiolysis in air

The oxidation of two fluorinated polyimides containing phenylphosphine oxide units, TOR-RC and TOR-RC ODPA, have been studied at 300 K for treatment by a water plasma and gamma -radiolysis in air. The changes in the O 1s/C 1s ratios obtained from x-ray photoelectron spectroscopy (XPS) analysis showed that for exposure to the water plasma the ratio increases at short exposure times and then levels to a constant value. Evidence for the formation of phosphate species was also obtained from the XPS analyses. Similar observations were made for gamma -radiolysis of the polymers in air. The polymers containing phenylphosphine oxide were found to be more resistant to oxidation in the water plasma than Kapton(R). Radiolysis of the polymers in air to high doses were also accompanied by a red shift in the visible absorption spectra.

The behaviour of phenylphosphine oxide containing polyimides in a water plasma following gamma-radiolysis

The surface oxidation of two polyimides containing fluorinated phenylphosphine oxide units, TOR-RC and TOR-RC ODPA, have been studied by (XPS) spectroscopy following gamma -radiolysis under vacuum or in air and subsequent treatment in a water plasma. The changes in the O 1s/C 1s ratios obtained from (XPS) analysis showed that on exposure to the water plasma the ratio increases and then levels to a constant value which is similar to that found for exposure to the plasma without prior gamma -radiation treatment. Evidence for the formation of phosphate species was also obtained from the (XPS) analyses. (C) 2001 Elsevier Science Ltd. All rights reserved.