Sémantický nástroj pro BPMN modely podporující STPA analýzy

Abstract

V dnešních složitých systémech může dojít k chybám, jako je nesprávný přístup, lidská chyba nebo nedostatečné porozumění, což může mít za následek značné ekonomické ztráty. Obvykle mají organizace své procesy nějakým způsobem vyjádřeny, často pomocí standardu BPMN. Cílem této práce bylo vytvořit rozšíření vybraného softwaru, které umožní správu diagramů BPMN rozšířených o koncepty STAMP. Tuto kombinaci modelů lze použít k analýze STPA odvozených z procesů organizace.

In today's complex systems such as aviation, errors like the wrong approach, human error, or lack of comprehensive understanding can result in significant economic losses. Typically organizations have their processes expressed in some way, often using the BPMN standard. The goal of this thesis was to create an extension to the selected software that enables the managing BPMN diagrams extended with STAMP concepts. This combination of models can be used to analyze STPA inferred from an organization's processes.