CHOICE AND SUBSTANTIATION OF FORMALLOGIC APPARATUS FOR THE INTEGRAL MODEL OF CAS IN THE PROBLEM OF AUTOMATED COMPLEX SYSTEM AND BUSINESS-RULES CONSISTENCY ANALYSIS.

The paper is dedicated to the problem of complex system (CS) and business-rules consistency analysis. To solve this problem it is decided to develop an approach to consistency analysis on the basis of UML system model and SBVR business vocabulary integration. The multi-formalism complex system integral model is defined. The approaches to consistency analysis of complex system's integral model are proposed. [ABSTRACT FROM AUTHOR]