زبان تعریف مشخصات

زبانی صوری بر پایۀ روش‌های ریاضی برای مدل‏سازی و بیان مشخصات سامانه متـ . زبان مشخصات