Dynamic Properties of Enterprise Information System Based on Formal Representation

Author

Xue, Chaogai ; Cao, Haiwang

Author_Institution

Manage. Eng. Dept., Zhengzhou Univ., Zhengzhou

Volume

2

fYear

2008

fDate

12-14 Dec. 2008

Firstpage

570

Lastpage

573

Abstract

This paper deals with a new approach to dynamic properties of enterprise information systems, which is based on object-based knowledge meshes (OKM). To this end, concepts of OKM and the information transfer relationship mesh (ITRM) are proposed as well as their mathematical descriptions. Then the dynamic properties of OKM are studied, including reachability, boundedness, liveness and synchronization. Finally, the dynamic properties of enterprise information systems based on OKM are exemplified, the results of which show the effectiveness and feasibility of the method.

Keywords

information systems; object-oriented methods; dynamic properties; enterprise information system; formal representation; information transfer relationship mesh; mathematical descriptions; object-based knowledge meshes; Aerodynamics; Computer science; Engineering management; Explosions; Information systems; Knowledge engineering; Knowledge management; Knowledge representation; Management information systems; Software engineering; Enterprise Information System; Formal Representation; Information Transfer Relationship Mesh; Object-based Knowledge Mesh;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Software Engineering, 2008 International Conference on

Conference_Location

Wuhan, Hubei

Print_ISBN

978-0-7695-3336-0

Type

conf

DOI

10.1109/CSSE.2008.903

Filename

4722116