• Feb 07, 2023 News!IJMO will adopt Article-by-Article Work Flow   [Click]
  • Aug 25, 2023 News!Vol. 13, No. 3 has been published with online version.   [Click]
  • Dec 21, 2023 News!Vol. 13, No. 4 has been published with online version.   [Click]
General Information
Editor-in-chief
Prof. Adrian Olaru
University Politehnica of Bucharest, Romania
I'm happy to take on the position of editor in chief of IJMO. It's a journal that shows promise of becoming a recognized journal in the area of modelling and optimization. I'll work together with the editors to help it progress.
IJMO 2014Vol.4(2): 116-119 ISSN: 2010-3697
DOI: 10.7763/IJMO.2014.V4.357

A Formal Specification Automation Method Based on Focus Framework

Xiuna Zhu

Abstract—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 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.

Xiuna Zhu is with China Scholarship Council (CSC) scholarships as a Ph.D. student working at the Institute of Software & Systems Engineering at Technische Universität München, München, Germany (e-mail: zhux@in.tum.de).

[PDF]

Cite: Xiuna Zhu, "A Formal Specification Automation Method Based on Focus Framework," International Journal of Modeling and Optimization vol. 4, no. 2, pp. 116-119, 2014.

Copyright © 2008-2024. International Journal of Modeling and Optimization. All rights reserved.
E-mail: ijmo@iacsitp.com