Формалізований опис візуальних представлень автоматизованого процесу

Abstract

Проведено аналіз існуючих візуальних моделей автоматизованих процесів підприємств та визначено проблему їх узгодженого представлення. Сформульовано задачу узгодження структурних та об'єктно-орієнтованих візуальних моделей процесу шляхом їх перетворення одна в одну. Під час вирішення цієї задачі розроблено моделі IDEF0-діаграми, діаграми прецедентів та діаграми діяльностей, які базуються на формальному апараті теорії графів. Запропоновано таблицю відповідностей елементів графових моделей зазначених видів діаграм. The analysis of existing visual models of automated processes of enterprises is analyzed and the problem of their coordinated representation is determined. The problem of harmonization of structural and objectoriented visual models of the process by their transformation into one another is formulated. During the solution of this problem, IDEF0-diagrams, precedent diagrams and activity diagrams based on the formal apparatus of graph theory are developed. The table of correspondences of elements of graph models of the specified types of diagrams is offered.