Title :
Study on time property of enterprise information system based on formal representation
Author :
Xue, Chaogai ; Cao, Haiwang ; Dong, Lili
Author_Institution :
Manage. Eng. Dept., Zhengzhou Univ., Zhengzhou, China
Abstract :
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 verification 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.
Keywords :
formal verification; information systems; knowledge representation; enterprise information system; formal representation; formal verification; object-based knowledge mesh; Automatic control; Automation; Chaos; Control systems; Engineering management; Explosions; Information analysis; Information systems; Knowledge representation; Manufacturing;
Conference_Titel :
Control and Automation (ICCA), 2010 8th IEEE International Conference on
Conference_Location :
Xiamen
Print_ISBN :
978-1-4244-5195-1
Electronic_ISBN :
1948-3449
DOI :
10.1109/ICCA.2010.5524388