E-commerce systems have been changi

E-commerce systems have been changing the traditional business activities through the Internet. This paper presents a formal use of the Unified Modeling Language (UML) to analyze and design e-commerce systems by using an online ticketing system as a case study. An e-commerce system can be seen as a client- server system in which a server maintains some information and provides a searching function to a client. However, for an e-commerce system, we also need to consider two specific functions for booking products and carrying out payment transaction. We demonstrate how to use the formalization of UML given in [9,10] in formal specification of the system functional requirements, safety and liveness constraints, arid in verification of the correctness of the design.

ผลลัพธ์ (ไทย) 1:

ระบบอีคอมเมิร์ซที่ได้รับการเปลี่ยนแปลงกิจกรรมทางธุรกิจแบบดั้งเดิมผ่านทางอินเทอร์เน็ต กระดาษนี้ได้นำเสนอการใช้งานอย่างเป็นทางการของภาษาแบบจำลองปึกแผ่น (UML) ในการวิเคราะห์และออกแบบระบบ E-commerce โดยใช้ระบบตั๋วออนไลน์เป็นกรณีศึกษาระบบอีคอมเมิร์ซสามารถมองเห็นเป็นระบบไคลเอนต์เซิร์ฟเวอร์ในเซิร์ฟเวอร์ที่เก็บข้อมูลบางอย่างและมีฟังก์ชั่นการค้นหาให้กับลูกค้า แต่สำหรับระบบ E-commerce เรายังต้องพิจารณาสองฟังก์ชั่นที่เฉพาะเจาะจงสำหรับการจองสินค้าและการดำเนินการทำธุรกรรมการชำระเงิน เราแสดงให้เห็นถึงวิธีการใช้ formalization ของ UML ได้รับใน [9,10] ในสเปคอย่างเป็นทางการของความต้องการของระบบการทำงานด้านความปลอดภัยและข้อ จำกัด liveness, แห้งแล้งในการตรวจสอบความถูกต้องของการออกแบบ

ผลลัพธ์ (ไทย) 2:

E-commerce ระบบมีการเปลี่ยนแปลงกิจกรรมทางธุรกิจแบบดั้งเดิมผ่านทางอินเทอร์เน็ต เอกสารนี้แสดงการใช้อย่างเป็นทางการของการร่วมสร้างโมเดลภาษา (UML) เพื่อวิเคราะห์ และออกแบบระบบอีคอมเมิร์ซ โดยมีระบบตั๋วออนไลน์เป็นกรณีศึกษา สามารถมองเห็นระบบการพาณิชย์อิเล็กทรอนิกส์เป็นระบบไคลเอ็นต์-เซิร์ฟเวอร์ซึ่งเซิร์ฟเวอร์เก็บข้อมูลบางอย่าง และให้ฟังก์ชันค้นหาไคลเอนต์ อย่างไรก็ตาม มีระบบอีคอมเมิร์ซ เราต้องพิจารณาสองฟังก์ชันเฉพาะสำหรับการจองสินค้า และดำเนินการเงินด้วย เราแสดงให้เห็นถึงวิธีการใช้ formalization ของ UML ใน [910] ในข้อกำหนดที่เป็นทางของความต้องการทำงานของระบบ ความปลอดภัย และข้อ จำกัด liveness แล้งในการตรวจสอบความถูกต้องของการออกแบบ

ผลลัพธ์ (ไทย) 3:

ระบบ e - commerce ได้รับการเปลี่ยนแปลงการดำเนินธุรกิจแบบดั้งเดิมที่ผ่านทางอินเทอร์เน็ตได้ เอกสารนี้จะอธิบายถึงการใช้อย่างเป็นทางการแบบครบวงจรของการสร้างแบบจำลอง ภาษา ( uml )ในการวิเคราะห์และการออกแบบระบบอี - คอมเมิร์ซโดยการใช้ระบบบัตรโดยสารแบบออนไลน์ที่เป็นกรณีศึกษาระบบ e - commerce ที่สามารถเป็นได้ทั้งระบบเครื่องลูกข่าย - เซิร์ฟเวอร์ที่อยู่ในที่เซิร์ฟเวอร์ที่เก็บข้อมูลบางอย่างและมีฟังก์ชันการค้นหาที่ไปยังเครื่องลูกข่ายที่ แต่ถึงอย่างไรก็ตามสำหรับระบบ e - commerce ที่เรายังต้องพิจารณาถึงสองฟังก์ชันเฉพาะสำหรับการจองสินค้าและการทำธุรกรรมการชำระเงิน เราจะแสดงให้เห็นถึงวิธีการใช้ formalization ของ uml ใน[ 910 ]ในข้อมูลจำเพาะของระบบอย่างเป็นทางการที่เต็มไปด้วยประโยชน์ใช้สอยตามข้อกำหนดเงื่อนไข liveness และความ ปลอดภัย ความแห้งแล้งในการตรวจสอบความถูกต้องของความถูกต้องของการออกแบบที่.