Relating inter-agent and intra-agent specifications : the case of life sequence chart

{description_courte}