摘要
传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景,使其举步维艰。于是作为形式化方法与面向对象的联姻的SOFL(Structured Object-Oriented Formal Language)便应运而生。在给出语义分析的整体算法后,逐步分析各个阶段遇到的关键问题并给出解决方法,同时在参考其他语言的基础上,定义了SOFL中一些语义规则。
Traditional formal methods are trapped by themselves with the requirement of rigorous proof and high education for programmers. SOFL,as the marriage of formal and object-oriented methods, emerges. The algorithm for semantic analysis is presented, and the key problems are put forward and solved step by step. Some rules for SOFL based on other languages are defined.
出处
《计算机应用与软件》
CSCD
北大核心
2007年第11期86-88,共3页
Computer Applications and Software
