Skip to Main Content
Ubiquitous computing has gained ground over the last five years. It focuses on devices being able to connect to the net at any time from any place. It includes the modern term distributed computing, which means accessing resources from any place. Several behaviours in modern distributed computing can be observed. For instance, a process in one place can send an object to other places; a process can request an object from a remote provider; a process can be moved from one place to another and then continue its execution; a message might travel through many intermediaries before its destination. Too many participants in one action might cause computational complications. It is better if the system structure can be at proved before the action really takes place. Therefore, script is a modelling language designed for "simulating" and "verifying" distributed computing, grid computing and ubiquitous computing. Although script is currently a modelling language, it will be provided with a transformation tool to move a script-based model into a real environment. This tool is under development.