یک فرامدل  یا جانشین مدل یک مدل از یک مدل و فرامدل سازی فرایند تولید چنین فرامدلی است. بنابراین تجزیه و تحلیل ساخت و ساز و توسعه از فریم قوانین محدودیت های مدل ها و نظریه های قابل اجرا و مفید برای یک کلاس از پیش تعریف شده از مشکلات است. همانطور که از نام آن پیداست این مفهوم در مورد مفاهیم و مدلسازی در و . فرامدل ها در بسیاری از انواع  هستند و برنامه های متنوعی را شامل میشوند. 
 یک فرامدل  یا جانشین مدل یک مدل از این مدل یعنی یک مدل ساده از یک مدل واقعی از یک مدار سیستم یا نرم‌افزار مانند نهاد است. فرامدل می تواند یک  ارتباط ریاضی یا الگوریتم به نمایندگی از ورودی و خروجی روابط باشد. یک  یک انتزاع از پدیده ها در  است; فرامدل  در عین حال یکی دیگر از انتزاع برجسته خواص خود مدل  را نشان میدهد. یک مدل مطابق با فرامدل آن است به این شکل که یک برنامه کامپیوتری مطابق با دستور زبان از زبان های برنامه نویسی که در آن نوشته شده است. انواع فرامدل ها شامل معادلات چند جملهای های شبکه عصبی ، ، "فرامدل سازی" ساخت و ساز از یک مجموعه از "مفاهیم" (همه چیز, نظر, و غیره.) در دامنه های خاص. فرا مدل سازی به طور معمول شامل مطالعه خروجی و ورودی روابط و پس از آن اتصالات مناسب فرامل سازی به نمایندگی از این رفتار است. 
 به دلیل وجود "فرا"  در فرامدل سازی هر دو جنبه ی عمل و تئوری متا مدل سازی مرتبط با فرادانش ، فرافلسفه، فراتئوری و فراسامانه هاست. این مفهوم می تواند  در  و  برنامه های کاربردی در و / مفید باشد. دومی در حال تمرکز اصلی این مقاله است.
 در  استفاده از  جایگزینی برای  توسعه ی کد محور است. یک مدل همیشه مطابق  یم فرامدل منحصر به فرد است.  در حال حاضر یکی از فعال ترین شاخه های ، معماری مدل-رانده است که توسط OMG پیشنهاد شده است.
 مدل سازی فراداده یک نوع فرامدل سازی مورد استفاده در و برای تجزیه و تحلیل و ساخت مدل های قابل استفاده   است. همچنین  برخی از کلاس پیش تعریف مشکل شده مفید است . (همچنین ببینید: ).
 یکی از حرکات مهم در ،استفاده  سیستماتیک از است. OMG یک استاندارد بدین منظور پیشنهاد کرده که QVT نام دارد. QVT بر اساس تسهیلات متا-شی است. در میان بسیاری دیگر از (MTLs) برخی از نمونه هایی از پیاده سازی این استاندارد در حال حاضر AndroMDA ،VIATRA، Tefkat، MT، ManyDesigns Portofino هستند.
 متامدل ها بسیار به   نزدیک هستند. هر دو اغلب  برای توصیف و تجزیه و تحلیل روابط بین مفاهیم مورد استفاده قرار میگیرند 
 
 برای نرم‌افزار مهندسی چندین  از مدل ها (و فعالیت های مربوط به آنها) را می توان مشخص کرد:
 
 
 
 
 
 
 کتابخانه ای که از فرا مدل های مشابه تشکیل شده است، باغ وحش فرامدل نامیده میشود. 
انواع مختلفی از باغ وحش فرامدل وجود دارد برخی از آنها  در ECore بیان شده است.
{"title": "فرامدل", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%81%D8%B1%D8%A7%D9%85%D8%AF%D9%84&oldid=27197433", "language": "fa"}