Butenko I. Ontology models and methods of normative profile forming for software certification

Object of research: process normative profile forming for software certification. Subject of research: models and methods of computer-aided normative profile forming for software certification. Research methods:principles of system analysis: hierarchy and system, mathematical models of natural language semantic structure, formal methods for developing ontologies. Theoretical and practical results: linguistic ontological model for text of the standard, improved model of semantic integrity of software requirements, bassc classes of subject and predicate lexical units in the language of standards, algebra of predicative operations for query processing certification centre auditor, improved method for the synthesis of linguistic ontology for the standard and method of synthesis of the ontological system as the intelligent core of the dialog system for decision support for the certification centre auditor. Scientific novelty is in ontological representation of linguistic objects of the language of standards, improving the core model of semantic integrity through its submission in the form of ontologies, the improvement of a method of developing a linguistic ontology standards by taking into account the composite structure the text of the standard, development of a method of synthesis of the ontological system by submitting them in the form of the dialog of the intelligent decision support auditor certification centre. The results of the dissertation research have found practical application in the developing automated decision support for certification centre aditor in SERTTCENTR HF SERTATOM, and are used in educational process of Zhukovsky National aerospace University "Khai" at the Department of applied linguistics in the teaching disciplines "Fundamentals of applied linguistics", "Theory of algorithms and computational processes", "Automatic word processing" and at the Department of software engineering in teaching disciplines "Theory of algorithms and computational processes" and "Systems of artificial intelligence".