机构地区: 华南理工大学计算机科学与工程学院
出 处: 《华南理工大学学报(自然科学版)》 2011年第10期74-78,共5页
摘 要: 针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不同层次上描述复杂形式系统软件规约的抽象表达程度,适于复杂形式系统的开发与测试.此外,文中应用范畴理论深入分析语言族模型中各语言模型之间的内在联系,以提供一个便利、高效的形式语言模型的理论框架. 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.
领 域: [自动化与计算机技术] [自动化与计算机技术]