ارائه کنترل های معنایی بر اساس نحو گرافیکی ایجاد شده برای برنامه های همروند

تست و آزمون، بخش لاینفک و مهم از فرایند تولید یک زبان برنامه نویسی بشمار می آید و منجر به شناسایی سریع مشکلات برنامه ها میشود. از آنجایی که هم روندی در علوم کامپیوتر در سامانه هایی پیش میآید که در آن چند پردازش محاسباتی همزمان اجرا شده و با یکدیگر تعامل برقرار میکنند، و مهم تر از همه تست کردن برنامه های همروند کاری دشوار و خطا خیز بحساب می آید.بنابراین برای آسانتر ساختن این مهم، ما در این مقاله روشی جدید جهت اعتبارسنجی و کنترل مدل در برنامه نویسی هم روند را ارائه میدهیم که این روش مبتنی بر متا مدل پیشنهادی بوده، بگونه ای که متا مدل ارائه شده نحو انتزاعی و ذاتی برنامه های هم روند را مهیا میسازد.

Keywords:

برنامه نویسی هم روند , زبان های مدل سازی خاص حوزه , کنترل های معنایی , متا مدل