Zobrazit v EDS

Iterative Requirements-Driven Business Process Modeling and Verification with Large Language Models.

Uloženo v:
Podrobná bibliografie
Název: Iterative Requirements-Driven Business Process Modeling and Verification with Large Language Models.
Autoři: Xie, Heng, Ni, Feng, Liu, Jiang, Fu, Rui, Dou, Yubo
Zdroj: Applied Sciences (2076-3417); Jan2026, Vol. 16 Issue 1, p518, 29p
Témata: BUSINESS process modeling, REQUIREMENTS engineering, MODEL validation, ORGANIZATION management, LANGUAGE models, MATHEMATICAL models, SOFTWARE engineering
Abstrakt: Contemporary business process modeling lacks a systematic framework for converting unstructured requirements into structured models. Traditional manual approaches fail to support integrated lifecycle management from requirements elicitation to iterative model refinement. The gap severely limits the efficiency and accuracy of the alignment between requirements and business process modeling and often leads to costly rework and implementation errors in complex software projects. Therefore, this paper aims to establish a coherent modeling framework from requirements extraction to business process model verification. The framework maintains the traceability and consistency of the unstructured requirements through three tasks: (1) automatic generation of a structured requirements model from textual input to a set of designed prompts of hyperparameter-optimized large language models (LLMs); (2) establishment of a modeling routine to handle the iterative requirements via two sets of formalized mapping rules, a merging algorithm, and a toolkit; (3) detection of the obtained CBPMN model by a static flow error verification algorithm and reachability verification using CPN tools 4.0. A total of 15 sets of comparative experiments with three state-of-the-art automated modeling approaches demonstrate the superiority of our method in generating higher-quality requirements models, while an additional case study with two-step verification proves its validity. [ABSTRACT FROM AUTHOR]
Copyright of Applied Sciences (2076-3417) is the property of MDPI 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.)
Databáze: Complementary Index
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://resolver.ebscohost.com/openurl?sid=EBSCO:edb&genre=article&issn=20763417&ISBN=&volume=16&issue=1&date=20260101&spage=518&pages=518-546&title=Applied Sciences (2076-3417)&atitle=Iterative%20Requirements-Driven%20Business%20Process%20Modeling%20and%20Verification%20with%20Large%20Language%20Models.&aulast=Xie%2C%20Heng&id=DOI:10.3390/app16010518
    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=Xie%20H
    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: 190819839
RelevancyScore: 1082
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 1082.40466308594
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Iterative Requirements-Driven Business Process Modeling and Verification with Large Language Models.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Xie%2C+Heng%22">Xie, Heng</searchLink><br /><searchLink fieldCode="AR" term="%22Ni%2C+Feng%22">Ni, Feng</searchLink><br /><searchLink fieldCode="AR" term="%22Liu%2C+Jiang%22">Liu, Jiang</searchLink><br /><searchLink fieldCode="AR" term="%22Fu%2C+Rui%22">Fu, Rui</searchLink><br /><searchLink fieldCode="AR" term="%22Dou%2C+Yubo%22">Dou, Yubo</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Applied Sciences (2076-3417); Jan2026, Vol. 16 Issue 1, p518, 29p
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22BUSINESS+process+modeling%22">BUSINESS process modeling</searchLink><br /><searchLink fieldCode="DE" term="%22REQUIREMENTS+engineering%22">REQUIREMENTS engineering</searchLink><br /><searchLink fieldCode="DE" term="%22MODEL+validation%22">MODEL validation</searchLink><br /><searchLink fieldCode="DE" term="%22ORGANIZATION+management%22">ORGANIZATION management</searchLink><br /><searchLink fieldCode="DE" term="%22LANGUAGE+models%22">LANGUAGE models</searchLink><br /><searchLink fieldCode="DE" term="%22MATHEMATICAL+models%22">MATHEMATICAL models</searchLink><br /><searchLink fieldCode="DE" term="%22SOFTWARE+engineering%22">SOFTWARE engineering</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Contemporary business process modeling lacks a systematic framework for converting unstructured requirements into structured models. Traditional manual approaches fail to support integrated lifecycle management from requirements elicitation to iterative model refinement. The gap severely limits the efficiency and accuracy of the alignment between requirements and business process modeling and often leads to costly rework and implementation errors in complex software projects. Therefore, this paper aims to establish a coherent modeling framework from requirements extraction to business process model verification. The framework maintains the traceability and consistency of the unstructured requirements through three tasks: (1) automatic generation of a structured requirements model from textual input to a set of designed prompts of hyperparameter-optimized large language models (LLMs); (2) establishment of a modeling routine to handle the iterative requirements via two sets of formalized mapping rules, a merging algorithm, and a toolkit; (3) detection of the obtained CBPMN model by a static flow error verification algorithm and reachability verification using CPN tools 4.0. A total of 15 sets of comparative experiments with three state-of-the-art automated modeling approaches demonstrate the superiority of our method in generating higher-quality requirements models, while an additional case study with two-step verification proves its validity. [ABSTRACT FROM AUTHOR]
– Name: Abstract
  Label:
  Group: Ab
  Data: <i>Copyright of Applied Sciences (2076-3417) is the property of MDPI 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=190819839
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.3390/app16010518
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 29
        StartPage: 518
    Subjects:
      – SubjectFull: BUSINESS process modeling
        Type: general
      – SubjectFull: REQUIREMENTS engineering
        Type: general
      – SubjectFull: MODEL validation
        Type: general
      – SubjectFull: ORGANIZATION management
        Type: general
      – SubjectFull: LANGUAGE models
        Type: general
      – SubjectFull: MATHEMATICAL models
        Type: general
      – SubjectFull: SOFTWARE engineering
        Type: general
    Titles:
      – TitleFull: Iterative Requirements-Driven Business Process Modeling and Verification with Large Language Models.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Xie, Heng
      – PersonEntity:
          Name:
            NameFull: Ni, Feng
      – PersonEntity:
          Name:
            NameFull: Liu, Jiang
      – PersonEntity:
          Name:
            NameFull: Fu, Rui
      – PersonEntity:
          Name:
            NameFull: Dou, Yubo
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Text: Jan2026
              Type: published
              Y: 2026
          Identifiers:
            – Type: issn-print
              Value: 20763417
          Numbering:
            – Type: volume
              Value: 16
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Applied Sciences (2076-3417)
              Type: main
ResultId 1