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. Furthermore, the existence of denotational objects is transformed into attractors and functional fixed points of a dynamical 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.
| Original language | English |
|---|---|
| Pages (from-to) | 1299-1303 |
| Number of pages | 5 |
| Journal | Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University |
| Volume | 37 |
| Issue number | 12 |
| State | Published - Dec 2003 |
Keywords
- Component
- Dynamical system
- Formal semantics
- Reference