A Semi-Formal Specification Language Dedicated to Interaction Protocols