怎样用形式化语言描述停车场模型

[qq_28036559]

我做一个停车场项目，设计文档构建了一个停车场厂模型，例如：停车场，然后是门，门里面是车道。一个停车场可以构建几个门，门也可以构建多个车道。怎样用形式化语言描述，我想到了UML图，数据库ER图。