We present a new calculus for mobile systems, the main feature of which is the separation between dynamic and topological aspects of distributed computations. Our calculus realises the following basic assumptions: (1) every computation executes in a uniquely determined location (2) processes modify the distributed structure by means of predefined operations, and (3) the underlying programming l...

In this position paper we discuss the identification of concerns related to personalization mechanisms. We propose using scenarios to extract systems requirements, user’s task, and related features. We argue that if we clearly identify the personalization-related concerns, we could add a posteriori personalization features to legacy systems, following an advance separation of concerns such as a...

Many researches on context aware computing are carried out around the world. Among them, Context-Toolkit and Semantic Space provide separation of concerns between sensor and application. They make application developing easier. However, they have one problem that is lacking of simplicity in communication, compatibility and flexibility in building systems. To solve it, we propose one delivery an...

Dear Editor, We are writing to respond to Dr. Schachar's letter (Schachar, 2007) regarding our study (Kasthurirangan & Glasser, 2006). The issues raised by Schachar are either founded on improper analysis or are already addressed in the article. Schachar has made assertions regarding analysis from just three subjects. In the original paper, trends in the changes in accommodative dynamics with a...

We present an analysis of the separation of concerns in multi-language design and multilanguage specifications. The basis for our analysis is the paradigm of the multi-dimensional separation of concerns, which claims that multiple dimensions of concerns in a design should be implemented independently. Multi-language specifications are specifications where different concerns of a design are impl...

This paper presents our ongoing research towards a safe system evolution. Our approach is based on data-centric, objectoriented systems. Within those systems we utilise (i) multi-dimensional separation of concerns, (iii) explicit, language-independent type declarations in the form of an ontology and (ii) component technology. With this combined approach it is possible to cope with a growing cod...