UML是一种面向对象的统一建模语言。它包含10种图，其中，用例图展示了外部actor与系统所提供的用例之间的连接，UML中的外部actor是指 (18) ，用例可以用 (19) 图来描述。状态图指明了对象所有可能的状态以及状态间的迁移(transition)。如果一个并发的状态由n个并发的子状态图组成，那么，该并发状态在某时刻的状态由 (20) 个子状态图中各取一个状态组合而成。协作图描述了协作的 (21) 之间的交互和链接(link)，它画成 (22) 图的形式。