Syrota O. Automation of consistency analysis in verification tasks at information system design stage

The dissertation is devoted to solving the task of consistency analysis of information systems and business rules at the system design stage for business rules approach. The conception of structural verification at design stage is proposed. The conception is to extend verification process at design stage with the phase of consistency analysis of information system and business rules. UML is used for information system modeling; SBVR is used for business rules formalization. Research task is solved by means of consistency analysis of system and business rules integral model. The mathematical multi-formal integral model is developed which unite components represented in different formalisms. The properties of used formalisms are determined. In particular it is established for first order logic that decidable fragments and classes are used. This ensures the decidability of satisfiability problem for the first order logic formulas. For building and consistency analysis of specified integral models the knowledge representation method is developed. The consistency analysis method of information systems and business rules is developed and its computational complexity is determined. The information technology based on theoretical results is developed. The technology is tested at development and reengineering of the number of information systems.