Методы и средства инженерии программного обеспечения



         

Средства стандарта ISO/IEC для преобразования данных - часть 2


в) для каждого внутреннего типа данных  преобразование определяет связь между  допустимым значением внутреннего типа данных  и эквивалентным значением соответствующего LI–типа данных;

с) для каждого значения LI–типа данных, участвующего в преобразовании, определяется существование значения любого внутреннего типа данных, преобразуемого в LI–тип данных со  взятием этого значения.

Внешнее преобразование документирует аномалии при идентификации внутренних типов  и дает гарантию того, что интерфейс между программными компонентами адекватно  задается сервисным средством и игнорирует среду ЯП.

Внутреннее преобразование  связывает примитивный тип данных или сгенерированный в LI–тип данных с конкретным внутренним типом данных ЯП. Представители отдельного семейства LI–типа данных могут преобразовываться в различные внутренние типы данных ЯП.  Данное преобразование обладает следующими свойствами:

а)  для каждого LI–типа данных (примитивного или сгенерированного) преобразование определяет наличие этого типа данных  в ЯП;

в)  для каждого  LI–типа данных преобразование определяет отношение между  допустимым значением этого типа и эквивалентным значением соответствующего внутреннего типа ЯП;

с) для каждого значения внутреннего типа данных преобразование определяет является ли это значение образом (после преобразования)  какого–то значения LI–типа данных и способ  преобразования.

Обратное внутреннее преобразование для LI–типа данных состоит в преобразовании значений внутреннего типа данных в соответствующее значение LI–типа при наличии соответствия и отсутствия двусмысленности. Это преобразование для ЯП является коллекцией обратных внутренних преобразований LI–типа данных.

 

В стандарте приведен набор приложений. В приложении А приведен  перечень действующих стандартов (около 40),  определяющих наборы символов.  Для обеспечения  совместимости используемых и реализуемых типов данных  в приложении В содержатся рекомендации по идентификации типов данных и описанию  аннотаций для атрибутов, параметров и др.В приложении С даны рекомендации по соответствующим  внутренним типы данных, которые должны преобразовываться LI–типы данных. В приложении D показано, что синтаксис LI–языка является подмножеством    стандарта IDM (Interface Definition Notation), предназначеного для описания интерфейса в LI–языке,          Приведен вариант внутреннего преобразования LI–типов данных в типы данных ЯП Паскаль (ISO/IEC 7185–90). В нем рассмотрены примеры преобразования примитивных типов данных LI–языка (логический, перечислимый, символьный, целый рациональный и др.) в типы данных языка Паскаль.

Предложенные в стандарте рекомендации,   средства описания типов данных и  методы их преобразования является универсальными и в настоящий момент  не имеют общей программной поддержки. 




Содержание  Назад  Вперед