A theoretical framework for cardinality-based feature models: The semantics and computational aspects

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