Towards the Formalization of Interaction Semantics