查看文章

[Context and motivation] The understandability of formal specifications is often considered as one of the main factors that limit the employment of formal methods in industrial applications. [Question/problem] Two reasons account for this issue: intricate notations and a coarse style of writing specifications. [Principal ideas/results] In this paper, we present our experience of rendering formal specifications understandable yet rigorous. [Contribution] The main contribution of the paper is the proposition of intuitive writing style guidelines, based on the ASM method, that enable formal specifications to become understandable.