• Dec 31, 2019 News!Welcome Assoc. Prof. David E. Breen from USA to join the Editorial board of IJMO.   [Click]
  • May 13, 2022 News!Vol. 12, No. 3 has been published with online version.   [Click]
  • Mar 14, 2013 News!The submission for JCMO 2013 2nd is officially open now!   [Click]
General Information
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).


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-2023. International Journal of Modeling and Optimization. All rights reserved.
E-mail: ijmo@iacsitp.com