The forma- tion of semantics of shape has many reasons both in physiological and psychological aspects,ff we can under- stand these reasons,we can communicate the design meaning exactly.

A formal semantics of VHDL based on duration calculus;

The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.

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.

In this article, the interoperability of semantic information modeling of IEC61850 is investigated from formal semantic theory.

In this paper,according to the internal and international research development about formal semantic expression in existed digital right expression models,we give a new model that has some dynamic reasoning abilities and is based on the theory of finite automation.

It focuses on the description of the non-terminating features of the verbs which have derived into the basic prepositions,and points out that to meet the requirement of the full-form sentences,the non-terminating verbs require to be followed by a verb phrase,syntactically and semantically,to get a serial verb construction or a pivotal construction.