In EDS ansehen

Process mining approach to formal business process modelling and verification: a case study.

Gespeichert in:
Bibliographische Detailangaben
Titel: Process mining approach to formal business process modelling and verification: a case study.
Autoren: Ito, Sohei, Vymětal, Dominik, Šperka, Roman
Quelle: Journal of Modelling in Management; 2021, Vol. 16 Issue 2, p602-622, 21p
Schlagwörter: BUSINESS enterprises, PROCESS mining, TRADING companies, FORMAL languages
Abstract: Purpose: The need for assuring correctness of business processes in enterprises is widely recognised in terms of business process re-engineering and improvement. Formal methods are a promising approach to this issue. The challenge in business process verification is to create a formal model that is well-aligned to the reality. Process mining is a well-known technique to discover a model of a process based on facts. However, no studies exist that apply it to formal verification. This study aims to propose a methodology for formal business process verification by means of process mining, and attempts to clarify the challenges and necessary technologies in this approach using a case study. Design/methodology/approach: A trading company simulation model is used as a case study. A workflow model is discovered from an event log produced by a simulation tool and manually complemented to a formal model. Correctness requirements of both domain-dependent and domain-independent types of the model are checked by means of model-checking. Findings: For business process verification with both domain-dependent and domain-independent correctness requirements, more advanced process mining techniques that discover data-related aspects of processes are desirable. The choice of a formal modelling language is also crucial. It depends on the correctness requirements and the characteristics of the business process. Originality/value: Formal verification of business processes starting with creating its formal model is quite new. Furthermore, domain-dependent and domain-independent correctness properties are considered in the same framework, which is also new. This study revealed necessary technologies for this approach with process mining. [ABSTRACT FROM AUTHOR]
Copyright of Journal of Modelling in Management is the property of Emerald Publishing Limited and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Datenbank: Complementary Index
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://resolver.ebscohost.com/openurl?sid=EBSCO:edb&genre=article&issn=17465664&ISBN=&volume=16&issue=2&date=20210401&spage=602&pages=602-622&title=Journal of Modelling in Management&atitle=Process%20mining%20approach%20to%20formal%20business%20process%20modelling%20and%20verification%3A%20a%20case%20study.&aulast=Ito%2C%20Sohei&id=DOI:10.1108/JM2-03-2020-0077
    Name: Full Text Finder
    Category: fullText
    Text: Full Text Finder
    Icon: https://imageserver.ebscohost.com/branding/images/FTF.gif
    MouseOverText: Full Text Finder
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Ito%20S
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edb
DbLabel: Complementary Index
An: 150445009
RelevancyScore: 916
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 915.634948730469
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Process mining approach to formal business process modelling and verification: a case study.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Ito%2C+Sohei%22">Ito, Sohei</searchLink><br /><searchLink fieldCode="AR" term="%22Vymětal%2C+Dominik%22">Vymětal, Dominik</searchLink><br /><searchLink fieldCode="AR" term="%22Šperka%2C+Roman%22">Šperka, Roman</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Journal of Modelling in Management; 2021, Vol. 16 Issue 2, p602-622, 21p
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22BUSINESS+enterprises%22">BUSINESS enterprises</searchLink><br /><searchLink fieldCode="DE" term="%22PROCESS+mining%22">PROCESS mining</searchLink><br /><searchLink fieldCode="DE" term="%22TRADING+companies%22">TRADING companies</searchLink><br /><searchLink fieldCode="DE" term="%22FORMAL+languages%22">FORMAL languages</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Purpose: The need for assuring correctness of business processes in enterprises is widely recognised in terms of business process re-engineering and improvement. Formal methods are a promising approach to this issue. The challenge in business process verification is to create a formal model that is well-aligned to the reality. Process mining is a well-known technique to discover a model of a process based on facts. However, no studies exist that apply it to formal verification. This study aims to propose a methodology for formal business process verification by means of process mining, and attempts to clarify the challenges and necessary technologies in this approach using a case study. Design/methodology/approach: A trading company simulation model is used as a case study. A workflow model is discovered from an event log produced by a simulation tool and manually complemented to a formal model. Correctness requirements of both domain-dependent and domain-independent types of the model are checked by means of model-checking. Findings: For business process verification with both domain-dependent and domain-independent correctness requirements, more advanced process mining techniques that discover data-related aspects of processes are desirable. The choice of a formal modelling language is also crucial. It depends on the correctness requirements and the characteristics of the business process. Originality/value: Formal verification of business processes starting with creating its formal model is quite new. Furthermore, domain-dependent and domain-independent correctness properties are considered in the same framework, which is also new. This study revealed necessary technologies for this approach with process mining. [ABSTRACT FROM AUTHOR]
– Name: Abstract
  Label:
  Group: Ab
  Data: <i>Copyright of Journal of Modelling in Management is the property of Emerald Publishing Limited and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=150445009
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1108/JM2-03-2020-0077
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 21
        StartPage: 602
    Subjects:
      – SubjectFull: BUSINESS enterprises
        Type: general
      – SubjectFull: PROCESS mining
        Type: general
      – SubjectFull: TRADING companies
        Type: general
      – SubjectFull: FORMAL languages
        Type: general
    Titles:
      – TitleFull: Process mining approach to formal business process modelling and verification: a case study.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Ito, Sohei
      – PersonEntity:
          Name:
            NameFull: Vymětal, Dominik
      – PersonEntity:
          Name:
            NameFull: Šperka, Roman
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 04
              Text: 2021
              Type: published
              Y: 2021
          Identifiers:
            – Type: issn-print
              Value: 17465664
          Numbering:
            – Type: volume
              Value: 16
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: Journal of Modelling in Management
              Type: main
ResultId 1