Systems and Means of Informatics

2017, Volume 27, Issue 2, pp 155-169

TABS-REPRESENTATION OF TASKS AND TASK GRAPHS

V.D. Ilyin

Abstract

The article describes the basics of construction and application of tabs-structures for representation of task constructive objects (named s-tasks) and s-task graphs. A tabs, representing a three-dimensional multilayered table with special cell types for the formation of tabs-structures, is studied as a basic element of a positional system for representation of s-tasks and s-task graphs.
The collection of procedures is defined for each type of tabs cells. A tabs- structure with prescribed rules of navigation is considered as a universal means of representation of various data structures (arrays, lists, etc.) and relations of order, belonging, etc. Tabs-structures serve as support of symbolic embodiment of ideas of developers of programming systems.

[+] References (35)

Manna, Z., and R. Waldinger. 1971. Towards automatic program synthesis. Commun. ACM 14(3): 151-164.
Jackson, M. A. 1975. Principles of program design. London: Academic Press. 299 p.
Ershov, A. P., and V. P. Il'in. 1978. Pakety programm - tekhnologiya resheniya prikladnykh zadach [Software packages - a technology for solving applied problems]. Novosibirsk: CC SB AS USSR. Preprint No. 121. 30 p.
Kakhro, M.I., A. P. Kal'ya, and E.Kh. Tyugu. 1981. Instrumental'naya sistema programmirovaniya ES EVM (PRIZ) [The instrumental programming system ES computer (PRIZ)]. Moscow: Finance and Statistics. 181 p.
Broy, M. 1981. Program construction by transformation: A family tree of sorting programs. Computer program synthesis methodologies. Eds. A. W. Biermann and G. Gui- ho. NATO advanced study institutes ser. C. Dordrecht-Boston-London: D. Reidel Publishing Co. 95:1-49.
Oparin, G. A. 1982. Saturn - metasistema dlya postroeniya paketov prikladnykh programm [Saturn - the metasystem for software packages development]. Razrabotka paketov prikladnykh programm [Development of application packages]. Novosibirsk: Nauka. 130-160.
Martin, J. 1982. Application development without programmers. Englewood Cliffs, NJ: Prentice Hall. 350 p.
Tyugu, E.Kh. 1984. Kontseptual'noe programmirovanie [Conceptual programming]. Moscow: Nauka 256 p.
Bassett, P. 1984. Design principles for software manufacturing tools. Fifth Generation Challenge: ACM'84 Annual Conference Proceedings. Eds. R. L. Muller and J. J. Pottmyer. New York, NY: ACM. 85-93.
Ramsay, A. 1984. The POPLOGprogram development system. Microprocess. Microsy. 8(7):368-373.
Horowitz, E., A. Kemper, andB. Narasimhan. 1985. A survey of application generators. IEEE Software 2(1):40-54.
Luker, P. A., and A. Burns. 1986. Program generators and generation software. Comput. J. 29(4):315-321.
Polster, F. J. 1986. Reuse of software through generation of partial systems. IEEE Trans. Software Eng. 2(3):402-416.
Ilyin, V.D. 1986. Sistema IGEN. Kontseptsiya, arkhitektura, tekhnologiya pro- grammirovaniya [The IGEN system. Concept, architecture, programming technology]. Sovremennye sredstva informatiki [Modern Informatics Means]. Moscow: Nauka. 117125.
Babaev, I. O., and S. S. Lavrov. 1987. Razvitie avtomatizirovannoy sistemy resheniya zadach SPORA [Development of the automated system SPORA for solving problems]. Pakety prikladnykh programm. Instrumental'nye sistemy [Application packages. Instrumental systems]. Moscow: Nauka. 5-17.
Ilyin, V.D. 1987. Generator prikladnykh zadach v sisteme IGEN [The generator of applied tasks in the IGEN system]. EVM massovogo primeneniya [Mass computers]. Moscow: Nauka. 28-37.
Ilyin, V. D. 1989. Predstavlenie znaniy o zadachakh v sisteme porozhdeniya programm [Representation of knowledge about tasks in the system of programs generating]. Moscow: Institute of Informatics Problems of the Academy of Sciences of the USSR. Preprint. 50 p.
Ilyin, V.D. 1989. Sistema porozhdeniya programm [The system of programs generating]. Moscow: Nauka. 264 p. doi: 10.13140/RG.2.1.3150.6967.
Ilyin, V.D. 1989. Porozhdenie paketov programm [Generating software packages]. Sistemy i Sredstva Informatiki [Systems and Means of Informatics]. Moscow: Nauka. 32-65.
Ilyin, V. D. 1992. Porozhdenie tselevykh programmnykh sistem: Elementy teorii [Generating software with specified functionality and properties: The theory elements]. Sistemy i Sredstva Informatiki - Systems and Means of Informatics. Moscow: Nauka. 2:3-44.
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.
Gavrilenko, Y. V., and V. D. Ilyin. 1996. Spaces of local objects for semantic interpretation of problems. I. J. Computer Systems Sciences International 35(5):687-694.
Gavrilenko, Y. V., and V.D. Ilyin. 1997. Calculus of task-constructive objects and their interpretations. III. J. Computer Systems Sciences International 36(5):704-712.
Ilyin, A. V. 2007. Konstruirovanie razreshayushchikh struktur na zadachnykh grafakh sistemy znaniy o programmiruemykh zadachakh [Construction of solving structures in task graphs of knowledge system of programmable tasks]. Informatsionnye tekhnologii i vychislitel'nye sistemy [Information Technology Computer Systems] 3:30-36.
Ilyin, A.V., and V.D. Ilyin. 2009. Osnovy teorii s-modelirovaniya [Basics of the theory of S-modeling]. Moscow: Institute of Informatics Problems of Russian Academy of Sciences. 143 p. doi: 10.13140/2.1.3062.8800.
Ilyin, A. V., and V. D. Ilyin. 2012. S-modelirovanie zadach i konstruirovanie programm [S-modeling of tasks and construction of programs]. Moscow: Institute of Informatics Problems of the Russian Academy of Sciences. 148 p. doi: 10.13140/2.1.2800.7361.
Ilyin, V.D. 2013. Sistema porozhdeniya programm. Versiya 2013 g. [The system of programs generating. Version 2013]. Moscow: Nauka. 142 p. doi: 10.13140/ 2.1.1752.1605.
Ilyin, A.V., and V.D. Ilyin. 2014. Sistematizatsiya znaniy o programmiruemykh zadachakh [Systematization of knowledge about programmable tasks]. Sistemy i Sredstva Informatiki - Systems and Means of Informatics 24(3):192-203. doi: 10.14357/08696527140314.
Ilyin, A.V., and V.D. Ilyin. 2016. Sozdanie cheloveko-mashinnoy sredy resheniya zadach [Creation of a human-machine environment for problem solving]. Sistemy i Sredstva Informatiki - Systems and Means of Informatics 26(4): 149-161. doi: 10.14357/08696527160413.
Ilyin, A. V. 2013. Ekspertnoe planirovanie resursov [Expert resource planning]. Moscow: Institute of Informatics Problems of the Russian Academy of Sciences. 50 p. Available at: http://elibrary.ru/item.asp?id=27662070 (accessed March 11, 2017).
Ilyin, A. V., andV.D. Ilyin. 2013. The technology of interactive resource allocation in accordance with the customizable system of rules. Appl. Math. Sci. 7(143):7105-7111. doi: 10.12988/ams.2013.311649.
Ilyin, A.V., and V.D. Ilyin. 2014. The interval method of cost planning and its implementation in the Online Service. Contemp. Eng. Sci. 7(20):931-938. doi: 10.12988/ces.2014.48114.
Ilyin, A. V. 2015. Internet-servis planirovaniya raskhodov [The online service for cost planning]. Sistemy i Sredstva Informatiki - Systems and Means of Informatics 25(2): 111-122. doi: 10.14357/08696527150207.
Ilyin, A. V., and V. D. Ilyin. 2015. Interval planning the supplies of scarce product. Contemp. Eng. Sci. 8(31): 1495-1498. doi: 10.12988/ces.2015.59263.
Ilyin, A. V., and V. D. Ilyin. 2016. Variational online budgeting taking into account the priorities of expense items. Agris on-line Papers in Economics and Informatics 8(3):51 -56. doi: 10.7160/aol.2016.080305.

[+] About this article