Research is currently very active i

Research is currently very active in using UML for modeling general software systems [4,5] and e-commerce systems in particular [ 1,2,3]. However, there is still little work on formal use of UML in the development of e- commerce systems. Base on our work in [9,10] about a formal use of UML, this shows how a formal method can be used in the development of an e-commerce system. For this purpose, we shall use a case study of an online ticketing system that is being developed for Macao Secretary of Social Affairs and Culture [7]. We will also show that formal use of UML is necessary for developing e-commerce systems that often require high reliability and performance. For example, the online ticketing system is a real-time system accessed concurrently by clients, and there are some possible faults such as network disconnection and long time idles of clients, safety and liveness properties and fault-tolerance should be considered formally. For the booking function of the ticket system, the following properties should be considered in the design.

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

การวิจัยมีการใช้งานมากในการใช้ UML สำหรับการสร้างแบบจำลองทั่วไปของระบบซอฟต์แวร์ [4,5] และระบบอีคอมเมิร์ซโดยเฉพาะอย่างยิ่ง [1,2,3] แต่ยังคงมีการทำงานเล็ก ๆ น้อย ๆ เกี่ยวกับการใช้อย่างเป็นทางการของ UML ในการพัฒนาระบบอีคอมเมิร์ซ ฐานในการทำงานของเราใน [9,10] เกี่ยวกับการใช้อย่างเป็นทางการของ UML นี้แสดงให้เห็นว่าวิธีการอย่างเป็นทางการสามารถนำมาใช้ในการพัฒนาระบบอีคอมเมิร์ซ เพื่อจุดประสงค์นี้เราจะใช้กรณีศึกษาของระบบการจองตั๋วออนไลน์ที่ถูกพัฒนาขึ้นมาสำหรับมาเก๊าเลขานุการของสังคมและกิจการ [7] วัฒนธรรม เราจะแสดงให้เห็นว่าการใช้งานอย่างเป็นทางการของ UML เป็นสิ่งจำเป็นสำหรับการพัฒนาระบบอีคอมเมิร์ซที่มักจะต้องมีความน่าเชื่อถือสูงและประสิทธิภาพการทำงาน ตัวอย่างเช่นระบบตั๋วออนไลน์เป็นระบบเรียลไทม์พร้อมกันเข้าถึงโดยลูกค้าและมีบางส่วนที่ผิดพลาดที่เป็นไปได้เช่นขาดการเชื่อมต่อเครือข่ายและ Idles นานความปลอดภัยของลูกค้าและคุณสมบัติ liveness และยอมรับความผิดควรได้รับการพิจารณาอย่างเป็นทางการ สำหรับฟังก์ชั่นการจองตั๋วของระบบ, คุณสมบัติดังต่อไปนี้ควรได้รับการพิจารณาในการออกแบบ

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

งานวิจัยอยู่ในปัจจุบันมากใช้ UML สำหรับสร้างแบบจำลองระบบซอฟต์แวร์ทั่วไป [4,5] และระบบอีคอมเมิร์ซโดยเฉพาะ [1,2,3] อย่างไรก็ตาม ยังมีงานน้อยการใช้ UML เป็นทางในการพัฒนาระบบอีคอมเมิร์ซ พื้นฐานในการทำงานของเราใน [9,10] เกี่ยวกับการใช้ทางของ UML นี้แสดงวิธีการใช้วิธีทางในการพัฒนาระบบอีคอมเมิร์ซ สำหรับวัตถุประสงค์นี้ เราจะใช้กรณีศึกษาระบบตั๋วออนไลน์ที่ได้ถูกพัฒนาขึ้นสำหรับมาเก๊าเลขานุการของสังคมและวัฒนธรรม [7] เราจะแสดงว่าการใช้ UML เป็นทางจำเป็นสำหรับการพัฒนาระบบอีคอมเมิร์ซที่มักจะต้องมีเสถียรภาพและประสิทธิภาพ ตัวอย่าง ตั๋วระบบออนไลน์เป็นระบบเรียลไทม์ถึงพร้อม ด้วยลูกค้า และมีข้อบกพร่องบางอย่างได้เช่นเครือข่าย disconnection และนาน idles ของลูกค้า ความปลอดภัย และคุณสมบัติ liveness และยอมรับข้อบกพร่องควรพิจารณาอย่างเป็นกิจจะลักษณะ คุณสมบัติต่อไปนี้ควรพิจารณาในการออกแบบฟังก์ชันการจองตั๋วระบบ

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

การวิจัยในปัจจุบันเป็นอย่างมากในการใช้ uml ทั่วไปสำหรับการสร้างแบบจำลองซอฟต์แวร์ระบบ[ 4.5 กิโลเมตรเป็น]และระบบ e - commerce ในเฉพาะ[ 1,2,3 ] แต่ถึงอย่างไรก็ตามยังมีงานน้อยในการใช้งานอย่างเป็นทางการของ uml ในการพัฒนาระบบ e - commerce ฐานในงานของเราใน[ 9,10 ]เกี่ยวกับการใช้อย่างเป็นทางการของ uml นี้จะแสดงวิธีการใช้วิธีการอย่างเป็นทางการที่สามารถใช้ในการพัฒนาของระบบอี - คอมเมิร์ซ สำหรับการใช้งานนี้เราจะใช้กรณีศึกษาของระบบบัตรโดยสารแบบออนไลน์ที่มีการพัฒนาสำหรับมาเก๊าเลขานุการของสังคมและวัฒนธรรม[ 7 ] เราจะแสดงให้เห็นว่าการใช้อย่างเป็นทางการของ uml เป็นสิ่งจำเป็นสำหรับการพัฒนาระบบ e - commerce ที่มักจะต้องมีความน่าเชื่อถือและ ประสิทธิภาพ การทำงานสูง ตัวอย่างเช่นระบบบัตรโดยสารแบบออนไลน์ที่เป็นระบบแบบเรียลไทม์ที่เข้าถึงได้โดยลูกค้าได้พร้อมกันและมีความผิดปกติที่เป็นไปได้บางส่วนเช่น idles การยกเลิกการเชื่อมต่อเครือข่ายและเวลาของลูกค้าและความ ปลอดภัย liveness คุณสมบัติและความผิดปกติ - Fault Tolerance ควรได้รับการพิจารณาให้อย่างเป็นทางการ สำหรับการทำงานของระบบการจองบัตรโดยสารที่คุณสมบัติต่อไปนี้จะต้องได้รับการพิจารณาให้ในการออกแบบ