DocumentCode :
3221019
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
fYear :
2010
fDate :
9-11 June 2010
Firstpage :
1678
Lastpage :
1682
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Control and Automation (ICCA), 2010 8th IEEE International Conference on
Conference_Location :
Xiamen
ISSN :
1948-3449
Print_ISBN :
978-1-4244-5195-1
Electronic_ISBN :
1948-3449
Type :
conf
DOI :
10.1109/ICCA.2010.5524388
Filename :
5524388
Link To Document :
بازگشت