Advanced approach to production workflow composition on engineering knowledge portals

Проблематика. В середовищі інженерних порталів знань зосереджена велика кількість часткових робочих процесів, що поєднуються у загальний робочий процес, з метою виконання реальної комплексної виробничої розрахункової задачі. Характеристики таких часткових робочих процесів та структура загальних робочих процесів є недостатньо дослідженими, що впливає на неможливість динамічного формування загального виробничого робочого процесу. Мета досліджень. Створення підходу до динамічного формування загального виробничого робочого процесу на основі порівняння метаописів часткових робочих процесів інженерних порталів знань. Методика реалізації. Аналіз параметрів та характеристик часткових робочих процесів, а також структури загальних виробничих робочих процесів порталів знань дав змогу задати правила включення часткових робочих процесів у загальні виробничі робочі процеси (на базі порівняння значень метаописів робочих процесів), побудувати алгебраїчну модель загального виробничого робочого процесу, а також розробити метод формування дерева виробничого робочого процесу. Результати досліджень. Виконано експериментальне дослідження по застосуванню запропонованого підходу до динамічного формування загального виробничого робочого процесу для реального комплексного виробничого робочого процесу інженерного порталу знань «Розрахунок на міцність силових магнітних систем». Висновки. Запропоновано підхід до динамічного формування загального виробничого робочого процесу на порталах інженерних знань, що дозволяє на основі порівняння значень метаописів часткових робочих процесів обрати з їх множини тільки ті, що необхідні для виконання реального комплексного робочого процесу.Background. In the environment of engineering knowledge portals great amount of partial workflows is concentrated. Such workflows are composed into general workflow aiming to perform real complex production task. Characteristics of partial workflows and general workflow structure are not studied enough, that affects the impossibility of general production workflow dynamic composition. Objective. Creating an approach to the general production workflow dynamic composition based on the partial workflows meta-descriptions comparison on engineering knowledge portals. Methods. Analysis of the partial parameters workflow and characteristics and the structure of general production workflow of knowledge portals made it possible to specify rules for partial workflows inclusion into general production workflow (based on workflows meta-descriptions comparison), to design algebraic model of general production workflow and develop the production workflow tree forming method. Results. Experimental investigation was made on the application of suggested approach to general production workflow dynamic composition for real complex production workflow of engineering knowledge portal “Calculation of the strength for the power components of magnetic systems”. Conclusions. The approach to the general production workflow dynamic composition on engineering knowledge portals is suggested, that allows, based on comparison of the partial workflows meta-descriptions values, choosing from their set workflows that are required to perform real complex workflow.Проблематика. В среде инженерных порталов знаний сосредоточено большое количество частичных рабочих процессов, которые объединяются в общий рабочий процесс с целью выполнения реальной комплексной производственной расчетной задачи. Характеристики таких частичных рабочих процессов и структура общих процессов недостаточно исследованы, что влияет на невозможность динамического формирования общего производственного процесса. Цель исследований. Создание подхода к динамическому формированию общего производственного рабочего процесса на основании сравнения метаописаний частичных рабочих процессов инженерных порталов знаний. Методика реализации. Анализ параметров и характеристик частичных рабочих процессов, а также структуры общих производственных рабочих процессов порталов знаний дал возможность задать правила включения частичных рабочих процессов в общие производственные рабочие процессы (на базе сравнения значений метаописаний рабочих процессов), построить алгебраическую модель общего производственного процесса, а также разработать метод формирования дерева производственного рабочего процесса. Результаты исследований. Выполнено экспериментальное исследование по применению предложенного подхода к динамическому формированию общего производственного рабочего процесса для реального комплексного производственного рабочего процесса инженерного портала знаний «Расчет на прочность силовых магнитных систем». Выводы. Предложено подход к динамическому формированию общего производственного рабочего процесса на порталах инженерных знаний, который позволяет на основании сравнения значений метаописаний частичных рабочих процессов выбрать из их множества те, которые необходимы для выполнения реального комплексного рабочего процесса

The integrated use of enterprise and system dynamics modelling techniques in support of business decisions

Enterprise modelling techniques support business process re-engineering by capturing existing processes and based on perceived outputs, support the design of future process models capable of meeting enterprise requirements. System dynamics modelling tools on the other hand are used extensively for policy analysis and modelling aspects of dynamics which impact on businesses. In this paper, the use of enterprise and system dynamics modelling techniques has been integrated to facilitate qualitative and quantitative reasoning about the structures and behaviours of processes and resource systems used by a Manufacturing Enterprise during the production of composite bearings. The case study testing reported has led to the specification of a new modelling methodology for analysing and managing dynamics and complexities in production systems. This methodology is based on a systematic transformation process, which synergises the use of a selection of public domain enterprise modelling, causal loop and continuous simulationmodelling techniques. The success of the modelling process defined relies on the creation of useful CIMOSA process models which are then converted to causal loops. The causal loop models are then structured and translated to equivalent dynamic simulation models using the proprietary continuous simulation modelling tool iThink

Evaluation of Datalog queries and its application to the static analysis of Java code

Two approaches for evaluating Datalog programs are presented: one based on boolean equation systems, and the other based on rewriting logic. The work is presented in the context of the static analysis of Java programs specified in Datalog.Feliú Gabaldón, MA. (2010). Evaluation of Datalog queries and its application to the static analysis of Java code. http://hdl.handle.net/10251/14016Archivo delegad