We developed the SENSORIA Approach. It generalizes the concept of service in such a way that: For this new concept of service for overlay computers we developed new semantically well-defined and powerfull 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.
|