电子商务过程中的检查模式设计及对检查模式的信心

《电子商务过程中的检查模式设计及对检查模式的信心》由会员分享，可在线阅读，更多相关《电子商务过程中的检查模式设计及对检查模式的信心（16页珍藏版）》请在金锄头文库上搜索。

1、龍華科技大學工 業 管 理 系期 中 報 告電子商務過程中的檢查模式設計及對檢查模式的信心Model checking for design and assurance of E-Business processes九十四學年度 工管系進四管二 A 電子商務期 中 報告指 導 老 師 梅 明 德 老 師姓 名 學 號李有礎 E93425112中 華 民 國 九 十 四 年 十 一 月1目錄前言2壹、 電子商務過程中的檢查模式設計 21. 介紹22. 相關的工作33. 基本原理及草案34. 草案的執行55. 協議書的確認7貳、 電子商務化企業對確信檢查的信心 9參、 文章結論 9肆、 結論 9伍

2、、 心得 10陸、 參考文獻 11柒、 附錄 122前言許多的企業，因應潮流，開始應用網際網路來管理和推行具有潛力的電子商務通路，但許多的企業為快速達到電子商務的目的，因資訊系統中的疑難問題，相繼成為資訊網路通路的犧牲品，在新的技術基礎的經濟結構下，由於系統的複雜性，系統開發快速的發展，由於缺少熟悉的問題下，而導致人們對網際網路上的支付款項的方式，皆認為是不可靠及不安全的模式。本篇報告內容將為大家介紹，如何檢查針對電子商務的企業，所規劃的模式設計，和對確信檢查模式的信心這兩方面做個簡單的介紹。壹、電子商務過程中的檢查模式設計1. 介紹現今許多的企業，皆應用網際網路來推行及管理電子商務的通路；也

3、應用了網際網路來作遠端視訊會議等等的各項資訊方式和規劃服務提升更容易接觸的界面，以利客戶於網路上達成遠端支付的方式，更大幅的提升時間上的節省，也提供了消費方式的另一種選擇。因此，許多電子商務的企業，皆開始以網路之電子商務做為基礎架構，作為推行網際網路通路的考量及資訊操作的模式。然而許多電子商務化的企業，因資訊系統中的疑難問題，相繼的成為資訊網路下的犧牲品。這樣的問題發生原因包括(1)不確定性的消費安全問題；(2)資訊系統控制的錯誤；(3)節省成本的回饋系統設計等。在電子商務化的商業環境中，透過網際網路的相互連接，進而快速的發展、系統的複雜性、安全性的考量和缺乏新技術等因素，因此演變而來這種不確

4、定性的問題發生。檢查模式的設計是很重要的，例如：資訊系統中的一個儲存交易錯誤，在銀行這邊則會產生很大的損害，這包括了減少稅收、資料流失、信譽損毀和費用增加等等的問題。當然這些錯誤也是少不了的，畢竟一定得從失敗中求取經驗。大部分的電子商務的企業會繼續成長的原因是取決於相信草案計畫，進而提升資訊系統的審核機制的修正等工作；然而檢查商業草案與修正3機制上的錯誤是一件很艱辛的任務，但檢查模式的推行，則是電子商務企業，增加草案有效的執行和有效的評價的一個進化技術。首先，我們將開始討論檢查模式聯繫工作，也應用一個飛行資料記錄的案例來作個簡單的說明，最後則是回顧檢查模式的動機及建議可能性的價值擴展。2. 相

5、關的工作設計、執行高度安全和可靠的電子商務過程是一個挑戰，有必須對幾個重要因素的標準做一個有效定義，然而這些因素有哪些呢？(1)貨幣因素(2)商品因素(3)收據的確認，上述這個三元素是在評估電子商務過程中很重要的因素，具有怎樣的特性呢？特性如下(1)貨幣因素保護貨幣亦不是設計也不是破壞貨幣的方式，運行在電子商務過程中。(2)商品因素當顧客收到物品時，確保賣方收到所支付的款項。(3)收據的確認是為顧客收到物品後的一個有利的證據。然而很多國家都使用這種方式來檢查電子商務化的過程方式，是否具有安全的特性。CPS 是一種應用在飛行資料記錄器上的一種語言。檢查員決定 NetBill 過程，也確認了貨品及

6、商品的數據。3. 基本原理及草案圖 1 表示草案的高級概念，並且如下概述他的過程及方式在顧客、商家採用網路交易(TTP)方式，在此之前傳遞訊息，比方說商人有幾件商品想賣，則把商品的描素放置 TTP 的交易平台裡做銷售，當顧客透過TTP 的網路目錄，尋找有興趣的商品，當顧客對某商品有興趣時可透過TTP 提供之網路交易方式，來選擇付款方式後，TTP 發送通知訊息給商家，以確認訂單的成立。圖 2 用箱形圖描述交易過程的使用情形。圖 3 顯示相對應的序列圖表。原理都在於透過 TTP 作為一個界面或是當成一個交易的平台，TTP提供從企業商家擺放商品於站上目錄，由許多家的企業商家進而匯集成一個網路行銷通路

7、，接著讓買家來瀏覽商品，到會員登入、買家訂單成立和賣家訂單訊息的發送、商品送達買家，最後成交收款，當然也有採4用線上付費的機制(如線上刷卡)等。674. 草案的執行上述以飛行資料記錄器的 CPS 語言，來輔助電子商務的推行，下列以四小節來研究推行的過程。(1)說明顧客的進行過程顧客從 TTP 主選目錄中意了某種商品並點選其確認按鍵，TTP 即會送出一組代表商品的密碼，而在 CPS 的表達方式如右所示說明 cint 表示顧客確定後，從 TTP 所傳出的訊息。8?x 指示傳輸是 x 類型由 ENCRYPTED_PRODUCT 取得。判斷顧客是否下單確認商品，其方程式如右列所示(2)說明商人處理程序

8、當商家收到顧客訂單，其方程式 如右說明 micn ?X 讓 X 的輸入從商人歸於顧客。moutc ! encryptedGoodsG 從商人到顧客所傳輸有效編譯碼的商品輸出。當商家發送有效編譯碼的商品後，商人給 TTP 傳送解密鑰匙，方程式如右商人等待 TTP 那的支付標記。TTP 正處理商品支付標記，程式碼如右(3)說明 TTP 處理程序第一個過程即從 TTP 目錄，顧客下單，TTP 則帶入如右的程式內容同時 TTP 從顧客那得到一個支付標記和商家的鑰匙，TTP同時收到兩方的訊息後，才會做確認動作，程式碼如右說明WAIT_KEY(u)和 WAIT_TOKEN(v)各別等待儲存上述兩個資料內容

9、的導入，若尚未導入則迴圈繼續運行。若以上兩變數內容確認正確無誤後，TTP 則對顧客發送密碼鑰匙，對商家則傳送支付標記，由此過程產生訂單，程式9內容如右(4)複製價格、商品和確認訂單的性質當商家收到支付標記，或是顧客寄送支付標記後，TTP 從旁所取得價格的訊息，其程式如右說明用上述程式內容來傳送確認價格是從草案中得來。商品元素是從顧客得到正確的金鑰，且商家也收到標記，程式碼如右最後由顧客確認商品收據及品質，並處理完整的支付程序，如右所示(5)協議書的確認在上述的過程和條件說明後，飛行資料記錄器其中是否能有弱點存在於草案之中，從此模式中找到了三個問題A.價格元素中的失敗首先由模式檢驗員發現複製價格

10、、商品和確認的性質裡發現，第一個失敗的是價格元素的規格，然而飛行記錄器強調動力能在幾秒內評價 325 種狀態和 825 個過程，作為自動輸出事件的右序列飛行資訊記錄器表明執行以下程序，導致失敗(a)顧客從TTP下載譯成密碼的產品(b)從顧客寄給商家的購買訂單(c)商家收到由TTP寄送的鑰匙跟隨的顧客寄送譯成密碼的產品(d)顧客給TTP寄送支付標記，接下來收到由商人寄送的鑰匙那失敗在哪裡呢？飛行記錄器確定過程中，因下一步應該在TTP旁邊收到支付標記，透過這樣的檢查過程，我們可以看出失敗是允許TTP在結果在10初始過程以後流程的選擇，程式如右解決上述問題有兩總方式，一個是不接受在處理剛剛那個程序時

11、，傳送給TTP做選擇，另一個則是要引超過通道，如果在一個合理時間內，不繼續進一步的行動，來允許商家和顧客寄送處理上述事件的資訊。B.價格和商品元素的失敗點使用價格和商品元素來檢查第二個營運中發現，也違反了上列兩元素，在沒有進一步的行動出現則會出現下列的程序導引狀態從飛行資訊記錄器顯示，一連串動作產生下面的錯誤(a)顧客從TTP得到譯成密碼的商品, 然後給商人寄送訂貨單。(b)商家給顧客寄送譯成密碼的商品和給TTP寄送金鑰，在()以後由TTP 寄送支付標記給顧客，收到譯成密碼的商品。(c) TTP從商家那得到金鑰並從顧客那得到支付標記。(d) TTP給商家寄送支付標記，之後顧客從TTP那裡得到這

12、個鑰匙，此過程停止。因為下一步應該由商家從TTP那收到支付標記。我們知道在哪裡盼望檢查這個失敗，下列程序表明飛行資訊記錄器的過程，如下圖所示C.有效收據中的失敗第三個失敗是飛行資訊記錄器的有效收據。有效收據性質卻表下面的事件發現(a)顧客收到譯成密碼的產品和不複製支付變數。(b)顧客製造收到正確的譯成密碼的產品後的支付。營運模型檢驗員以評價與規格相對的執行，產生下面的結果在此種情況下TTP寄送並讓顧客收到，以編譯成密碼的商品。此時顧客則寄發買賣訂單。檢查過程如下面程式內容11上述問題可透過下面的撰寫方式來解決，其內容如下貳、電子商務企業對確信檢查的信心本篇文章的目的，是讓電子商務企業，藉由上述

13、的範例中，來了如何透過網際網路通路來推展電子商務的行銷目的，更是進而介紹 TTP 的網路交易平台界面，所提供之交易模式的詳盡說明，進而也分析出在程序上所會發現的錯誤點，加以一一改正，然而網路上的商業，更可透過CPS 來引導公司的系統作業過程，然而在價格元素、商品元素和有效的訂單，這是在電子商務企業推行電子商務的重要因素，然而不單是草案設計者、模式檢查員，都得更加善用這些元素來確實檢查，所設計的草案的安全機制，進而讓電子商務企業對資訊網路商業行為增加無比的信心和推展的原動力。參、文章結論電子商務正以快速的速度向前發展推行，因此，使商業暴露在顧客、供應商和 TTPs 之間相互的依賴著，進而更進一步

14、的信賴電子商務的過程中，新電子商務企業 foci，舉例網際網路服務和普遍深入的計算，達成擴展電子商務的目的，但是，這些可能增加複雜性和曝光的可能性。確定和糾正電子商務過程落點的必需品，就是電子商務企業中成功交貨的戰略需要，模式檢查可依靠草案設計中的有效工具以支援企業的成長。肆、結論本篇文章是由四個研究人員一起研究，提出對電子商務的整體見解，以及相關電子商務對企業推行的過程，也應用 CPS 的編輯模式的程式，來探討整體規劃上所需注意，了解的部份，更詳盡的介紹 TTP 的整體應12用，當然這篇是早期所編寫的文章資訊，雖然跟現今的網際網路商務使用不同交易平台界面，然而現今原理仍是以這樣的原理在運行，

15、當然科技是日新月異，然而交易的安全性更是需要大家關注的重點，比方說有許多人因為現在宵小的不法行為，信用卡的盜刷風氣猖獗，所以網際網路上的交易，現今仍然還有著許多人的不信任感，所以這正是處在規劃電子商務的設計者、營運檢查員及電子商務推行者，值得關切的問題。伍、心得讀完此篇電子期刊後，了解現今電子商務網站充斥於網路之中，線上購物也已漸漸成為現今消費的潮流，國外有個網路書店亞馬遜則是一個典型的範例，當然在國內也有 E-bay、Yahoo 拍賣等等皆是目前電子商務較為成功的案例。 相信有許多人還是對線上購物有著許多的不安全感，並竟這種虛擬的交易平台，也得需要大家進一步的去了解及接觸，之前有在 E-bay 拍賣過漫畫書籍，初期成效不錯，但因後期所剩的書籍為較不暢銷的書籍，且並非成套，但是發現拍賣這種模式也是一個不錯的交換或是交易的平台，現今社會景氣的因素，可藉此將資源再次利用，也讓地球的資源能節省，現今社會有許的的物流體系可運用。電子商