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 by 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).