Anfonwch hwn fel neges destun: Concurrency and Refinement in the Unified Modeling Language