Interactions as Social Practices: towards a formalization