Interaction protocols in the JADEL programming language