On semantic descriptions of software systems

Abstract. Formal methods are essential for giving precise descriptions of software systems. In our paper we analysed some approaches to conventional semantics and to action semantics. As a result we suggest to use action semantics for describing semantic properties of software systems including programming and MDE languages.

Key words and phrases. Conventional semantics of programming languages, Action semantics, Semantic functions, Algebraic specification of abstract data types.