Behavior Oriented Service Substitution
The Service Oriented Computing (SOC) paradigm aims at building complex systems by composing them from less complex systems, called services. Such a (complex) system is a distributed application often involving several cooperating enterprises. As a system is usually subject to change, individual services will be substituted by other services during the system's life-cycle. Substituting one service by another one should not affect the correctness of the overall system. Verification of correctness is challenging, as the overall system is usually not known to any of the involved enterprises. The focus of the BOSS project is to study service substitution for a set of practical relevant correctness notions. The project is funded by NWO.