Semenova T. Algebraic approach to developing and analysis of in-formation system concept model

The object is process of domain modeling during information system development; the subjects are algebraic method of domain model creating and analysis; the purpose is increase of effectiveness of software development due to mistake quantity decrease on the phase of domain analysis and software specification by force of improvement of mathematical modeling aids of domain information-logical structure; methods - set theory, category theory, complete system modeling theory, graph theory, probability theory, information system theory; novelty - using set and probability theory the mathematical model of information-logical structure of information system domain - semi scheme is first developed, and set of formalized operations for model creation and verification is developed and mathematical grounded that leads to increase of effectiveness of software development due to mistake quantity decrease on the phase of domain analysis and software specification; the method of equivalent transformation semi scheme to data structure based on relational model, that gives opportunity to use the relation database as repository semi scheme and relation algebra as the description language of database verification algorithms is first developed; method of modeling using typical model composition thanks of formalization of structure template in the information-logical structure of domain, that gives opportunity to increase of effectiveness of software development due to reusing created and verified models on the phase of domain analysis and software specification is improved; the process of the transformation domain concept model to the data structure model of information system repository due to developed and grounded methods of mapping semi scheme to the relation database scheme is improved; efficiency - branch; application - software development.