Section: Application Domains

Ubiquitous Systems

The main application domain for Focus are ubiquitous systems, broadly systems whose distinctive features are: mobility, high dynamicity, heterogeneity, variable availability (the availability of services offered by the constituent parts of a system may fluctuate, and similarly the guarantees offered by single components may not be the same all the time), open-endedness, complexity (the systems are made of a large number of components, with sophisticated architectural structures). In Focus we are particularly interested in the following aspects.

• Linguistic primitives for programming dialogues among components.

• Contracts expressing the functionalities offered by components.

• Adaptability and evolvability of the behaviour of components.

• Verification of properties of component systems.

• Bounds on component resource consumption (e.g., time and space consumed).