Vol.37 No.12

Journal of Xi'an Jiaotong University

 Dec.2003

retue.gif (1614 字节)

zwb.gif (1647 字节)

Method of Dynamical Systems to Research Component Reference Semantics
Chu Leilei,Xu Zongben
(School of Sciences,Xi'an Jiaotong Unviersity,Xi'an 710049,China)
Abstract:A topological space structure of component sets is proposed on the basis of component and reference formalization, and a new method based on topological dynamical systems is used to study the formal semantics with parallel recursive reference of components. Furthemore, the existence of denotational objects is transformed into attractors and functional fixed points of a dyamical system. This method is the development of the fixed point theory on lattices in formal semantics, it can be applied to the analysis of procedure model about nonmonotonic symmetric workflow.
Keywords:component;reference;formal semantics;dynamical system