Graph Representation of Declarative Languages as a Variant of Future Formal Specification Language

The paper includes brief review offormal specification languages, requirements and ideas for possible future developments. At the same time focusing attention to the languages based on first-order logic theory. For determining possible evolution directions of the existing specification methods we present generalized set of current and assumed requirements for systems of formal specification. As a potential solution for some lacks elimination concerned with specifications representation, was proposed an approach to graph representation of declarative languages. Was introduced and sight for future of specification languages as a result of current methods integration