Abstract
The paper describes a specification language for the processing of records with technical—economic content in distributed control systems. The principles of the specification language are close to logic languages and to data-structure oriented languages. The language has been implemented on a computer system.
Similar content being viewed by others
Literature Cited
V. N. Agafonov, Program Specification: Conceptual Tools and Their Organization [in Russian], Nauka, Novosibirsk (1987).
M. A. Korolev, Computer Processing of Economic Data [in Russian], Ékonomika, Moscow (1964).
J. Demetrovic, E. Knuth, and P. Rado, Computer-Aided Specification Methods [Russian translation], Mir, Moscow (1989).
V. V. Moroz, "Design principles of a language for logic-informational transformations of technical—economic indicators," in: Software and Hardware for Process Control Systems [in Russian], IK AN UkrSSR, Kiev (1979), pp. 54–64.
V. V. Moroz, "A language for the description of technical—economic information," Upr. Sist. Mash., No. 5, 72–79 (1979).
V. V. Moroz, "A representation of relations and transformations of relation graphs," Kibernetika, No. 3, 19–23 (1980).
V. V. Moroz, "HERMES-3: a computer-aided system for integrated data processing," Upr. Sist. Mash., No. 1, 86–91 (1987).
E. F. Codd, "A data base sublanguage founded on the relational calculus," Proc. 1971 ACM SIGNIFIDET Workshop on Data Description, Access and Control, ACM (1971), pp. 35–68.
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 4, pp. 152–164, 179, July–august, 1991.
Rights and permissions
About this article
Cite this article
Moroz, V.V. A specification language for the processing of technical-economic indicators. Cybern Syst Anal 27, 612–621 (1991). https://doi.org/10.1007/BF01130373
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01130373