面向组合式软件功能正确性和非功能满足性的统一建模方法 (Unified Modeling Method of Functional and Non-functional Aspects for Composite Software).