Genetic association and cellular function of MC1R variant alleles in human pigmentation

We have examined MC1R variant allele frequencies in the general population of South East Queensland and in a collection of adolescent dizygotic and monozygotic twins and family members to define statistical associations with hair and skin color, freckling, and mole count. Results of these studies are consistent with a linear recessive allelic model with multiplicative penetrance in the inheritance of red hair. Four alleles, D84E, R151C, R160W, and D294H, are strongly associated with red hair and fair skin with multinomial regression analysis showing odds ratios of 63, 118, 50, and 94, respectively. An additional three low-penetrance alleles V60L, V92M, and R163Q have odds ratios 6, 5, and 2 relative to the wild-type allele. To address the cellular effects of MC1R variant alleles in signal transduction, we expressed these receptors in permanently transfected HEK293 cells. Measurement of receptor activity via induction of a cAMP-responsive luciferase reporter gene found that the R151C and R160W receptors were active in the presence of NDP-MSH ligand, but at much reduced levels compared with that seen with the wild-type receptor. The ability to stimulate phosphorylation of the cAMP response element binding protein (CREB) transcription factor was also apparent in all stimulated MC1R variant allele-expressing HEK293 cell extracts as assessed by immunoblotting. In contrast, human melanoma cell lines showed wide variation in the their ability to undergo cAMP-mediated CREB phosphorylation. Culture of human melanocytes of known MC1R genotype may provide the best experimental approach to examine the functional consequences for each MC1R variant allele. With this objective, we have established more than 300 melanocyte cell strains of defined MC1R genotype.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

The new craft skills of engineering: The impact of innovation technology on engineering practices

This chapter explores the impact of innovation technologies such as simulation, modelling, and rapid prototyping on engineering practice. Innovation technologies help redefine the role of engineers in the innovation process, creating a new division of innovative labour both with and across organizations. This chapter also explores the boundaries of experimentation and inertia within particular domains of problem-solving to create new opportunities and value.

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.