国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁(yè)> 外文期刊>Systems, Man, and Cybernetics: Systems, IEEE Transactions on >Modeling and Validating E-Commerce Business Process Based on Petri Nets
【24h】

Modeling and Validating E-Commerce Business Process Based on Petri Nets

機(jī)譯：基于Petri網(wǎng)的電子商務(wù)業(yè)務(wù)流程建模與驗(yàn)證

獲取原文
獲取原文并翻譯 | 示例
  • 摘要
  • 著錄項(xiàng)
  • 相似文獻(xiàn)
  • 相關(guān)主題

摘要

E-commerce and online shopping with a third-party payment platform have rapidly developed recently, and encountered many fault tolerance and security problems concerned by users. The causes of these problems include malicious behavior and imperfect business processes. The latter lead to the emergence of security vulnerabilities and loss of user funds which become more and more serious these years. We focus on the business process of e-commerce, and propose a formal model for constructing an e-commerce business process called an E-commerce Business Process Net. It integrates both data and control flows based on Petri nets. Rationality and transaction consistency are defined and validated to guarantee the transaction properties of an e-commerce business process. This paper offers a complete methodology for modeling and validating an e-commerce system with a third-party payment platform from the view point of a business process. Its use enables a designer to identify errors early in the design process and correct them before the deployment phase. In order to demonstrate the applicability and feasibility of the methodology, we have modeled and validated a real-world e-commerce business process and discovered the problems that cause the violation of transaction properties.
機(jī)譯：最近，利用第三方支付平臺(tái)的電子商務(wù)和在線購(gòu)物發(fā)展迅速，并遇到了許多用戶關(guān)注的容錯(cuò)和安全問(wèn)題。這些問(wèn)題的原因包括惡意行為和不完善的業(yè)務(wù)流程。后者導(dǎo)致安全漏洞的出現(xiàn)和用戶資金的流失，這幾年來(lái)變得越來(lái)越嚴(yán)重。我們專注于電子商務(wù)的業(yè)務(wù)流程，并提出了一個(gè)用于構(gòu)建電子商務(wù)業(yè)務(wù)流程的正式模型，稱為電子商務(wù)業(yè)務(wù)流程網(wǎng)。它基于Petri網(wǎng)集成了數(shù)據(jù)和控制流。定義和驗(yàn)證合理性和交易一致性以保證電子商務(wù)業(yè)務(wù)流程的交易屬性。本文提供了一種從業(yè)務(wù)流程的角度對(duì)具有第三方支付平臺(tái)的電子商務(wù)系統(tǒng)進(jìn)行建模和驗(yàn)證的完整方法。它的使用使設(shè)計(jì)人員可以在設(shè)計(jì)過(guò)程的早期發(fā)現(xiàn)錯(cuò)誤，并在部署階段之前進(jìn)行糾正。為了證明該方法的適用性和可行性，我們對(duì)現(xiàn)實(shí)世界中的電子商務(wù)業(yè)務(wù)流程進(jìn)行了建模和驗(yàn)證，并發(fā)現(xiàn)了導(dǎo)致違反交易屬性的問(wèn)題。

著錄項(xiàng)

相似文獻(xiàn)

  • 外文文獻(xiàn)
  • 中文文獻(xiàn)
  • 專利
獲取原文

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號(hào) ICP備案號(hào)：京ICP備15016152號(hào)-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務(wù)號(hào)