فرامدل

یک فرامدل  یا جانشین مدل یک مدل از یک مدل و فرامدل سازی فرایند تولید چنین فرامدلی است. بنابراین فرامدل سازی تجزیه و تحلیل ساخت و ساز و توسعه از فریم قوانین محدودیت های مدل ها و نظریه های قابل اجرا و مفید برای مدل سازی یک کلاس از پیش تعریف شده از مشکلات است. همانطور که از نام آن پیداست این مفهوم در مورد مفاهیم متا و مدلسازی در مهندسی نرم‌افزار و مهندسی سیستم. فرامدل ها در بسیاری از انواع  هستند و برنامه های متنوعی را شامل میشوند.^[2]

نمونه ای از یک نقشه زمین شناسی اطلاعات فرامدل با چهار نوع از فرا-شی و خود-مرجع آنان است.^[1]

بررسی اجمالی

یک فرامدل  یا جانشین مدل یک مدل از این مدل یعنی یک مدل ساده از یک مدل واقعی از یک مدار سیستم یا نرم‌افزار مانند نهاد است. فرامدل می تواند یک  ارتباط ریاضی یا الگوریتم به نمایندگی از ورودی و خروجی روابط باشد. یک مدل یک انتزاع از پدیده ها در جهان واقعی است; فرامدل  در عین حال یکی دیگر از انتزاع برجسته خواص خود مدل  را نشان میدهد. یک مدل مطابق با فرامدل آن است به این شکل که یک برنامه کامپیوتری مطابق با دستور زبان از زبان های برنامه نویسی که در آن نوشته شده است. انواع فرامدل ها شامل معادلات چند جملهای های شبکه عصبی ، کریجینگ ، "فرامدل سازی" ساخت و ساز از یک مجموعه از "مفاهیم" (همه چیز, نظر, و غیره.) در دامنه های خاص. فرا مدل سازی به طور معمول شامل مطالعه خروجی و ورودی روابط و پس از آن اتصالات مناسب فرامل سازی به نمایندگی از این رفتار است.

به دلیل وجود "فرا"  در فرامدل سازی هر دو جنبه ی عمل و تئوری متا مدل سازی مرتبط با فرادانش ، فرافلسفه، فراتئوری و فراسامانه هاست. این مفهوم می تواند  در ریاضیات و  برنامه های کاربردی در علوم کامپیوتر و مهندسی کامپیوتر/مهندسی نرم‌افزار مفید باشد. دومی در حال تمرکز اصلی این مقاله است.

موضوعات

Meta-شی 

 مدل مرجع کسب و کار 

مثال از یک آنتولوژی

یک فرامدل  DoDAFl.

تعریف

در مهندسی نرم‌افزار استفاده از مدل ها جایگزینی برای  توسعه ی کد محور است. یک مدل همیشه مطابق  یم فرامدل منحصر به فرد است.  در حال حاضر یکی از فعال ترین شاخه های مهندسی مدل-رانده ، معماری مدل-رانده است که توسط OMG پیشنهاد شده است.

مدل سازی فراداده 

مدل سازی فراداده یک نوع فرامدل سازی مورد استفاده در مهندسی نرم‌افزار و مهندسی سیستم برای تجزیه و تحلیل و ساخت مدل های قابل استفاده   است. همچنین  برخی از کلاس پیش تعریف مشکل شده مفید است . (همچنین ببینید: مدل سازی داده ها).

مدل تحولات

یکی از حرکات مهم در مهندسی مدل-رانده،استفاده  سیستماتیک از مدل تحول زباناست. OMG یک استاندارد بدین منظور پیشنهاد کرده که QVT نام دارد. QVT بر اساس تسهیلات متا-شی است. در میان بسیاری دیگر از مدل تحول زبان (MTLs) برخی از نمونه هایی از پیاده سازی این استاندارد در حال حاضر AndroMDA ،VIATRA، Tefkat، MT، ManyDesigns Portofino هستند.

ارتباط با هستی شناسی

متامدل ها بسیار به هستی شناسی نزدیک هستند. هر دو اغلب  برای توصیف و تجزیه و تحلیل روابط بین مفاهیم مورد استفاده قرار میگیرند^[3]

• هستی شناسی: بیان چیزی معنی دار در یک محدوده مشخص شده جهان یا دامنه گفتمان با استفاده از یک دستور برای استفاده از واژگان است. دستور زبان مشخص می کند آنچه در آن به معنی به خوبی شکل گرفته است, بیانیه, تاکید, پرس و جو, و غیره. (رسمی و محدودیت های مورد نظر در این آنتولوژی را کنترل واژگان را می توان با هم استفاده می شود.^[4]
• فرا-مدل سازی: می توان به عنوان یک توضیح صریح (ساختار و مقررات) از چگونگی ساخت یک مدل بیان شود که شامل یک رسمی مشخصات دامنه خاص نمادهای. به طور معمول metamodels هستند و همیشه باید دنبال یک قانون سخت تنظیم شده است.^[5] "یک فرامدل معتبر یک هستی شناسی است, اما هر هستی شناسی الزاماً یک فرامدل نیست".

انواع فرامدل ها

برای نرم‌افزار مهندسی چندین نوع از مدل ها (و فعالیت های مربوط به آنها) را می توان مشخص کرد:

• فراداده مدلسازی (فراداده مدل)
• فرا-مدلسازی فرایند (فرا-فراآیند مدل)
• اجرایی فرا-مدل سازی (ترکیب دو مدل بالا )
• مدل تحول زبان (پایین را ببینید)
• فرامدل های چند جمله ای ^[6]
• فرامدل های شبکه عصبی 
• فرامدل های کریجینگ 

باغ وحشی از فرامدل ها

کتابخانه ای که از فرا مدل های مشابه تشکیل شده است، باغ وحش فرامدل نامیده میشود.^[7] انواع مختلفی از باغ وحش فرامدل وجود دارد^[8] برخی از آنها  در ECore بیان شده است. 

منابع

1. David R. Soller et al. (2001) Progress Report on the National Geologic Map Database, Phase 3: An Online Database of Map Information Digital Mapping Techniques '01 -- Workshop Proceedings U.S. Geological Survey Open-File Report 01-223.
2. Saraju Mohanty, Chapter 12 Metamodel-Based Fast AMS-SoC Design Methodologies, "Nanoelectronic Mixed-Signal System Design",
3. E. Söderström, et al. (2001) "Towards a Framework for Comparing Process Modelling Languages", in: Lecture Notes In Computer Science; Vol. 2348. Proceedings of the 14th International Conference on Advanced Information Systems Engineering. Pages: 600 – 611, 2001
4. Pidcock, Woody (2003), What are the differences between a vocabulary, a taxonomy, a thesaurus, an ontology, and a meta-model?, archived from the original on 14 October 2009 {{citation}}: Cite has empty unknown parameters: |laydate=، |separator=، |nopp=، |editorn=، |editorn-link=، |laysummary=، |coauthors=، |editorn-first=، |month=، |author-separator=، |lastauthoramp= و |editorn-last= (help)
5. Ernst, Johannes (2002), What is metamodeling, and what is it good for?, archived from the original on 9 October 2011 {{citation}}: Cite has empty unknown parameters: |laydate=، |separator=، |nopp=، |editorn=، |editorn-link=، |laysummary=، |coauthors=، |editorn-first=، |month=، |author-separator=، |lastauthoramp= و |editorn-last= (help)
6. Saraju Mohanty and Elias Kougianos, "Polynomial Metamodel Based Fast Optimization of Nano-CMOS Oscillator Circuits بایگانی‌شده در ۱۰ اوت ۲۰۱۴ توسط Wayback Machine", Springer Analog Integrated Circuits and Signal Processing Journal, Volume 79, Issue 3, June 2014, pp. 437--453.
7. Jean-Marie Favre: Towards a Basic Theory to Model Driven Engineering. بایگانی‌شده در ۱۵ اکتبر ۲۰۰۶ توسط Wayback Machine.
8. AtlanticZoo بایگانی‌شده در ۲۹ آوریل ۲۰۰۶ توسط Wayback Machine.