Incremental model transformation for the evolution of model-driven systems

Model transformations are an integral part of model-driven development. Incremental updates are a key execution scenario for transformations in model-based systems, and are especially important for the evolution of such systems. This paper presents a strategy for the incremental maintenance of declarative, rule-based transformation executions. The strategy involves recording dependencies of the transformation execution on information from source models and from the transformation definition. Changes to the source models or the transformation itself can then be directly mapped to their effects on transformation execution, allowing changes to target models to be computed efficiently. This particular approach has many benefits. It supports changes to both source models and transformation definitions, it can be applied to incomplete transformation executions, and a priori knowledge of volatility can be used to further increase the efficiency of change propagation.

Model-Driven safety evaluation with state-event-based component failure annotations

Over the past years, the paradigm of component-based software engineering has been established in the construction of complex mission-critical systems. Due to this trend, there is a practical need for techniques that evaluate critical properties (such as safety, reliability, availability or performance) of these systems. In this paper, we review several high-level techniques for the evaluation of safety properties for component-based systems and we propose a new evaluation model (State Event Fault Trees) that extends safety analysis towards a lower abstraction level. This model possesses a state-event semantics and strong encapsulation, which is especially useful for the evaluation of component-based software systems. Finally, we compare the techniques and give suggestions for their combined usage

Model driven distribution of collaborative business processes

In this paper, we present a top down approach for integrated process modelling and distributed process execution. The integrated process model can be utilized for global monitoring and visualization and distributed process models for local execution. Our main focus in this paper is the presentation of the approach to support automatic generation and linking of distributed process models from an integrated process definition.

The relationship between extra-role behaviours and job burnout for primary school teachers: A preliminary model and development of an organisational citizenship behaviour scale

Recent research on teacher stress in primary schools (e.g. Leonard, Bourke & Schofield, 1999) has shown that higher levels of teacher exhaustion are associated with higher levels of student satisfaction. This paper seeks to explain this surprising finding by considering a construct discussed widely in the organisational literature known as extra-role or organisational citizenship behaviour (OCB). Teacher OCB may include extra efforts to make lessons enjoyable and interesting, organising extra-curricular activities and spending personal time talking with students. The proposed model of analysis also draws on literature relating to job burnout (Maslach, 1982), which generally suggests that the three components of chronic occupational stress - exhaustion, depersonalisation and reduced accomplishment - occur together. However, this paper proposes that although teachers who engage in more OCB experience more exhaustion, they may simultaneously increase their feelings of personal accomplishment and work identification, which may in turn help to avert burnout. It is argued that only with this particular set of job attitudes are the effects of exhaustion caused by high levels of OCB sufficiently buffered to avoid job burnout, and thus positively affect students' quality of school life. The development and piloting of an instrument to measure teachers' OCB will be discussed. The preliminary findings reported herein are part of a larger ongoing study investigating the consequences of stress and OCB in primary school teachers.

Evaluation of different models to describe egg and pupal development of Xyleborus fornicatus Eichh. (Coleoptera: Scolytidae), the shot-hole borer of tea in Sri Lanka

Abstract Development data of eggs and pupae of Xyleborus fornicatus Eichh. (Coleoptera: Scolytidae), the shot-hole borer of tea in Sri Lanka, at constant temperatures were used to evaluate a linear and seven nonlinear models for insect development. Model evaluation was based on fit to data (residual sum of squares and coefficient of determination or coefficient of nonlinear regression), number of measurable parameters, the biological value of the fitted coefficients and accuracy in the estimation of thresholds. Of the nonlinear models, the Lactin model fitted experimental data well and along with the linear model, can be used to describe the temperature-dependent development of this species.

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).

Transient prenatal vitamin D deficiency is associated with subtle alterations in learning and memory functions in adult rats

Based on clues from epidemiology, low prenatal vitamin D has been proposed as a candidate risk factor for schizophrenia. Recent animal experiments have demonstrated that transient prenatal vitamin D deficiency is associated with persistent alterations in brain morphology and neurotrophin expression. In order to explore the utility of the vitamin D animal model of schizophrenia, we examined different types of learning and memory in adult rats exposed to transient prenatal vitamin D deficiency. Compared to control animals, the prenatally deplete animals had a significant impairment of latent inhibition, a feature often associated with schizophrenia. In addition, the deplete group was (a) significantly impaired on hole board habituation and (b) significantly better at maintaining previously learnt rules of brightness discrimination in a Y-chamber. In contrast, the prenatally deplete animals showed no impairment on the spatial learning task in the radial maze, nor on two-way active avoidance learning in the shuttle-box. The results indicate that transient prenatal vitamin D depletion in the rat is associated with subtle and discrete alterations in learning and memory. The behavioural phenotype associated with this animal model may provide insights into the neurobiological correlates of the cognitive impairments of schizophrenia. (c) 2005 Elsevier B.V. All rights reserved.

Introduction of routine outcome measures: staff reactions and issues for consideration

The aim of this study was to explore clinician reactions to (i) the introduction of routine outcome measures and (ii) the utility of outcomes data in clinical practice. Focus group discussions (n = 34) were conducted with mental health staff (n = 324) at approximately 8 months post implementation of routine outcome measures. A semi-structured interview schedule was used to collect data on two key issues; reactions to the introduction of outcome measures and factors influencing the utility of outcomes data in clinical practice. Data from the discussion groups were analysed using content analysis to isolate emerging themes. While the majority of participants endorsed the collection and utilization of outcomes data, many raised questions about the merits of the initiative. Ambivalence, competing work demands, lack of support from senior medical staff, questionable evidence to support the use of outcome measures, and fear of how outcomes data might be used emerged as key issues. At 8 months post implementation a significant number of clinical staff remained ambivalent about the benefits of outcome measurement and had not engaged in the process. The shift to a service model driven by outcomes and case-mix data will take time and resources to achieve. Implications for nursing staff are discussed.

Investigating ontogenetic space with developmental cell lineages

Development plays a significant role in biological evolution, and is likely to prove an effective route to overcoming the limitations of direct genotype-phenotype mappings in artificial evolution. Nonetheless, the relationship between development and evolution is complex and still poorly understood. One question of current interest concerns the possible role that developmental processes may play in orienting evolution. A first step towards exploring this issue from a theoretical perspective is understanding the structure of ontogenetic space: the space of possible genotype-phenotype mappings. Using a quantitative model of development that enables ontogenetic space to be characterised in terms of complexity, we show that ontogenetic landscapes have a characteristic structure that varies with genotypic properties.

MQL: A powerful extension to OCL for MOF queries

The Meta-Object Facility (MOF) provides a standardized framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely derived from that model. Information contained in these objects can be accessed directly, however, in order to realize the Model-Driven Architecture@trade; (MDA), we must have a mechanism for representing and evaluating structured queries on these instances. The MOF Query Language (MQL) is a language that extends the UML's Object Constraint Language (OCL) to provide more expressive power, such as higher-order queries, parametric polymorphism and argument polymorphism. Not only do these features allow more powerful queries, but they also encourage a greater degree of modularization and re-use, resulting in faster prototyping and facilitating automated integrity analysis. This paper presents an overview of the motivations for developing MQL and also discusses its abstract syntax, presented as a MOF model, and its semantics

The in vivo expression of actin/salt-resistant hyperactive DNase I inhibits the development of anti-ssDNA and anti-histone autoantibodies in a murine model of systemic lupus erythematosus

Systemic lupus erythematosus (SLE) is characterised by the production of autoantibodies against ubiquitous antigens, especially nuclear components. Evidence makes it clear that the development of these autoantibodies is an antigen-driven process and that immune complexes involving DNA-containing antigens play a key role in the disease process. In rodents, DNase I is the major endonuclease present in saliva, urine and plasma, where it catalyses the hydrolysis of DNA, and impaired DNase function has been implicated in the pathogenesis of SLE. In this study we have evaluated the effects of transgenic overexpression of murine DNase I endonucleases in vivo in a mouse model of lupus. We generated transgenic mice having T-cells that express either wild-type DNase I (wt. DNase I) or a mutant DNase I ( ash. DNase I), engineered for three new properties - resistance to inhibition by G-actin, resistance to inhibition by physiological saline and hyperactivity compared to wild type. By crossing these transgenic mice with a murine strain that develops SLE we found that, compared to control nontransgenic littermates or wt. DNase I transgenic mice, the ash. DNase I mutant provided significant protection from the development of anti-single-stranded DNA and anti-histone antibodies, but not of renal disease. In summary, this is the first study in vivo to directly test the effects of long-term increased expression of DNase I on the development of SLE. Our results are in line with previous reports on the possible clinical benefits of recombinant DNase I treatment in SLE, and extend them further to the use of engineered DNase I variants with increased activity and resistance to physiological inhibitors.