Journal of South China University of Technology (Natural Science Edition) ›› 2011, Vol. 39 ›› Issue (10): 74-78.doi: 10.3969/j.issn.1000-565X.2011.10.013

• Computer Science & Technology • Previous Articles     Next Articles

A Formal-Language Algebraic Model

Miao De-cheng  Xi Jian-qing  Jia Lian-yin  Liu Yong   

  1. School of Computer Science and Engineering,South China University of Technology,Guangzhou 510006,Guangdong,China
  • Received:2010-12-21 Revised:2011-07-05 Online:2011-10-25 Published:2011-09-01
  • Contact: 奚建清(1962-) ，男，教授，博士生导师，主要从事数据库与网络计算、形式语义学、软件系统形式化理论研究．E-mail: jianqingxi@163．com E-mail:tony10860@126.com
  • About author:苗德成(1979-) ，男，在职博士生，韶关学院讲师，主要从事数据库与网络计算、形式语义学、软件系统形式化理论研究．
  • Supported by:

    广东省科技计划项目( 2009B050700008 ) ; 华南理工大学中央高校基本科研业务费专项资金资助项目( 2009ZM0162) ; 韶关学院科研项目( 201020704)

PDF

1155

Abstract:

Considering the status quo of formal language researches both at home and abroad,this paper preliminarily investigates the mathematic model of formalization specification description language for formal system and establishes an algebraic model of formal language. Moreover,the concept of language reuse is presented based on the software reuse and transformational semantics methods,and a formal language family model is set up according to the hierarchical design principle of software engineering. In this model,the degree of the abstract expression of software specification
for the complex formal system is described at different levels,which is suitable for the deve-lopment and testing of complex formal systems. Besides,the inherent relationship among the language models in the language family model is deeply analyzed based on the category theory,so as to provide a convenient and efficient theoretical framework for formal language models.

Key words: formal languages, language model, reuse, formal semantics, hierarchical design

CLC Number: