Enviar aquest missatge de text: Concurrency and Refinement in the Unified Modeling Language