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.
