(Auto)Focus approaches and their applications: A systematic review
This is an incremental review that consolidates existing knowledge on Focus approaches for researchers and practitioners in formal methods and interactive systems.
The paper provides a systematic review of the Focus framework and its derivatives, which are used for formal specification and development of interactive systems, summarizing academic case studies and industrial applications over approximately 25 years.
Focus, a framework for formal specification and development of interactive systems, was introduced approx. 25 years ago. Since then this approach was broadly used in academic and industrial studies, as well as provided a basis for a number of another frameworks focusing on particular domains, and for the AF3 modelling tool. In this paper we provide a literature review of the corresponding approaches, academic case studies and industrial applications of these methods.