earticle

논문검색

Trustworthy Construction Approach of BPR Software System Based on Semantic Model Verification

초록

영어

Addressing to improve the trustworthiness of Business Process Re-engineering (BPR) system, this paper proposes a trustworthy construction approach to solve the problem mentioned above. Firstly, we analyze related literatures about the topic, we realize that main reason causing to reduce trustworthiness of BPR system is due to break of trustworthy connectivity between front configuration tools and business processes operating server. Secondly, as the primary methods composing of the construction approach, a semantic verification method is illustrated in detail based on Petri net. Finally, a case study is introduced to explain how to use the above construction approach of BPR system.

목차

Abstract
 1. Introduction
 2. Trustworthy Construction Approach Based on Semantic Verification
  2.1. Definition of BPR Net
  2.2. Coverability Computational Algorithm
  2.3. Coverability Analysis Algorithm
 3. Case Study
 4. Conclusion
 Acknowledgments
 References

저자정보

  • Qiang Han School of Computer Science and Engineering, Beifang University of Nationalities, Yinchuan, Ningxia 750021, China
  • Guozhao Yang School of Computer Science and Engineering, Beifang University of Nationalities, Yinchuan, Ningxia 750021, China
  • Jie Han School of Computer Science and Engineering, Beifang University of Nationalities, Yinchuan, Ningxia 750021, China
  • Wenxing Bao School of Computer Science and Engineering, Beifang University of Nationalities, Yinchuan, Ningxia 750021, China

참고문헌

자료제공 : 네이버학술정보

    함께 이용한 논문

      ※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.

      0개의 논문이 장바구니에 담겼습니다.