First is developing an arithmetic which implements information modeling by combining ERwin tool and TIMEER model.

• 一是将TIMEER模型与ERwin建模工具相结合，开发了一个用ERwin建模时态信息模型的方法，并对时态约束进行了具体讨论；