Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains

Annotation of programs using embedded Domain-Specific Languages (embedded DSLs), such as the program annotation facility for the Java programming language, is a well-known practice in computer science. In this paper we argue for and propose a specialized approach for the usage of embedded Domain-Specific Modelling Languages (embedded DSMLs) in Model-Driven Engineering (MDE) processes that in particular supports automated many-step model transformation chains. It can happen that information defined at some point, using an embedded DSML, is not required in the next immediate transformation step, but in a later one. We propose a new approach of model annotation enabling flexible many-step transformation chains. The approach utilizes a combination of embedded DSMLs, trace models and a megamodel. We demonstrate our approach based on an example MDE process and an industrial case study.

"All Have to Live in Me...": A Study of the Use of English Alongside Other African Languages in a Kenyan School

The purpose of this paper, which builds on an earlier paper published in this Journal (Vol. 20, No. 6), is to develop the discussion around how English has been taught, used and perceived in Kenya, using data gathered from a small second-level English-medium school in Kenya. The complex relationships between language and identity are at work in the everyday routines of both staff and pupils within such a context. The paper seeks to set out a clear methodology for gathering data which could help describe these relationships with more clarity while also subjecting the data to analysis informed by the growing body of research and theory that focuses on language policy in post-colonial and neo-colonial settings. Finally, these pieces of data are used as the basis of a further exploration of the implications for classroom practice in teaching English in this environment.

Separable Banach lattices on which every bounded linear operator is regular

We give a complete description of those separable Banach lattices E with the property that every bounded linear from E into itself is the difference of two positive operators.