Analysis, specification and generation of mobile computer data synchronisation

Abstract

In current technologies, mobile computer data synchronisation protocols are typically programmed at a low-level. The disadvantages of this are that they are error-prone and time consuming. This paper analyses current Palm OS data synchronisation problems and applies embedded domain-specific language (EDSL) techniques in the problem domain to improve the current situation. The key advantage is that domain developers can describe problems using their natural terms and concepts at high conceptual level. Our approach allows equivalent code to be generated automatically from higher-level specifications, enabling domain developers to express their ideas quickly and concisely, to work more productively and to avoid certain kinds of coding error.