On the expressiveness of modal transition systems with variability constraints

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