A tag contract framework for modeling heterogeneous systems

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