阐述了使用UML活动图进行软件过程建模需要解决的合理性检测问题。
The problems of software process model rationality checking based on UML activity graph are discussed.
本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言spml。
It proposed a software process modeling language named SPML which support semantics richness, flexibility, scalability, reuse and formalization.
因为任务控制流的图示表示办法直观方便，因此大多系统都采用这种定义方式为软件过程建模。
Most systems use the task flow graph model to model software process because this kind of model is very intuitive.
应用推荐