أرسل هذا في رسالة قصيرة: Concurrency and Refinement in the Unified Modeling Language