ITU-T - International Telecommunication Union/ITU Telcommunication Sector
сфера применения
Целью рекомендации языка спецификации и описания является предоставление языка для однозначной спецификации и описания поведения телекоммуникационных систем. Спецификации и описания, использующие язык, должны быть формальными в том смысле, что их можно однозначно анализировать и интерпретировать. Термины «спецификация» и «описание» используются в следующем значении: а) спецификация системы — это описание ее требуемого поведения; и б) описание системы — это описание ее фактического поведения (то есть ее реализации). Спецификация системы@ в широком смысле@ — это спецификация как поведения, так и набора общих параметров системы. Однако @ Язык спецификации и описания предназначен для определения поведенческих аспектов системы; общие параметры, описывающие такие свойства, как емкость и вес, должны описываться с использованием различных методов. В этой Рекомендации представлен обзор серии Рекомендаций, которые определяют SDL-2010@, определяют термины@, соглашения, включая соответствие мета-языков@ инструментам и основе данных для SDL-2010. ПРИМЕЧАНИЕ. – Поскольку нет различия между использованием для спецификации и использованием для описания, термин «спецификация» используется в Рекомендациях SDL-2010 как для требуемого поведения, так и для фактического поведения.