ภาษาสร้างแบบจำลองคือสัญลักษณ์ที่ใช้ในการแสดงข้อมูลสารสนเทศความรู้หรือระบบต่างๆในโครงสร้างที่กำหนดโดยชุดกฎที่สอดคล้องกัน

ภาษาสร้างแบบจำลองอาจเป็นแบบกราฟิกหรือแบบข้อความ^{[ 1 ]}ภาษาสร้างแบบจำลองแบบกราฟิกใช้เทคนิคการสร้างแผนภาพ ด้วยสัญลักษณ์ที่มีชื่อซึ่งแทนแนวคิดและเส้นที่เชื่อมต่อสัญลักษณ์และแทนความสัมพันธ์และสัญลักษณ์กราฟิกอื่นๆ เพื่อแสดงข้อจำกัด ภาษาสร้างแบบจำลองแบบข้อความอาจใช้คำหลักมาตรฐานพร้อมกับพารามิเตอร์หรือคำและวลีภาษาธรรมชาติเพื่อสร้างนิพจน์ที่คอมพิวเตอร์สามารถตีความ ได้ ตัวอย่างของภาษาสร้างแบบจำลองแบบกราฟิกและภาษาสร้างแบบจำลองแบบข้อความที่สอดคล้องกันคือEXPRESS

ไม่ใช่ทุกภาษาสร้างแบบจำลองที่จะสามารถทำงานได้ และสำหรับภาษาที่สามารถทำงานได้ การใช้งานภาษาเหล่านั้นไม่ได้หมายความว่าไม่จำเป็นต้องมีโปรแกรมเมอร์อีกต่อไป ในทางตรงกันข้าม ภาษาสร้างแบบจำลองที่สามารถทำงานได้นั้นมีจุดประสงค์เพื่อเพิ่มประสิทธิภาพการทำงานของโปรแกรมเมอร์ที่มีทักษะ เพื่อให้พวกเขาสามารถรับมือกับปัญหาที่ท้าทายมากขึ้น เช่น การประมวลผลแบบขนานและระบบ กระจาย

มีภาษาสร้างแบบจำลองจำนวนมากปรากฏอยู่ในเอกสารทางวิชาการ

ตัวอย่างของภาษาสร้างแบบจำลองกราฟิกในสาขาวิทยาการคอมพิวเตอร์ การจัดการโครงการ และวิศวกรรมระบบ:

• แผนผังพฤติกรรม (Behavior Trees)เป็นภาษาการสร้างแบบจำลองเชิงกราฟิกที่เป็นทางการ ซึ่งใช้เป็นหลักในด้าน วิศวกรรม ระบบและซอฟต์แวร์ โดยทั่วไปใช้เพื่อแสดงความต้องการ ในภาษาธรรมชาติหลายร้อยหรือหลายพันข้อได้อย่างชัดเจนซึ่งมักใช้ในการแสดง ความต้องการ ของผู้มีส่วนได้ส่วนเสียสำหรับระบบซอฟต์แวร์แบบบูรณาการขนาดใหญ่
• Business Process Modeling Notation (BPMN และ รูปแบบ XMLคือ BPML) เป็นตัวอย่างหนึ่งของภาษาสำหรับการสร้างแบบจำลองกระบวนการ
• ทฤษฎี CKประกอบด้วยภาษาการสร้างแบบจำลองสำหรับกระบวนการออกแบบ
• DRAKONเป็น ภาษา สร้างแบบจำลองเชิงอัลกอริทึมแบบอเนกประสงค์สำหรับการระบุระบบที่เน้นซอฟต์แวร์ การแสดงแผนผังของอัลกอริทึมหรือกระบวนการทีละขั้นตอน และเป็นกลุ่มของภาษาโปรแกรม
• EXPRESS และ EXPRESS-G (ISO 10303-11) เป็น ภาษาสร้างแบบจำลองข้อมูลอเนกประสงค์มาตรฐานสากล
• ภาษาสร้างแบบจำลององค์กรแบบขยาย (EEML) มักใช้สำหรับการสร้างแบบจำลองกระบวนการทางธุรกิจในหลายระดับ
• ผังงานคือแผนภาพแสดงขั้นตอนวิธีหรือกระบวนการทีละขั้น
• แนวคิดการสร้างแบบจำลองพื้นฐาน (Fundamental Modeling Concepts หรือ FMC) เป็นภาษาการสร้างแบบจำลองสำหรับระบบที่เน้นซอฟต์แวร์เป็นหลัก
• IDEFคือตระกูลของภาษาสร้างแบบจำลองซึ่งประกอบด้วยIDEF0สำหรับการสร้างแบบจำลองเชิงฟังก์ชันIDEF1Xสำหรับการสร้างแบบจำลองสารสนเทศIDEF3สำหรับการสร้างแบบจำลองกระบวนการทางธุรกิจIDEF4สำหรับการออกแบบเชิงวัตถุ และIDEF5สำหรับการสร้างแบบจำลองออนโทโลยี
• Jackson Structured Programming (JSP) เป็นวิธีการเขียนโปรแกรมเชิงโครงสร้างที่อิงตามความสัมพันธ์ระหว่างโครงสร้างของกระแสข้อมูลและโครงสร้างของโปรแกรม
• LePUS3เป็น ภาษาการอธิบายการออกแบบเชิงภาพ แบบเชิงวัตถุและเป็น ภาษา กำหนดคุณสมบัติอย่างเป็นทางการซึ่งเหมาะสมอย่างยิ่งสำหรับการสร้างแบบจำลองโปรแกรมเชิงวัตถุขนาดใหญ่ ( Java , C++ , C# ) และรูปแบบการออกแบบ
• ภาษาสร้างแบบจำลองวงจรชีวิต (Lifecycle Modeling Language)เป็นภาษามาตรฐานเปิดสำหรับวิศวกรรมระบบ ที่สนับสนุน วงจรชีวิตของระบบอย่างครบถ้วนได้แก่ ขั้นตอนแนวคิด การใช้งาน การสนับสนุน และการเลิกใช้งาน
• การสร้างแบบจำลองบทบาทของวัตถุ (Object-Role Modelingหรือ ORM) ในสาขาวิศวกรรมซอฟต์แวร์ เป็นวิธีการสร้างแบบจำลองเชิงแนวคิด และสามารถใช้เป็นเครื่องมือในการวิเคราะห์ข้อมูลและกฎเกณฑ์ได้
• โครงข่ายเพทรีใช้รูปแบบที่แตกต่างกันของเทคนิคการสร้างแผนภาพและโทโพโลยีเพียงแบบเดียว นั่นคือกราฟสองส่วนความเรียบง่ายของส่วนติดต่อผู้ใช้พื้นฐานทำให้สามารถรองรับเครื่องมือต่างๆ ได้อย่างกว้างขวางตลอดหลายปีที่ผ่านมา โดยเฉพาะอย่างยิ่งในด้านการตรวจสอบแบบจำลอง การจำลองเชิงกราฟิก และการตรวจสอบซอฟต์แวร์
• สัญกรณ์เซาท์บีช (Southbeach Notation)เป็นภาษาสร้างแบบจำลองเชิงภาพที่ใช้เพื่ออธิบายสถานการณ์ในแง่ของตัวแทน (agent) ที่ถือว่ามีประโยชน์หรือเป็นอันตรายจากมุมมองของผู้สร้างแบบจำลอง สัญกรณ์นี้แสดงให้เห็นว่าตัวแทนเหล่านั้นมีปฏิสัมพันธ์กันอย่างไร และปฏิสัมพันธ์นั้นทำให้สถานการณ์ดีขึ้นหรือแย่ลง
• ภาษากำหนดคุณสมบัติและคำอธิบาย (SDL) เป็นภาษากำหนดคุณสมบัติที่มุ่งเน้นการกำหนดคุณสมบัติและคำอธิบายพฤติกรรมของระบบตอบสนองและระบบกระจายอย่างชัดเจนและไม่คลุมเครือ
• SysMLเป็น ภาษา สร้างแบบจำลองเฉพาะโดเมนสำหรับวิศวกรรมระบบซึ่งกำหนดเป็นโปรไฟล์ UML (การปรับแต่ง)
• ภาษาสร้างแบบจำลองรวม (UML) เป็น ภาษา สร้างแบบจำลองอเนกประสงค์ที่เป็นมาตรฐานอุตสาหกรรมสำหรับการกำหนดรายละเอียดของระบบที่เน้นซอฟต์แวร์ UML 2.0 ซึ่งเป็นเวอร์ชันปัจจุบัน รองรับเทคนิคการสร้างแผนภาพที่แตกต่างกันถึงสิบสามแบบ และมีการสนับสนุนเครื่องมืออย่างกว้างขวาง
• FLINT — ภาษาที่อนุญาตให้มีการอธิบายระบบบรรทัดฐานในระดับสูง^{[ 2 ]}
• กรอบงานการสร้างแบบจำลองเชิงบริการ (SOMF)เป็นภาษาแบบองค์รวมสำหรับการออกแบบแบบจำลองสถาปัตยกรรมระดับองค์กรและแอปพลิเคชันในพื้นที่ของสถาปัตยกรรมองค์กร การจำลองเสมือน สถาปัตยกรรมเชิงบริการ (SOA) การประมวลผลแบบคลาวด์ และอื่นๆ^{[ 3 ]}
• ภาษาอธิบายสถาปัตยกรรม (ADL ) คือภาษาที่ใช้ในการอธิบายและแสดงสถาปัตยกรรมของระบบ
• ภาษาวิเคราะห์และออกแบบสถาปัตยกรรม (AADL) เป็นภาษาสร้างแบบจำลองที่สนับสนุนการวิเคราะห์สถาปัตยกรรมของระบบในระยะเริ่มต้นและต่อเนื่อง โดยคำนึงถึงคุณสมบัติที่สำคัญต่อประสิทธิภาพการทำงาน ผ่านสัญกรณ์ที่ขยายได้ กรอบเครื่องมือ และความหมายที่กำหนดไว้อย่างแม่นยำ

ตัวอย่างของภาษาสร้างแบบจำลองกราฟิกในสาขาวิทยาศาสตร์อื่นๆ

• EAST-ADLเป็น ภาษา สร้างแบบจำลองเฉพาะโดเมน (Domain-Specific Modeling language) ที่ออกแบบมาเพื่อการออกแบบระบบยานยนต์โดยเฉพาะ
• ภาษาระบบพลังงาน (Energy Systems Language หรือ ESL) เป็นภาษาที่มุ่งสร้างแบบจำลองด้านพลังงานเชิงนิเวศและเศรษฐศาสตร์โลก
• มาตรฐาน IEC 61499กำหนด ภาษา การสร้างแบบจำลองเฉพาะโดเมน (Domain-Specific Modeling language)สำหรับระบบการวัดและควบคุมกระบวนการทางอุตสาหกรรมแบบกระจายศูนย์

แบบจำลองข้อมูลยังสามารถแสดงออกมาในภาษาธรรมชาติที่เป็นทางการ เช่น Gellish ได้อีกด้วย^{[ 4 ​​]} Gellish มีรูปแบบภาษาธรรมชาติ เช่นGellish Formal Englishและ Gellish Formal Dutch ( Gellish Formeel Nederlands ) เป็นต้น Gellish Formal English เป็นภาษาสำหรับการแสดงข้อมูลหรือภาษาสำหรับการสร้างแบบจำลองเชิงความหมาย ซึ่งกำหนดไว้ในพจนานุกรม-อนุกรมวิธาน Gellish English ซึ่งมีรูปแบบเป็นอนุกรมวิธาน-ออนโทโลยี (เช่นเดียวกับภาษาดัตช์) Gellish Formal English ไม่เพียงแต่เหมาะสำหรับการแสดงความรู้ ข้อกำหนด และพจนานุกรม อนุกรมวิธาน และออนโทโลยีเท่านั้น แต่ยังรวมถึงข้อมูลเกี่ยวกับสิ่งต่างๆ อีกด้วย ข้อมูลทั้งหมดนั้นแสดงออกมาในภาษาเดียว ดังนั้นจึงสามารถบูรณาการเข้าด้วยกันได้ทั้งหมด โดยไม่ขึ้นอยู่กับว่าข้อมูลนั้นถูกจัดเก็บไว้ในฐานข้อมูลส่วนกลาง ฐานข้อมูลแบบกระจาย หรือฐานข้อมูลแบบสหพันธ์ แบบจำลองข้อมูลใน Gellish Formal English ประกอบด้วยชุดของนิพจน์ Gellish Formal English ที่ใช้คำศัพท์ภาษาธรรมชาติและวลีที่เป็นทางการ ตัวอย่างเช่น แบบจำลองข้อมูลทางภูมิศาสตร์อาจประกอบด้วยนิพจน์ Gellish Formal English จำนวนหนึ่ง เช่น:

หอไอเฟลตั้งอยู่ในกรุงปารีส - ปารีส <ถูกจัดประเภทเป็น> เมือง 

ในขณะที่ความต้องการข้อมูลและความรู้สามารถแสดงออกมาได้ เช่น ดังต่อไปนี้:

- หอคอย <จะต้องตั้งอยู่ใน> พื้นที่ทางภูมิศาสตร์ - เมือง <เป็น>พื้นที่ทางภูมิศาสตร์ประเภทหนึ่ง> 

สำนวนภาษาอังกฤษเชิงทางการของ Gellish ใช้ชื่อของแนวคิด (เช่น "city") และวลีที่แสดงถึงประเภทความสัมพันธ์ (เช่น⟨is located in⟩และ⟨is classified as a⟩ ) ซึ่งควรเลือกจากพจนานุกรม-อนุกรมวิธานภาษาอังกฤษของ Gellish (หรือพจนานุกรมเฉพาะด้านของคุณเอง) พจนานุกรม-อนุกรมวิธานภาษาอังกฤษของ Gellish ช่วยให้สามารถสร้างแบบจำลองข้อมูลที่มีความหมายสมบูรณ์ได้ เนื่องจากพจนานุกรมมีประเภทความสัมพันธ์มาตรฐานมากกว่า 600 ประเภท และมีคำจำกัดความของแนวคิดมากกว่า 40,000 รายการ แบบจำลองข้อมูลใน Gellish สามารถแสดงข้อเท็จจริงหรือสร้างข้อความ คำถาม และคำตอบได้

ในสาขาวิทยาการคอมพิวเตอร์นั้น เมื่อไม่นานมานี้ได้มีการเกิดขึ้นของภาษาสร้างแบบจำลองเฉพาะทางมากขึ้น

ภาษาสร้างแบบจำลองเชิงพีชคณิต (Algebraic Modeling Languages ​​หรือ AML) เป็นภาษาโปรแกรมระดับสูงสำหรับอธิบายและแก้ปัญหาที่มีความซับซ้อนสูงสำหรับการคำนวณทางคณิตศาสตร์ขนาดใหญ่ (เช่น ปัญหาประเภทการหาค่าเหมาะสมที่สุดขนาดใหญ่) ข้อได้เปรียบที่สำคัญอย่างหนึ่งของ AML เช่นAIMMS , AMPL , GAMS , Gekko , Mosel , OPL , MiniZincและOptimJคือความคล้ายคลึงกันของไวยากรณ์กับสัญลักษณ์ทางคณิตศาสตร์ของปัญหาการหาค่าเหมาะสมที่สุด สิ่งนี้ช่วยให้สามารถกำหนดปัญหาในโดเมนของการหาค่าเหมาะสมที่สุดได้อย่างกระชับและอ่านง่าย ซึ่งได้รับการสนับสนุนโดยองค์ประกอบทางภาษาบางอย่าง เช่น เซต ดัชนี นิพจน์เชิงพีชคณิต ดัชนีแบบเบาบางที่มีประสิทธิภาพ และตัวแปรการจัดการข้อมูล ข้อจำกัดที่มีชื่อตามอำเภอใจ การกำหนดแบบจำลองเชิงพีชคณิตนั้นไม่มีคำแนะนำใดๆ เกี่ยวกับวิธีการประมวลผล

ภาษาเชิงพฤติกรรมถูกออกแบบมาเพื่ออธิบายพฤติกรรมที่สังเกตได้ของระบบที่ซับซ้อนซึ่งประกอบด้วยส่วนประกอบที่ทำงานพร้อมกัน ภาษาเหล่านี้มุ่งเน้นไปที่การอธิบายแนวคิดหลัก เช่น การทำงานพร้อมกัน ความไม่แน่นอน การซิงโครไนซ์ และการสื่อสาร รากฐานทางความหมายของภาษาเชิงพฤติกรรมคือแคลคูลัส กระบวนการหรือพีชคณิตกระบวนการ

ภาษา การสร้างแบบจำลองเฉพาะสาขา (DspM)มุ่งเน้นไปที่ผลลัพธ์ที่เกี่ยวข้องกับขั้นตอนเฉพาะของวงจรชีวิตการพัฒนาซอฟต์แวร์ ดังนั้น ภาษาดังกล่าวจึงมีคำศัพท์ ไวยากรณ์ และสัญลักษณ์ที่แตกต่างกันสำหรับแต่ละขั้นตอน เช่น การค้นหา การวิเคราะห์ การออกแบบ สถาปัตยกรรม การหดตัว เป็นต้น ตัวอย่างเช่น ในขั้นตอนการวิเคราะห์ของโครงการ นักสร้างแบบจำลองจะใช้สัญลักษณ์การวิเคราะห์เฉพาะเพื่อสร้างแผนภาพข้อเสนอการวิเคราะห์ ในขณะที่ในขั้นตอนการออกแบบ จะใช้สัญลักษณ์การออกแบบเชิงตรรกะเพื่อแสดงความสัมพันธ์ระหว่างส่วนประกอบของซอฟต์แวร์ นอกจากนี้ แนวปฏิบัติที่ดีที่สุดของภาษาการสร้างแบบจำลองเฉพาะสาขาไม่ได้ห้ามผู้ปฏิบัติงานจากการรวมสัญลักษณ์ต่างๆ เข้าไว้ในแผนภาพเดียว

การสร้างแบบจำลองเฉพาะโดเมน (Domain-specific modelingหรือ DSM) เป็นวิธีการทางวิศวกรรมซอฟต์แวร์สำหรับการออกแบบและพัฒนาระบบ โดยส่วนใหญ่จะเป็นระบบไอที เช่น ซอฟต์แวร์คอมพิวเตอร์ วิธีการนี้เกี่ยวข้องกับการใช้ภาษาเฉพาะโดเมนแบบกราฟิก (Graphical Domain-Specific Languageหรือ DSL) อย่างเป็นระบบเพื่อแสดงแง่มุมต่างๆ ของระบบ ภาษา DSM มักจะรองรับนามธรรมระดับสูงกว่าภาษาสร้างแบบจำลองทั่วไป ดังนั้นจึงใช้ความพยายามน้อยกว่าและรายละเอียดระดับต่ำน้อยกว่าในการกำหนดระบบที่กำหนด

ภาษาสร้างแบบจำลองเฉพาะเฟรมเวิร์ก ( FSML) เป็นภาษาสร้างแบบจำลองเฉพาะโดเมนชนิดหนึ่ง ซึ่งออกแบบมาสำหรับเฟรมเวิร์กแอปพลิเคชันเชิงวัตถุ FSML กำหนดนามธรรมที่เฟรมเวิร์กจัดเตรียมไว้ให้เป็นแนวคิด FSML และแยกย่อยนามธรรมเหล่านั้นออกเป็นคุณลักษณะ คุณลักษณะเหล่านี้แสดงถึงขั้นตอนการดำเนินการหรือทางเลือกต่างๆ

แนวคิด FSML สามารถกำหนดค่าได้โดยการเลือกคุณสมบัติและระบุค่าสำหรับคุณสมบัติเหล่านั้น การกำหนดค่าแนวคิดดังกล่าวแสดงให้เห็นว่าควรนำแนวคิดนั้นไปใช้ในโค้ดอย่างไร กล่าวอีกนัยหนึ่ง การกำหนดค่าแนวคิดอธิบายว่าควรดำเนินการอย่างไรให้เฟรมเวิร์กสมบูรณ์เพื่อสร้างการใช้งานตามแนวคิดนั้น

การเชื่อมโยงข้อมูลและการสร้างออนโทโลยีจำเป็นต้องใช้ 'ภาษาหลัก' เพื่อใช้ในการแทน เอนทิตี และความสัมพันธ์ระหว่างเอนทิตีเหล่านั้นข้อจำกัดระหว่างคุณสมบัติของเอนทิตีและความสัมพันธ์ และคุณลักษณะเมตาเดตาJSON-LDและRDFเป็นสองภาษาหลัก (และมีความหมายเกือบเทียบเท่ากัน) ในบริบทนี้ เนื่องจากภาษาทั้งสองนี้รองรับการสร้างข้อความและการกำหนดบริบทซึ่งเป็นคุณสมบัติที่จำเป็นต่อการสนับสนุนตรรกะระดับสูงที่จำเป็นในการให้เหตุผลเกี่ยวกับแบบจำลองการแปลงแบบจำลองเป็นตัวอย่างทั่วไปของการให้เหตุผลดังกล่าว

ภาษาสำหรับการสร้างแบบจำลองเชิงวัตถุ (OOM) คือสัญลักษณ์ที่ใช้ในการสร้างแบบจำลองระบบในรูปแบบเชิงวัตถุ องค์กรอาจใช้ OOM เพื่อจัดทำเอกสารและอธิบายสถาปัตยกรรมและการออกแบบระบบให้กับทั้งนักพัฒนาและผู้มีส่วนได้ส่วนเสีย เนื่องจากภาษาการสร้างแบบจำลองนั้นเป็นภาพและอยู่ในระดับนามธรรมที่สูงกว่าโค้ด การใช้แบบจำลองจึงส่งเสริมการสร้างวิสัยทัศน์ร่วมกันซึ่งอาจป้องกันปัญหาการตีความที่แตกต่างกันในภายหลังระหว่างการพัฒนา บ่อยครั้งที่ใช้เครื่องมือสร้างแบบจำลองซอฟต์แวร์เพื่อสร้างแบบจำลองเหล่านี้ ซึ่งอาจสามารถแปลงเป็นโค้ดได้โดยอัตโนมัติ

ภาษาสร้างแบบจำลองความเป็นจริงเสมือน (VRML) ซึ่งก่อนปี 1995 รู้จักกันในชื่อภาษามาร์กอัปความเป็นจริงเสมือน เป็นรูปแบบไฟล์มาตรฐานสำหรับการแสดงกราฟิกเวกเตอร์แบบโต้ตอบสามมิติ (3D) ซึ่งออกแบบมาโดยเฉพาะสำหรับเวิลด์ไวด์เว็บ

• ภาษาอธิบายสถาปัตยกรรม
• ภาษาการสร้างแบบจำลองใบหน้า
• ภาษาสร้างแบบจำลองเชิงกำเนิด
• ภาษาการสร้างแบบจำลอง Java
• โปรเมล่า
• ภาษาการสร้างแบบจำลองรีเบก้า
• ภาษาการสร้างแบบจำลองบริการ
• ภาษาสร้างแบบจำลองบริการเว็บ
• เอ็กซ์3ดี

ภาษาสร้างแบบจำลองประเภทต่างๆ ถูกนำไปใช้ในสาขาวิชาต่างๆ รวมถึงวิทยาการคอมพิวเตอร์การจัดการข้อมูลการสร้างแบบจำลองกระบวนการทางธุรกิจวิศวกรรมซอฟต์แวร์และวิศวกรรมระบบภาษาสร้างแบบจำลองสามารถใช้เพื่อระบุ:

• ข้อกำหนดของระบบ
• โครงสร้างและ
• พฤติกรรม

ภาษาการสร้างแบบจำลองมีจุดประสงค์เพื่อใช้ในการระบุรายละเอียดของระบบอย่างแม่นยำ เพื่อให้ผู้มีส่วนได้ส่วนเสีย (เช่น ลูกค้า ผู้ปฏิบัติงาน นักวิเคราะห์ นักออกแบบ) สามารถเข้าใจระบบที่กำลังสร้างแบบจำลองได้ดียิ่งขึ้น

ภาษาการสร้างแบบจำลองที่มีความสมบูรณ์มากขึ้นนั้นมีความแม่นยำ สม่ำเสมอ และสามารถดำเนินการได้เทคนิคการสร้างแผนภาพแบบไม่ เป็นทางการที่ใช้กับเครื่องมือวาดภาพคาดว่าจะสร้างภาพแทนที่มีประโยชน์ของข้อกำหนดของระบบ โครงสร้าง และพฤติกรรม ซึ่งอาจเป็นประโยชน์สำหรับการสื่อสาร การออกแบบ และการแก้ปัญหา แต่ไม่สามารถใช้ในเชิงโปรแกรมได้ ^{[ 5 ] : 539} อย่างไรก็ตาม ภาษาการสร้างแบบจำลองที่สามารถดำเนินการได้ซึ่งใช้ร่วมกับเครื่องมือที่เหมาะสม คาดว่าจะทำให้การตรวจสอบและรับรอง ระบบ การจำลองและการสร้างโค้ด เป็นไปโดยอัตโนมัติ จากภาพแทนเดียวกัน

การทบทวนภาษาการสร้างแบบจำลองมีความสำคัญอย่างยิ่ง เพื่อให้สามารถกำหนดได้ว่าภาษาใดเหมาะสมกับสถานการณ์การสร้างแบบจำลองที่แตกต่างกัน ในที่นี้ คำว่า "สถานการณ์" หมายรวมถึงผู้มีส่วนได้ส่วนเสีย ขอบเขตงาน และองค์ความรู้ที่เกี่ยวข้อง การประเมินคุณภาพของภาษาเป็นวิธีการหนึ่งที่มุ่งหวังให้ได้แบบจำลองที่ดีขึ้น

ในที่นี้ คุณภาพของภาษาถูกกล่าวถึงตามกรอบ SEQUALสำหรับคุณภาพของแบบจำลองที่พัฒนาโดย Krogstie, Sindre และ Lindland (2003) เนื่องจากเป็นกรอบที่เชื่อมโยงคุณภาพของภาษากับกรอบคุณภาพแบบจำลองทั่วไป กรอบนี้ใช้ห้าด้านในการอธิบายคุณภาพของภาษา ซึ่งควรจะแสดงถึงทั้งแนวคิดและสัญลักษณ์ทางภาพของภาษา เราจะไม่ลงรายละเอียดเกี่ยวกับกรอบคุณภาพแบบจำลองพื้นฐาน แต่จะเน้นเฉพาะด้านที่ใช้ในการอธิบายกรอบคุณภาพภาษาเท่านั้น

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

ในการประเมินความเหมาะสมของผู้เข้าร่วม เราพยายามระบุว่าภาษาที่ใช้สามารถสื่อถึงความรู้ที่ผู้มีส่วนได้ส่วนเสียมีอยู่ได้ดีเพียงใด ซึ่งเป็นเรื่องท้าทายเนื่องจากความรู้ของผู้มีส่วนได้ส่วนเสียเป็นเรื่องส่วนตัว ความรู้ของผู้มีส่วนได้ส่วนเสียมีทั้งแบบแฝงและแบบชัดแจ้ง ความรู้ทั้งสองประเภทมีลักษณะเปลี่ยนแปลงได้ ในกรอบนี้ เราจะพิจารณาเฉพาะความรู้แบบชัดแจ้งเท่านั้น ภาษาที่ใช้ควรสื่อถึงความรู้แบบชัดแจ้งทั้งหมดของผู้มีส่วนได้ส่วนเสียที่เกี่ยวข้องกับขอบเขตงานนั้นๆ ในระดับมาก

ย่อหน้าสุดท้ายระบุว่าความรู้เกี่ยวกับผู้มีส่วนได้ส่วนเสียควรนำเสนอในรูปแบบที่ดี นอกจากนี้ ภาษาที่ใช้จะต้องสามารถถ่ายทอดความรู้ที่ชัดเจนทั้งหมดเกี่ยวกับผู้มีส่วนได้ส่วนเสียได้อย่างครบถ้วน ความรู้ใดๆ ก็ไม่ควรถูกละเลยหรือไม่ได้ถ่ายทอดออกมาเนื่องจากข้อจำกัดทางภาษา

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

สิ่งนี้เกี่ยวข้องกับโครงสร้างของข้อกำหนดในการพัฒนาด้วยเช่นกัน

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

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

• John Krogstie (2003) "การประเมิน UML โดยใช้กรอบคุณภาพทั่วไป" SINTEF Telecom and Informatics และ IDI, NTNU, นอร์เวย์
• Krogstie และ Sølvsberg (2003). วิศวกรรมระบบสารสนเทศ: การสร้างแบบจำลองเชิงแนวคิดในมุมมองด้านคุณภาพสถาบันวิทยาการคอมพิวเตอร์และสารสนเทศ
• Anna Gunhild Nysetvold และJohn Krogstie (2005). "การประเมินภาษาการสร้างแบบจำลองกระบวนการทางธุรกิจโดยใช้กรอบคุณภาพทั่วไป"สถาบันวิทยาการคอมพิวเตอร์และสารสนเทศ

วิกิมีเดียคอมมอนส์มีสื่อที่เกี่ยวข้องกับภาษาการสร้างแบบจำลอง

• แนวคิดพื้นฐานของการสร้างแบบจำลอง
• พอร์ทัลภาษาการสร้างแบบจำลองซอฟต์แวร์
• BIP -- การสร้างระบบเรียลไทม์แบบเพิ่มทีละส่วนโดยใช้ส่วนประกอบ
• ภาษาอังกฤษแบบทางการของเจลลิช