Describir: Modeling the Dynamics of UML Behavioral Diagrams