Study on time property of enterprise information system based on formal representation

This paper deals with a new approach to time property of enterprise information systems, which is based on object-based knowledge meshes (OKM). To this end, different relations of OKM corresponding to enterprise information systems are represented, and their verfication methods are also presented. Then time properties of OKM are studied, including sequential, selective, parallel, and feedback relations. And then the time properties of different relations are analyzed. Finally, the time properties of enterprise information systems based on OKM are exemplified, which shows the application of the method.