skip to main content
10.1145/3629378.3629446acmotherconferencesArticle/Chapter ViewAbstractPublication PagesicibeConference Proceedingsconference-collections
research-article

Model Checking of Service-Oriented Manufacturing Business Process Based on User Feedback

Published: 28 December 2023 Publication History

Abstract

Service-oriented manufacturing (SOM) is a strategy pursued by traditional manufacturing industries in recent years for sustainable development. SOM combines services and manufacturing to provide customized products and services for customers, adding value to the products and increasing industrial profits. Business processes are a critical aspect of service-oriented manufacturing, involving the entire process from customer demand to product delivery, and finally to after-sales service. The success of service-oriented manufacturing business processes depends on the correctness and rationality of the process design. However, the relationships between process states in the business process of service-oriented manufacturing are complex, making analysis and validation of the business process challenging. In this paper, we propose a method for verifying service-oriented manufacturing business processes based on user feedback. First, we construct user satisfaction level as threshold criteria in the business process. Then, by defining and formalizing the process and using computing tree logic (CTL) formulas to describe the properties to be verified, we can use the model checking tool UPPAAL to verify the correctness and reliability of the process model. This method helps provide process optimization suggestions to professionals in the early stages of development and ensures the quality of the business process model.

References

[1]
Tao F, Zhang L, Liu Y, Manufacturing service management in cloud manufacturing: overview and future research directions[J]. Journal of Manufacturing Science and Engineering, 2015, 137(4): 040912.
[2]
Tao F, Qi Q. New IT driven service-oriented smart manufacturing: framework and characteristics[J]. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 49(1): 81-91.
[3]
Ko R K L, Lee E W, Lee S G. Business-OWL (BOWL)—A hierarchical task network ontology for dynamic business process decomposition and formulation[J]. IEEE Transactions on Services Computing, 2011, 5(2): 246-259.
[4]
Liu Z Z, Wang L, Li X, A multi-attribute personalized recommendation method for manufacturing service composition with combining collaborative filtering and genetic algorithm[J]. Journal of Manufacturing Systems, 2021, 58: 348-364.
[5]
Que Y, Zhong W, Chen H, Improved adaptive immune genetic algorithm for optimal QoS-aware service composition selection in cloud manufacturing[J]. The International Journal of Advanced Manufacturing Technology, 2018, 96: 4455-4465.
[6]
Ren M, Shao L. A collaboration mechanism for service-oriented manufacturing processes with uncertain duration: A perspective of efficiency[J]. International Journal of Computer Integrated Manufacturing, 2022, 35(8): 795-812.
[7]
Wang L, Guo C, Li Y, An outsourcing service selection method using ANN and SFLA algorithms for cement equipment manufacturing enterprises in cloud manufacturing[J]. Journal of Ambient Intelligence and Humanized Computing, 2019, 10: 1065-1079.
[8]
Xu Y, Chen G, Zheng J. An integrated solution—KAGFM for mass customization in customer-oriented product design under cloud manufacturing environment[J]. The International Journal of Advanced Manufacturing Technology, 2016, 84: 85-101.
[9]
Zhao C, Wang L, Zhang X. Service agent networks in cloud manufacturing: Modeling and evaluation based on set-pair analysis[J]. Robotics and Computer-Integrated Manufacturing, 2020, 65: 101970.
[10]
Behrmann G, David A, Larsen K G. A tutorial on uppaal[J]. Formal methods for the design of real-time systems, 2004: 200-236.
[11]
Holzmann G J. The model checker SPIN[J]. IEEE Transactions on software engineering, 1997, 23(5): 279-295.
[12]
Chaffar S, Inkpen D. Using a heterogeneous dataset for emotion analysis in text[C]//Advances in Artificial Intelligence: 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John's, Canada, May 25-27, 2011. Proceedings 24. Springer Berlin Heidelberg, 2011: 62-67.
[13]
Chowdhary K R, Chowdhary K R. Natural language processing[J]. Fundamentals of artificial intelligence, 2020: 603-649.
[14]
Nadkarni P M, Ohno-Machado L, Chapman W W. Natural language processing: an introduction[J]. Journal of the American Medical Informatics Association, 2011, 18(5): 544-551.
[15]
Pagano D, Maalej W. User feedback in the appstore: An empirical study[C]//2013 21st IEEE international requirements engineering conference (RE). IEEE, 2013: 125-134.
[16]
Adhikari S, Thapa S, Naseem U, Explainable hybrid word representations for sentiment analysis of financial news[J]. Neural Networks, 2023, 164: 115-123.
[17]
Aguilar-Savén R S. Business process modelling: Review and framework[J]. International Journal of production economics, 2004, 90(2): 129-149.
[18]
Clarke E M. Model checking[C]//Foundations of Software Technology and Theoretical Computer Science: 17th Conference Kharagpur, India, December 18–20, 1997 Proceedings 17. Springer Berlin Heidelberg, 1997: 54-56.

Index Terms

  1. Model Checking of Service-Oriented Manufacturing Business Process Based on User Feedback

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    ICIBE '23: Proceedings of the 2023 9th International Conference on Industrial and Business Engineering
    September 2023
    564 pages
    ISBN:9798400708824
    DOI:10.1145/3629378
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 28 December 2023

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Business Process
    2. Model Checking
    3. Service-Oriented Manufacturing
    4. UPPAAL

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Conference

    ICIBE 2023

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 18
      Total Downloads
    • Downloads (Last 12 months)12
    • Downloads (Last 6 weeks)1
    Reflects downloads up to 20 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    HTML Format

    View this article in HTML Format.

    HTML Format

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media