Dynamic Properties of Enterprise Information System Based on Formal Representation
Chaogai Xue, Haiwang Cao · 2008
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.