For this new concept of service for overlay computers we developed new semantically well-defined and powerfull

 

• modelling and programming primitives
• mathematical foundations
• techniques for qualitative and quantitative analysis
  
• tools for model-driven development and deploying service-oriented systems
  
• methods for transformation of legacy systems
• pattern-based engineering techniques

In the white paper entitled "A unifying formal basis for the SENSORIA approach" the evidence is given that the formal methods in SENSORIA, while spanning over a variety of theories and employing diverse mathematical results, are coherent and refer to well understood kernel of theoretical computer science. 

 

Application areas of SENSORIA for demonstrators include e-business, automotive systems, telecommunications and e-university.