PROOF OBLIGATIONS AS A SUPPORT TOOL FOR EFFICIENT PROCESS MANAGEMENT IN THE FIELD OF PRODUCTION PLANNING AND SCHEDULING

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28120%2F16%3A43874489" target="_blank" >RIV/70883521:28120/16:43874489 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.sjm06.com/SJM%20ISSN1452-4864/11_2_2016_May_149_319/11_2_2016_235_243.pdf" target="_blank" >http://www.sjm06.com/SJM%20ISSN1452-4864/11_2_2016_May_149_319/11_2_2016_235_243.pdf</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.5937/sjm11-11135" target="_blank" >10.5937/sjm11-11135</a>

Jazyk výsledku

angličtina

Název v původním jazyce

PROOF OBLIGATIONS AS A SUPPORT TOOL FOR EFFICIENT PROCESS MANAGEMENT IN THE FIELD OF PRODUCTION PLANNING AND SCHEDULING

Popis výsledku v původním jazyce

Production planning and scheduling is one of the most important business processes that significantly influence the performance of manufacturing companies. There are many information systems supporting production planning and scheduling and some of them are based on very sophisticated planning algorithms. Despite this fact, many companies still face serious problems even while using professional software tools for production planning and scheduling. Obviously, a lot of other changes in form of process innovations are required. This paper deals with the problem of process management in the field of production planning and scheduling. Our study explains reasons for low performance of advanced technologies and provides solution in form of system model of key factors affecting the efficiency of planning software. Research part is based on the study conducted within Czech manufacturing companies in form of questionnaire-based investigation combined with interviews. Proposed solution is extended to the abstract mathematical model based on proof obligations which prove or disprove the correctness of intended algorithms. Our study provides basic example of such an abstract model and describes its functionality and influence to proper production planning and scheduling. It will be processed to the form of complex expert system based on Event B method in the future.

Název v anglickém jazyce

PROOF OBLIGATIONS AS A SUPPORT TOOL FOR EFFICIENT PROCESS MANAGEMENT IN THE FIELD OF PRODUCTION PLANNING AND SCHEDULING

Popis výsledku anglicky

Production planning and scheduling is one of the most important business processes that significantly influence the performance of manufacturing companies. There are many information systems supporting production planning and scheduling and some of them are based on very sophisticated planning algorithms. Despite this fact, many companies still face serious problems even while using professional software tools for production planning and scheduling. Obviously, a lot of other changes in form of process innovations are required. This paper deals with the problem of process management in the field of production planning and scheduling. Our study explains reasons for low performance of advanced technologies and provides solution in form of system model of key factors affecting the efficiency of planning software. Research part is based on the study conducted within Czech manufacturing companies in form of questionnaire-based investigation combined with interviews. Proposed solution is extended to the abstract mathematical model based on proof obligations which prove or disprove the correctness of intended algorithms. Our study provides basic example of such an abstract model and describes its functionality and influence to proper production planning and scheduling. It will be processed to the form of complex expert system based on Event B method in the future.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

AE - Řízení, správa a administrativa

OECD FORD obor

—

Projekt

—

Návaznosti

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Serbian Journal of Management

ISSN

1452-4864

e-ISSN

—

Svazek periodika

11

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

RS - Srbská republika

Počet stran výsledku

8

Strana od-do

235-243

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—