A methodology of structured-modular composition programming

Abstract

Development and implementation of programming technologies require highly efficient software design methodologies and a mathematical apparatus for verification of software systems. An important role in this context is associated with the design of application systems as an efficient tool for supporting computerized knowledge acquisition technoliges in various subject domains. Widely used and fairly advanced are design methodologies based on the procedure-oriented approach, which are used to solve specific programming problems. In particular, the composition methodology provides a tool for the construction of program models that match the functional requirements of the programs and reflect the adaptation of programs to specific applications. The formal apparatus of this methodology is based on the composition algebra. The methodology of multilevel structured program design is used for formalized design of algorithms based on modified systems of algorithmic algebras as the formal apparatus. The structured methodology combined with the formal apparatus of the system of algorithmic algebras satisfies many requirements at its time and was used for the construction of numerous software-technology systems. We accordingly expect that the creation of a generalized methodology that includes methods for the construction of single programs as well as methods for the construction of whole software systems and organicallymore » combines the most important aspects of known programming methodologies, followed by the development of a qualitatively new mathematical apparatus for the programming formalism will elevate programmology to a qualitatively new level of progress. The first steps made by the authors in this direction confirm the efficiency and potential promise of the approach. The present article generalizes the authors` results in this direction.« less