BESERIAL: Behavioural Service Interface Analyser. 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.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe: On the diversity of asynchronous communication (2016)
- Durán, Francisco; Ouederni, Meriem; Salaün, Gwen: A generic framework for $n$-protocol compatibility checking (2012)
- Durán, Francisco; Ouederni, Meriem; Salaün, Gwen: Checking protocol compatibility using maude (2009)