Attempto Controlled Natural Language for Requirements Specifications
Norbert E. Fuchs, Rolf Schwitter · 1995
Introduction: Views as Declarative Specifications We develop formal specifications in logic languages, specifically first-order predicate logic and Prolog. To bridge the conceptual gap between application domains and formal specifications we introduce graphical and textual views of formal specifications as application-oriented, i.e. in the true sense declarative, specifications [Fuchs & Fromherz 94]. Formal Specification Textual View Graphical View An automatic mapping between a view and its associated formal specification assigns a formal semantics to the view. Though views give the impression of being informal and having no intrinsic meaning, they are formal and have the semantics of their associated formal specification. This dual-faced appearance of views reduces the conceptual gap, and eases the transition from informal to formal notations. Furthermore, if the formal specification is executable its execution can be observed on the level of the view. Thus va