BESERIAL: Behavioural Service Analyser
Abstract
In a service-oriented architecture, software services interact by means of message exchanges that follow certain patterns documented in the form of behavioural interfaces. As any software artifact, a service interface evolves over time. When this happens, incompatibility problems may arise. We demonstrate a tool, namely BESERIAL, that can pinpoint incompatibilities between behavioural interfaces.