Verifying metamodel coverage of model transformations

Since the object management group (OMG) commenced its model driven architecture (MDA) initiative, there has been considerable activity proposing and building automatic model transformation systems to help implement the MDA concept. Much less attention has been given to the need to ensure that model transformations generate the intended results. This paper explores one aspect of validation and verification for MDA: coverage of the source and/or target metamodels by a set of model transformations. The paper defines the property of metamodel coverage and some corresponding algorithms. This property helps the user assess which parts of a source (or target) metamodel are referenced by a given model transformation set. Some results are presented from a prototype implementation that is built on the eclipse modeling framework (EMF).

Lipoplexes formulation and optimisation:in vitro transfection studies reveal no correlation with in vivo vaccination studies

The aim of these studies was to compare the effect of liposome composition on physico-chemical characteristics and transfection efficacy of cationic liposomes both in vitro and in vivo. Comparison between 4 popularly used cationic lipids, showed 3b-N-(dimethylaminoethyl)carbamate (DC-Chol) to promote the highest transfect levels in cells in vitro with levels being at least 6 times higher than those of 1,2-di-O-octadecenyl-3-trimethylammonium propane (DOTMA). 1,2-dioleoyl-3-trimethylammonium-propane (DOTAP), and dimethyldioctadecylammonium (DDA) and approximately twice as efficient as dipalmitoyl-trimethylammonium-propane (DPTAP). To establish the role of the helper lipid, DC-Chol liposomes were formulated in combination with either 1,2-dioleoyl-sn-glycero-3-phosphatidylethanolamine (DOPE) or cholesterol (Chol) (1:1 molar ratio) with and without the addition of phosphatidyl choline. The choice of helper lipid incorporated within the bilayer was found to influence the formation of complexes, their resultant structure and their transfection efficiency in vitro, with SUV-DNA complexes containing optimum levels of DOPE giving higher transfection than those containing cholesterol. The inclusion of PC within the formulation also reduced transfection efficiency in vitro. However, when administered in vivo, SUV-DNA complexes composed of PC:Chol:DC-Chol at a molar ratio of 16:8:4 micromole/ml were the most effective at inducing splenocyte proliferation upon exposure to antigen in comparison to control spleens. These results demonstrate that there is no in vitro/in vivo correlation between the transfection efficacy of these liposome formulations and in vitro transfection in the above cell model cannot be taken as a reliable indicator for in vivo efficacy of DNA vaccines.