ГОСТ Р ИСО 13584-31—2010
Спецификация на языке EXPRESS:
*>
ENTITY parabola
SUBTYPE 01’ (conic);
focaldist : length_measure;
WHERE
WR1: focal_dist <> 0.0;
ENU_ENTITY;
(*
Определения атрибутов:
SELF\conic.position. расположение и ориентация кривой. Атрибут conic.position.location задает
вершину параболы, атрибут conic.position.pl1] задает ось симметрии параболы:
focal_dist: расстояние фокуса от вершины параболы.
П р и м е ч а н и е 2 — Атрибуты параболы представлены на рисунке 8.
Комментарий к спецификации:
WR1:фокусное расстояние не должно быть равно нулю.
6.1.12 Определение сущностей схемы API_ABSTRACT_SCHEMA:
базовые кривые интерфейса прикладного программирования
В настоящем подразделе установлены сущности кривых интерфейса прикладного программиро
вания. вычисляемых и генерируемых интерфейсом посредством спецификаций с учетом ограничений.
Интерфейс имеет утилиты для определения характеристик указанных сущностей. Задание ориентации
рассматриваемых сущностей (с помощью точек вычленения trim_1 и trim_2 в соответствии с соглаше
нием о задании положительного направления обхода кривой sense__agreement) устраняет неоднознач
ность геометрических построений. Указанные сущности должны существовать в целевой моделирую
щей системе. Поэтому процесс моделирования для их реализации не определяется.
6.1.12.1 Сущность apijine
Сущность apijine задает отрезок кривой trimmed_curve линейного сегмента. Определяется сущ
ностью trimmed_cirve в совокупности с сущностью line.
Спецификация на языке EXPRESS:
*>
ENTITY api_line
SUBTYPE OF (trimmed_curve> ;
WHERE
api_WRl : ’API_ABSTRACT_SCHEMA.LINE’ IN
TYPEOF (SELF\TRIMMED_CURVE.BAS1S_CURVE);
ENIDENTITY;
Г “
П ри м е ча н и е 1 — Данная сущность интерфейса прикладного программирования позволяет задать диа
пазон значений некоторых функций интерфейса.
П ри м е ча н и е 2 — В контексте схемы api_abslract_schema главное представление master_representation
должно зависеть от реализации.
П ри м е ча н и е 3 — Данная сущность может быть использована как trimmed_curve.
Определения атрибутов:
SELF\trimmed_curve.basis_curve: линия, в пределах которой берется отрезок;
SELRtrimmed_curve.trim_1; первая точка вычленения, описываемая либо как декартова точка
cartesian_point (point_1}, либо действительным значением параметра {parameter_1 = I,). либо обоими
способами,
SELF\trimmed_curve.trim_2: вторая точка вычленения, описываемая либо как декартова точка
cartesian_point (point_2), либо как действительное значение параметра (parameter_2 = t2), либо обоими
способами.
SELRtrimmed_curve.sense_agreement: флажок, указывающий, согласуется или нет направление
обхода отрезка кривой с направлением обхода базовой кривой;
51