Seol mar théacs é seo: Concurrency and Refinement in the Unified Modeling Language