A framework for transforming SOFL formal specifications to programs

2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS) Pub Date : 2015-11-30 DOI:10.1109/ICSESS.2015.7338997

Xiongwen Luo, Shaoying Liu, Huan Wu

{"title":"A framework for transforming SOFL formal specifications to programs","authors":"Xiongwen Luo, Shaoying Liu, Huan Wu","doi":"10.1109/ICSESS.2015.7338997","DOIUrl":null,"url":null,"abstract":"The SOFL (Structured Object-Oriented Formal Language) formal engineering method is developed to overcome the deficiencies of existing formal methods and to provide both rigorous and practical techniques for building formal specifications, transforming specifications to programs, and verifying both specifications and programs. Although it has been applied to system modeling and design in both industrial and research projects, SOFL has not been widely applied to the industrial software development systems because of the lack of efficient tool support. In order to improve the functions of SOFL supporting tool and solve the problem that the formal specifications could not be directly executed, the automatic transformation from formal specifications to programs is an essential part. This paper firstly analyzes the relationship between the structures of SOFL formal specifications and Java programs, and then discusses the design and implementation of the automatic transformation. Lastly, a test for ensuring the reliability of the implemented software system is discussed.","PeriodicalId":335871,"journal":{"name":"2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSESS.2015.7338997","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

Abstract

The SOFL (Structured Object-Oriented Formal Language) formal engineering method is developed to overcome the deficiencies of existing formal methods and to provide both rigorous and practical techniques for building formal specifications, transforming specifications to programs, and verifying both specifications and programs. Although it has been applied to system modeling and design in both industrial and research projects, SOFL has not been widely applied to the industrial software development systems because of the lack of efficient tool support. In order to improve the functions of SOFL supporting tool and solve the problem that the formal specifications could not be directly executed, the automatic transformation from formal specifications to programs is an essential part. This paper firstly analyzes the relationship between the structures of SOFL formal specifications and Java programs, and then discusses the design and implementation of the automatic transformation. Lastly, a test for ensuring the reliability of the implemented software system is discussed.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

将SOFL正式规范转换为程序的框架

SOFL(结构化面向对象形式化语言)形式化工程方法是为了克服现有形式化方法的不足，为构建形式化规范、将规范转换为程序以及验证规范和程序提供严格而实用的技术而开发的。虽然SOFL已经应用于工业和科研项目的系统建模和设计，但由于缺乏有效的工具支持，它并没有广泛应用于工业软件开发系统。为了完善SOFL支持工具的功能，解决形式规范不能直接执行的问题，从形式规范到程序的自动转换是必不可少的一部分。本文首先分析了SOFL形式化规范的结构与Java程序的关系，然后讨论了自动转换的设计与实现。最后，讨论了确保所实现软件系统可靠性的测试方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS)

自引率

0.00%

发文量