Systems and Means of Informatics
2021, Volume 31, Issue 3, pp 170-177
SYMBOLIC MODELING OF TASKS AND CONSTRUCTING PROGRAMS
Abstract
An updated methodology for symbolic modeling of programmable tasks is presented, designed to build knowledge systems about tasks that are intended for automated design of programs. Task constructions are created by means of memory links between tasks, represented by task constructive objects.
Three types of memory link functions are defined, each of which allows assigning to a pair of tasks some third task formed from this pair. The task graph serves as representation of the problem area, designed to formalize task knowledge and implement the process of constructing tasks. The required construction is described by the problem specification, which contains a description of its memory, restrictions on the number of task vertices (and, if necessary, restrictions related to the accuracy of result, etc.). The mechanism of searching the resolving structures matches the specification of the original problem with a subgraph on the task graph by implementing three types of behavior in accordance with three types of requests for constructing.
[+] References (9)
- Sweger, K. 1967. 1130 scientific subroutine package (1130-CM-02X): Programmer's manual. Available at: http://media.ibm1130.org/1130-006-ocr.pdf (accessed August 20, 2021).
- Dijkstra, E. 1969. Structured programming. Software engineering techniques. Eds. J. Burton and B. Randell. Brussels: NATO Science Commitee. 89-93.
- Wirth, N. E. 1971. Program development by stepwise refinement. Commun. ACM 14(4):221-227. doi: 10.1145/362575.362577.
- Polster, F. J. 1986. Reuse of software through generation of partial systems. IEEE T. Software Eng. 12(3):402-416.
- Luker, P. A., and A. Burns. 1986. Program generators and generation software. Comput. J. 29 (4 ):315-321.
- Ilyin, V. D. 1989. Sistema porozhdeniya programm [The system of program generating]. Moscow: Nauka. 264 p.
- Ilyin, V. D. 1995. A methodology for knowledge based engineering of parallel program systems. 8th Conference (International) on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems Proceedings. Newark, NJ: Gordon and Breach Science Publs., Inc. 805-809.
- Arushanyan, O.B., and N.I. Volchenskova. 2000. Obespechenie dostupa k biblioteke chislennogo analiza NIVTs MGU v sisteme Internet [The access to Numerical Analysis Library of Moscow University Research Computing Center in Internet]. Vychislitel'nye metody i programmirovanie [Numerical Methods and Programming] 1(2):1-8.
- Meil, D. 2021. The search for unlimited productivity. Commun. ACM 64(6): 10-11.
[+] About this article
Title
SYMBOLIC MODELING OF TASKS AND CONSTRUCTING PROGRAMS
Journal
Systems and Means of Informatics
Volume 31, Issue 3, pp 170-177
Cover Date
2021-11-10
DOI
10.14357/08696527210315
Print ISSN
0869-6527
Publisher
Institute of Informatics Problems, Russian Academy of Sciences
Additional Links
Key words
symbolic modeling of tasks; task constructive object; system of knowledge about tasks; task graph; resolving structure; constructing programs
Authors
V. D. Ilyin 
Author Affiliations
Federal Research Center "Computer Science and Control", Russian Academy of Sciences, 44-2 Vavilov Str., Moscow 119333, Russian Federation
|