Với ƣu diểm đƣợc chuẩn hóa, sở hữu bộ ký hiệu đơn giản dễ hiểu và đƣợc hỗ trợ bởi nhiều CASE tool, UML đã trở thành một ngôn ngữ đƣợc sử dụng rộng rãi và phổ biến nhất. Các ngôn ngữ mô hình hóa tiến trình phần mềm dựa vào UML đƣợc thừa hƣởng các đặc điểm này bao gồm SPEM [9], UML4SPM [5] và UML-PP [6].
SPEM là một chuẩn của OMG cho mô hình tiến trình phần mềm. Phiên bản SPEM 1.1 đƣợc chuẩn hóa năm 2002 và SPEM 2.0 năm 2008. SPEM 1.1 bao gồm một metamodel theo chuẩn MOF 1.3 và một UML 1.4 profile. SPEM 1.1 dùng các khái niệm của UML 1.4 để biểu diễn các luật, ràng buộc, ký hiệu… sử dụng trong việc mô hình tiến trình. Trung tâm của SPEM 1.1 là gói ProcessStructure với các thành tố phần mềm WorkProduct,
2.0 và UML 2.0. SPEM 1.1 không chứa đặc tả để thực thi tiến trình trong khi đó đặc tả SPEM 2.0 lại rất phức tạp và khó hiểu.
UML4SPM là ngôn ngữ mô hình hóa tiến trình phần mềm thừa kế từ UML 2.0. Ngôn ngữ UML4SPM đƣợc mô tả dƣới dạng MOF metamodel với sơ đồ và bộ ký hiệu đồ họa đơn giản. Trong UML4SPM, các thành tố phần mềm bao gồm SoftwareActivity, WorkProduct, Team, Agent, Tool... Bên cạnh đó, UML4SPM có sử dụng lại các Actions và Activity trong UML 2.0. Một đặc điểm nổi bật của UML4SPM là dễ hiểu, tính hình tƣợng cao và có khả năng thực thi đƣợc.
UML-PP là ngôn ngữ cung cấp nhiều mức độ trừu tƣợng nhất (ba mức độ) cho mỗi thành tố phần mềm. UML-PP cũng thừa kế từ UML2.0 và SPEM1.1. Một ƣu điểm nổi bật của UML-PP so với hai ngôn ngữ trên là khả năng mô hình hóa mẫu tiến trình và sử dụng lại mẫu tiến trình.
Rất ít công cụ hỗ trợ mô hình hóa SPEM, có thể kể đến bao gồm EPF (Eclipse Process Framework) và RMC (Rational Method Composer). Với UML4SPM, chúng tôi chỉ tìm đƣợc một pluggin trên môi trƣờng Eclipse 3.0 do chính tác giả Bendraou xây dựng. Với UML-PP, [17] cung cấp công cụ mô hình PATPRO.
PCSEE (Process Centered Software Engineering Environment) là các môi trƣờng hỗ trợ thực thi tiến trình phần mềm. PCSEE tiếp nhận các mô hình tiến trình nhƣ một tham số và hỗ trợ vận hành tiến trình theo đặc tả trong mô hình tiến trình. Cụ thể PCSEE sẽ dựa vào mô hình tiến trình để xác định các hoạt động nào trong qui trình phát triển phần mềm đƣợc thực thi, với mỗi hoạt động kiểm soát điều kiện kích hoạt hoạt động, gắn kết hoạt động với ngƣời thực thi hoạt động cũng nhƣ cung cấp các công cụ và tài nguyên cần thiết để hoàn tất hoạt động Trong lĩnh vực học thuật, một số prototype của PCSEE đã đƣợc xây dựng nhƣ ALF, Merlin, MELMAC và SPADE [18] nhƣng chƣa có sản phẩm PCSEE thƣơng mại nào thật sự đƣợc chấp nhận rộng rãi.
Hình III-1 Minh họa hoạt động của một PCSEE
Nhƣ vậy ngoài một số các công cụ thử nghiệm mang tính hàn lâm, thì chƣa có công cụ thƣơng mại nào thực sự hỗ trợ vận hành tiến trình phần mềm.