correction relative to the change in the architecture
TDD / development of the choreography verification methods (ongoing)
added requirements