Journal of South China University of Technology(Natural Science Edition) ›› 2019, Vol. 47 ›› Issue (2): 85-91.doi: 10.12141/j.issn.1000-565X.180335

• Computer Science & Technology • Previous Articles     Next Articles

Formal Semantics of Operators of Normal Function Tables in Tabular Expressions
 

 ZHOU Wenbo1， 2 LIU Lei1， 3 ZHANG Peng1， 2 L† Shuai1， 2   

  1.  1． College of Computer Science and Technology，Jilin University，Changchun 130012，Jilin，China; 2． Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education，Jilin University，Changchun 130012，Jilin，China; 3． College of Software，Jilin University，Changchun 130012，Jilin，China
  • Received:2018-07-04 Revised:2018-11-12 Online:2019-02-25 Published:2019-01-02
  • Contact: 张鹏( 1986-) ，男，讲师，主要从事软件形式化、软件测试研究 E-mail:zhangpengccst@jlu.edu.cn
  • About author:周文博( 1991-) ，男，博士生，主要从事形式化方法研究
  • Supported by:
     Supported by the National Natural Science Foundation of China( 61300049) ， the China Postdoctoral Science Foundation( 2016M591482) and the Natural Science Foundation of Jilin Province( 20150101054JC， 20180101053JC， 20190201193JC) 

PDF

192

Abstract: As one of typical Tabular expressions，normal function table is widely used in software documents． Semantics of operators of normal function tables was studied． Firstly，the formal grammar of normal function tables was proposed． Then，regularity，completeness and disjointness were discussed and the evaluation process was explained． Next，according to the influence range of operators， the semantics of composite operator， replace operator， extract operator and expand operator were described respectively with internal operators and external operators as classification criteria，and the closure of each operator was discussed． Finally，an elevator control system example was given to illustrate the rationality and availability of formal semantics of normal function table operators． The result of the example shows that the semantic description of normal function table operators presented in this paper is consistent with the actual result． 

Key words: normal function table, Tabular expression, operational semantics, software documentation, specification

CLC Number: