In UML, system functional requireme

In UML, system functional requirements are specified with a use-case model that contains the use cases and use- case diagrams [4,5,10]. As for the non-functional requirements, also called constraints, textual comments are generally used with UML diagrams. OCL (Object Constraint Language) [8], in a form of first order logic, is used as an extension mechanism of UML for a kind of formal description of such constraints. However, without a formal semantics for use cases and class diagrams, the use of OCL is very much limited and cannot be fully formalized. In the paper, we use the formalization in [9,10] given for the UML models used in requirement analysis to describe these constraints as well as the functional requirements. After analyzing the system requirements, we can use a unified use-case driven, iterative and incremental software development process to develop the system [5]. That is to say

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

ใน UML, ระบบต้องการการทำงานที่มีการระบุด้วยรูปแบบการใช้งานกรณีที่มีกรณีการใช้งานและไดอะแกรมกรณีการใช้งาน [4,5,10] เป็น non-functional requirements ที่เรียกว่าข้อ จำกัด , ความเห็นต้นฉบับโดยทั่วไปจะใช้กับแผนภาพ UML OCL (ภาษาข้อ จำกัด วัตถุ) [8] ในรูปแบบของตรรกะลำดับแรก,ถูกนำมาใช้เป็นกลไกส่วนหนึ่งของ UML สำหรับชนิดของรายละเอียดอย่างเป็นทางการของข้อ จำกัด ดังกล่าว แต่ไม่มีความหมายอย่างเป็นทางการสำหรับกรณีการใช้งานและไดอะแกรมชั้นใช้ OCL จำกัด เป็นอย่างมากและไม่สามารถกรงเล็บอย่างเต็มที่ ในกระดาษที่เราใช้เป็นทางการใน [9,10] ได้รับสำหรับรูปแบบ UML ใช้ในการวิเคราะห์ความต้องการที่จะอธิบายถึงข้อ จำกัด เหล่านี้เช่นเดียวกับที่ต้องการทำงาน หลังจากการวิเคราะห์ความต้องการของระบบเราสามารถใช้แบบครบวงจรกรณีการใช้งานที่ขับเคลื่อนด้วยซ้ำและซอฟต์แวร์ที่เพิ่มขึ้นการพัฒนากระบวนการในการพัฒนา [5] ระบบ กล่าวคือ

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

ใน UML มีระบุความต้องการใช้งานระบบกับแบบจำลองใช้กรณีที่ประกอบด้วยการใช้กรณีและกรณีใช้ไดอะแกรม [4,5,10] สำหรับข้อกำหนดไม่ทำงาน หรือที่เรียกว่าข้อจำกัด ข้อคิดเห็นเป็นข้อความโดยทั่วไปใช้กับไดอะแกรม UML OCL (วัตถุข้อจำกัดภาษา) [8], ในรูปแบบของตรรกะลำดับแรก ใช้เป็นกลไกการขยายของ UML สำหรับชนิดของคำอธิบายเกี่ยวกับข้อจำกัดดังกล่าวอย่างเป็นทางการ อย่างไรก็ตาม โดยไม่มีความหมายอย่างเป็นทางการสำหรับกรณีใช้และคลาไดอะแกรม OCL ใช้จำกัดมาก และไม่สามารถเต็ม formalized เราใช้ formalization ใน [9 กระดาษ10] กำหนดให้แบบจำลอง UML ใช้เพื่ออธิบายข้อจำกัดเหล่านี้เป็นความต้องการทำงานในการวิเคราะห์ความต้องการ หลังจากการวิเคราะห์ความต้องการระบบ เราสามารถใช้ประกอบการตัวขับเคลื่อน กระบวนการพัฒนาซอฟต์แวร์ซ้ำ และเพิ่มการพัฒนาระบบ [5] กล่าวคือ

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

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