• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Article

Метод определения противоречий в DEMO-моделях бизнес-процессов

Бизнес-информатика. 2014. № 2. С. 33-43.
Бабкин Э. А., Бузуева А. А., Логвинова К. В.

The article analyzes the methods and provides a solution to the problem of detecting logical contradictions in business process models of the health care company. Practical purpose of solving the problem is to increase the efficiency of data management for municipal agencies as stakeholder of company. The methodology is based on formal tools relational logic formalism and the methodology involved is describing business processes by DEMO paradigm. Essentially used the simulator MIT Alloy Analyzer. Analyzed business processes specific organization, provides guidance on the elimination of contradictions.