Publikace UTB
Repozitář publikační činnosti UTB

The use of knowledge management systems and Event-B modelling in a lean enterprise

Repozitář DSpace/Manakin

Zobrazit minimální záznam


dc.title The use of knowledge management systems and Event-B modelling in a lean enterprise en
dc.contributor.author Buřita, Ladislav
dc.contributor.author Hrušecká, Denisa
dc.contributor.author Pivnička, Michal
dc.contributor.author Rosman, Pavel
dc.relation.ispartof Journal of Competitiveness
dc.identifier.issn 1804-171X Scopus Sources, Sherpa/RoMEO, JCR
dc.identifier.issn 1804-1728 Scopus Sources, Sherpa/RoMEO, JCR
dc.date.issued 2018
utb.relation.volume 10
utb.relation.issue 1
dc.citation.spage 40
dc.citation.epage 53
dc.type article
dc.language.iso en
dc.publisher Univerzita Tomáše Bati ve Zlíně (UTB), Fakulta managementu a ekonomiky
dc.identifier.doi 10.7441/joc.2018.01.03
dc.relation.uri https://www.cjournal.cz/index.php?hid=clanek&bid=aktualni&cid=274&cp=
dc.relation.uri https://www.cjournal.cz/files/274.pdf
dc.subject knowledge management systems en
dc.subject mini-application en
dc.subject information system en
dc.subject ATOM en
dc.subject Event-B en
dc.subject lean enterprise en
dc.subject lean management en
dc.subject expert system en
dc.description.abstract 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. en
utb.faculty Faculty of Management and Economics
dc.identifier.uri http://hdl.handle.net/10563/1007902
utb.identifier.obdid 43878705
utb.identifier.scopus 2-s2.0-85101972521
utb.identifier.wok 000429140300004
utb.source j-wok
dc.date.accessioned 2018-05-18T15:12:05Z
dc.date.available 2018-05-18T15:12:05Z
dc.description.sponsorship RVO project "Modelling of effective production and administration processes parameters in industrial companies based on the concept Industry 4.0"
dc.rights Attribution 4.0 International
dc.rights.uri https://creativecommons.org/licenses/by/4.0/
dc.rights.access openAccess
utb.contributor.internalauthor Buřita, Ladislav
utb.contributor.internalauthor Hrušecká, Denisa
utb.contributor.internalauthor Pivnička, Michal
utb.contributor.internalauthor Rosman, Pavel
utb.fulltext.affiliation Prof. Ing. Ladislav Buřita, CSc. Tomas Bata University in Zlín, Faculty of Management and Economics Mostní 5139, 76001 Zlín, Czech Republic Email: burita@fame.utb.cz Ing. Denisa Hrušecká, Ph.D. Tomas Bata University in Zlín, Faculty of Management and Economics Mostní 5139, 76001 Zlín, Czech Republic Email: hrusecka@fame.utb.cz Ing. Michal Pivnička, Ph.D. Tomas Bata University in Zlín, Faculty of Management and Economics Mostní 5139, 76001 Zlín, Czech Republic Email: pivnicka@fame.utb.cz Ing. Pavel Rosman, Ph.D. Tomas Bata University in Zlín, Faculty of Management and Economics Mostní 5139, 76001 Zlín, Czech Republic Email: rosman@fame.utb.cz
utb.fulltext.dates -
utb.fulltext.sponsorship The research related to this paper was supported by the RVO project “Modelling of effective production and administration processes parameters in industrial companies based on the concept Industry 4.0”, run by the Department of Industrial Engineering and Information Systems, Faculty of Management and Economics, Tomas Bata University in Zlín, Czech Republic.
utb.wos.affiliation [Burita, Ladislav; Hrusecka, Denisa; Pivnicka, Michal; Rosman, Pavel] Tomas Bata Univ Zlin, Fac Management & Econ, Mostni 5139, Zlin 76001, Czech Republic
utb.scopus.affiliation Tomas Bata University in Zlín, Faculty of Management and Economics, Mostní 5139, Zlín, 76001, Czech Republic
utb.fulltext.faculty Faculty of Management and Economics
utb.fulltext.faculty Faculty of Management and Economics
utb.fulltext.faculty Faculty of Management and Economics
utb.fulltext.faculty Faculty of Management and Economics
utb.fulltext.ou -
utb.fulltext.ou -
utb.fulltext.ou -
utb.fulltext.ou -
utb.identifier.jel D83
utb.identifier.jel M15
utb.identifier.jel M19
Find Full text

Soubory tohoto záznamu

Zobrazit minimální záznam

Attribution 4.0 International Kromě případů, kde je uvedeno jinak, licence tohoto záznamu je Attribution 4.0 International