THE USE OF KNOWLEDGE MANAGEMENT SYSTEMS AND EVENT-B MODELLING IN A LEAN ENTERPRISE
This paper provides a case study describing an approach to improving the efficiency of an information system (IS) by supporting processes outside the IS, using the ontology-driven knowledge management systems (KMS) as a mini-application in the area of so-called lean enterprise. Lean enterprise is fo...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Tomas Bata University in Zlín
2018-03-01
|
| Series: | Journal of Competitiveness |
| Subjects: | |
| Online Access: | https://www.cjournal.cz/index.php?hid=clanek&bid=archiv&cid=274&cp= |
| _version_ | 1818364177177116672 |
|---|---|
| author | Ladislav Buřita Denisa Hrušecká Michal Pivnička Pavel Rosman |
| author_facet | Ladislav Buřita Denisa Hrušecká Michal Pivnička Pavel Rosman |
| author_sort | Ladislav Buřita |
| collection | DOAJ |
| description | This paper provides a case study describing an approach to improving the efficiency of an information system (IS) by supporting processes outside the IS, using the ontology-driven knowledge management systems (KMS) as a mini-application in the area of so-called lean enterprise. Lean enterprise is focused on creating a maximal value for final customers while eliminating all kinds of waste and unnecessary costs, which significantly helps to increase the level of its competitiveness. It is about managerial decision-making, which can be in some cases contradictory (solving a local problem can cause a problem in another place). In this paper, we describe the KMS ATOM, which supports the innovation process in a lean enterprise. We show how the risk of wrong decisions due to contradictory effects can be eliminated by implementing a safety-critical system into the traditional IS. Our model is supported by Event-B modelling, a refinement-based formal modelling method, which is successfully used in important areas such as infrastructure, medicine, nuclear engineering and transportation (fire alarm systems, robotic surgery machines, braking systems in transportation, etc.). Nowadays, Event-B modelling is starting to be used for various management decision-making activities, and it is becoming a powerful competitiveness tool. This paper introduces a simple example of how Event-B modelling and its proof obligations can help improve and automate the decision-making process by eliminating potential threats of inefficient decisions. |
| first_indexed | 2024-12-13T22:00:13Z |
| format | Article |
| id | doaj.art-d966e57b6c394bd1ab22e4098923ec06 |
| institution | Directory Open Access Journal |
| issn | 1804-171X 1804-1728 |
| language | English |
| last_indexed | 2024-12-13T22:00:13Z |
| publishDate | 2018-03-01 |
| publisher | Tomas Bata University in Zlín |
| record_format | Article |
| series | Journal of Competitiveness |
| spelling | doaj.art-d966e57b6c394bd1ab22e4098923ec062022-12-21T23:30:01ZengTomas Bata University in ZlínJournal of Competitiveness1804-171X1804-17282018-03-01101405310.7441/joc.2018.01.03THE USE OF KNOWLEDGE MANAGEMENT SYSTEMS AND EVENT-B MODELLING IN A LEAN ENTERPRISELadislav Buřita0Denisa Hrušecká1Michal Pivnička2Pavel Rosman3Tomas Bata University in Zlín, Faculty of Management and EconomicsTomas Bata University in Zlín, Faculty of Management and EconomicsTomas Bata University in Zlín, Faculty of Management and EconomicsTomas Bata University in Zlín, Faculty of Management and EconomicsThis paper provides a case study describing an approach to improving the efficiency of an information system (IS) by supporting processes outside the IS, using the ontology-driven knowledge management systems (KMS) as a mini-application in the area of so-called lean enterprise. Lean enterprise is focused on creating a maximal value for final customers while eliminating all kinds of waste and unnecessary costs, which significantly helps to increase the level of its competitiveness. It is about managerial decision-making, which can be in some cases contradictory (solving a local problem can cause a problem in another place). In this paper, we describe the KMS ATOM, which supports the innovation process in a lean enterprise. We show how the risk of wrong decisions due to contradictory effects can be eliminated by implementing a safety-critical system into the traditional IS. Our model is supported by Event-B modelling, a refinement-based formal modelling method, which is successfully used in important areas such as infrastructure, medicine, nuclear engineering and transportation (fire alarm systems, robotic surgery machines, braking systems in transportation, etc.). Nowadays, Event-B modelling is starting to be used for various management decision-making activities, and it is becoming a powerful competitiveness tool. This paper introduces a simple example of how Event-B modelling and its proof obligations can help improve and automate the decision-making process by eliminating potential threats of inefficient decisions.https://www.cjournal.cz/index.php?hid=clanek&bid=archiv&cid=274&cp=knowledge management systemsmini-applicationinformation systemATOMEvent-Blean enterpriselean managementexpert system |
| spellingShingle | Ladislav Buřita Denisa Hrušecká Michal Pivnička Pavel Rosman THE USE OF KNOWLEDGE MANAGEMENT SYSTEMS AND EVENT-B MODELLING IN A LEAN ENTERPRISE Journal of Competitiveness knowledge management systems mini-application information system ATOM Event-B lean enterprise lean management expert system |
| title | THE USE OF KNOWLEDGE MANAGEMENT SYSTEMS AND EVENT-B MODELLING IN A LEAN ENTERPRISE |
| title_full | THE USE OF KNOWLEDGE MANAGEMENT SYSTEMS AND EVENT-B MODELLING IN A LEAN ENTERPRISE |
| title_fullStr | THE USE OF KNOWLEDGE MANAGEMENT SYSTEMS AND EVENT-B MODELLING IN A LEAN ENTERPRISE |
| title_full_unstemmed | THE USE OF KNOWLEDGE MANAGEMENT SYSTEMS AND EVENT-B MODELLING IN A LEAN ENTERPRISE |
| title_short | THE USE OF KNOWLEDGE MANAGEMENT SYSTEMS AND EVENT-B MODELLING IN A LEAN ENTERPRISE |
| title_sort | use of knowledge management systems and event b modelling in a lean enterprise |
| topic | knowledge management systems mini-application information system ATOM Event-B lean enterprise lean management expert system |
| url | https://www.cjournal.cz/index.php?hid=clanek&bid=archiv&cid=274&cp= |
| work_keys_str_mv | AT ladislavburita theuseofknowledgemanagementsystemsandeventbmodellinginaleanenterprise AT denisahrusecka theuseofknowledgemanagementsystemsandeventbmodellinginaleanenterprise AT michalpivnicka theuseofknowledgemanagementsystemsandeventbmodellinginaleanenterprise AT pavelrosman theuseofknowledgemanagementsystemsandeventbmodellinginaleanenterprise AT ladislavburita useofknowledgemanagementsystemsandeventbmodellinginaleanenterprise AT denisahrusecka useofknowledgemanagementsystemsandeventbmodellinginaleanenterprise AT michalpivnicka useofknowledgemanagementsystemsandeventbmodellinginaleanenterprise AT pavelrosman useofknowledgemanagementsystemsandeventbmodellinginaleanenterprise |