A Formal Specification Automation Method Based on Focus Framework

Xiuna Zhu
2014 International Journal of Modeling and Optimization  
An open issue in the area of formal methods is the automation methods and their support tools which need to be applied in the specification process. The automated methodology not only saves time, but also excludes human factors that lead to failure, so it is becoming a trend of model-driven development technology in requirements engineering. For this purpose, we proposed and implemented a formal specification automation process which aims to generate formal specification documents from software
more » ... engineering models. Our work focuses on the automatic generation of requirements specification in the Focus modeling framework from AutoFocus models. The proposed method not only generates a readable specification of the requirements, but also provides an effective way to combine the CASE tool AutoFocus and the Focus framework. Index Terms-Focus framework, formal methods,formal specification.
doi:10.7763/ijmo.2014.v4.357 fatcat:p3y3f224sne4zb273mrighqooq