北大的软件建模工具PKUModeler,支持用况图、类图以及包图、顺序图、活动图、状态机图等辅助模型图,能完成基本的需求