A Formalism for the Description of Protein Interaction