• Apr 24, 2017 News! Vol.6, No.4 has been indexed by EI (Inspec).   [Click]
  • Apr 24, 2017 News! Vol.6, No.3 has been indexed by EI (Inspec).   [Click]
  • Mar 16, 2017 News!Vol 7, No 1 has been published with online version 11 original aritcles from 6 countries are published in this issue   [Click]
General Information
    • ISSN: 2010-3697
    • Frequency: Bimonthly
    • DOI: 10.7763/IJMO
    • Editor-in-Chief: Prof. Adrian Olaru
    • Executive Editor: Ms.Yoyo Y. Zhou
    • Abstracting/ Indexing: Engineering & Technology Digital Library, ProQuest, Crossref, Electronic Journals Library, DOAJ, Google Scholar, EI (INSPEC, IET).
    • E-mail ijmo@iacsitp.com
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-2015.International Journal of Modeling and Optimization. All rights reserved.
E-mail: ijmo@iacsitp.com