Constraints and Behaviors: Both of

Constraints and Behaviors: Both of them will be used to check whether the state
machine of this object fulfills the functional requirements of the system, at the same time
does not break the constraints. What is important, we know how the state machine change
are fired from the behaviors description.

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

ข้อจำกัดและลักษณะการทำงาน: ทั้งสองอย่างจะถูกใช้เพื่อตรวจสอบว่าสถานะ เครื่องของวัตถุนี้ตอบสนองความต้องการทำงานของระบบ เวลาเดียวกัน ทำลายข้อจำกัด สิ่งสำคัญ เรารู้วิธีการเปลี่ยนแปลงสถานะการ มียิงจากคำอธิบายลักษณะการทำงาน

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

ข้อ จำกัด และพฤติกรรม: ทั้งสองของพวกเขาจะถูกนำมาใช้เพื่อตรวจสอบว่ารัฐ
เครื่องของวัตถุนี้ตอบสนองความต้องการการทำงานของระบบในเวลาเดียวกัน
ไม่ทำลายข้อ จำกัด อะไรคือสิ่งที่สำคัญที่เรารู้ว่าการเปลี่ยนแปลงเครื่องของรัฐ
ที่มีการยิงออกมาจากคำอธิบายพฤติกรรม

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

ข้อจำกัดและพฤติกรรมทั้งของพวกเขาจะถูกใช้เพื่อตรวจสอบว่ารัฐ
เครื่องของวัตถุนี้ตอบสนองความต้องการการทำงานของระบบ ที่
เวลา เดียวกัน ไม่แบ่งความยับยั้งชั่งใจ สิ่งที่สำคัญที่สุด เราทราบว่าสภาพเครื่องเปลี่ยน
ถูกไล่ออกจากพฤติกรรม รายละเอียด