2.1 Synchronization ConstructsThe m

2.1 Synchronization Constructs
The modeling constructs for synchronization in MMM include
synch constraints, await statements, interface functions, quantity
managers and LTL and LOC constraints. Most of these synchronization
constructs are not unique to MMM, and their counterparts
are also used in other concurrent modeling languages.

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

2.1 โครงสร้างตรง
รวมโครงสร้างโมเดลสำหรับการซิงโครไนส์ในววดดดด
synch จำกัด รอคำสั่ง ฟังก์ชันอินเทอร์เฟซ ปริมาณ
ผู้จัดการและข้อจำกัด LTL และล็อค ที่สุดของการซิงโครไนส์เหล่านี้
ไม่มีโครงสร้างเฉพาะววดดดด และปราบปราม
ยังใช้ภาษาอื่นโมเดลพร้อมกัน

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

2.1 โครงสร้างการประสาน
การสร้างแบบจำลองสำหรับการประสานใน MMM รวมถึง
ข้อ จำกัด ซิงค์, รอคำสั่งฟังก์ชันที่อินเตอร์เฟซปริมาณ
ผู้จัดการและ LTL และข้อ จำกัด LOC ส่วนใหญ่ของการประสานเหล่านี้
มีโครงสร้างที่ไม่ซ้ำกับ MMM และคู่ของพวกเขา
ยังใช้ในการสร้างแบบจำลองภาษาอื่น ๆ พร้อมกัน

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

2.1 การสร้างแบบจำลองโครงสร้างเพื่อให้ตรงกัน

อืมมม รวมถึงข้อจำกัดในเครื่องรอคำสั่งฟังก์ชั่นอินเตอร์เฟซผู้จัดการปริมาณ
LTL และข้อจำกัดและที่ตั้ง ส่วนใหญ่เหล่านี้จะไม่เฉพาะโครงสร้างตรงกัน

อืม คู่ของพวกเขายังใช้ในภาษาแบบจำลองแบบอื่น ๆ