Диссертация (1145120), страница 69

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 69)

Формально это означает, что атрибут HTPin.number имеет целочисленное значение, лежащее в диапазоне от 1 до количества контактов в разъёме. Каждый контакт в типе разъёма обладает уникальным номером. Формально этовыражается тем, что атрибут HTPin.number, связанный с экземпляром HTConnectorимеет уникальное значение в этом экземпляре.Класс HTSignalОписаниеЭтот класс описывает сигналы типа разъёма. Предполагается, что с контактами типа разъёма связаны определённые сигналы, характеризующиеся направлением и описанием. Сигналы не разделяются между различными контактами.АтрибутыДанный класс имеет следующие атрибуты: direction: TDirectionOrientation — направление сигнала в разъёме; сигнал можетбыть входящим, исходящим и двунаправленным; description: string — описание сигнала.АссоциацииДанный класс имеет следующие ассоциации: с классом HTPin, множественность ассоциации со стороны HTSignal равна 0..*, тоесть каждый контакт может обладать сигналами или не обладать.419Класс PLMModelОписаниеОбъект этого класса предназначен для описания аппаратной части отдельных систем семейства.

Каждой конкретной системе семейства соответствует один объект данного класса. Поскольку целевых систем в семейство входит много, то и экземпляров такой конструкции может быть много в рамках одного семейства PLSpecification.АтрибутыДанный класс имеет следующие атрибуты: plmManager: string — имя менеджера, ответственного за разработку данной системы; doc: TDocumentationPackage — пакет документации, описывающий систему семейства.АссоциацииДанный класс имеет следующие ассоциации: с классом PLMElement, множественность ассоциации со стороны класса PLMModelравна 1, конец ассоциации со стороны PLMModel помечен агрегированием, то естьPLMModel является агрегатом, включающим в себя PLMElement, и каждый элемент PLMElement принадлежит ровно одной модели; c классом PLSpecification, множественность ассоциации со стороны классаPLMModel равна 0..*, то есть в семейство может входить несколько конкретныхсистем, имеющих собственную аппаратную часть, а может и не одной (например,инфраструктуру семейства определили, но ни одной системы ещё не создали).Класс PLMElementОписаниеЭтот класс является предком для различных экземпляров оборудования и описывает ихобщие свойства.АссоциацииДанный класс имеет следующие ассоциации: с классом PLMModel, множественность ассоциации со стороны класса PLMElementравна 0..*, то есть в PLMModel может быть несколько элементов, а может не бытьни одного.Класс PLMConnectorОписаниеЭкземпляры класса обозначают реальные разъёмы экземпляров оборудования.

В этихобъектах хранится информация о соединениях в аппаратуре. Например, если один блоксоединён с другим через некоторые разъёмы с помощью определённого кабеля, то в соответствующем разъёме одного блока будет храниться информация о соединении.420АссоциацииДанный класс имеет следующие ассоциации: с классом HTEntityConnector, множественность ассоциации со стороныPLMConnector равна 0..*, то есть один размещённый тип разъёма (экземпляр классаHTEntityConnector) может использоваться в разъёмах разных экземпляров оборудования; если размещённый тип разъёма не используется в разъёме PLMConnector,это означает, что у типа, к которому относится тип размещённого разъёма, нет ниодного экземпляра оборудования; с классом PLMEntity, множественность ассоциации со стороны PLMConnector(роль connector) равна 1..*, то есть у каждого экземпляра оборудования PLMEntityдолжен быть хотя бы один разъем; с классом PLMConnector (ассоциация Connection), множественность концов ассоциации со сторон leftPart и rightPart равна 0..1, это означает, что два разъёма можносоединить, при этом один из участников будет левым концом соединения, а второй— правым.Ограничения Два разъёма (экземпляры класса HTConnector) можно соединить ассоциациейConnection только в том случае, если они обладают одинаковым типом и разнымсвойством "вилка/розетка".

Для каждого типа оборудования это общее правиломожет уточняться. Запрещено соединять только разъёмы блоков с разъёмами блоков, разъёмы остальных аппаратных узлов разрешено соединять друг с другом произвольным образом. Оба конца ассоциации Connection связаны с классом PLMConnector, но при соединении двух разъёмов (экземпляры класса PLMConnector) в каждом из них используется лишь один конец экземпляра ассоциации (leftPart или rightPart), а значениевторого конца должно быть пустым. Например, если разъёмы A и В соединены, иA.leftPart == B, то A.rightPart == null, B.rightPart == A, B.rightPart == null.Класс PLMNoteПредокКласс PLMElement.ОписаниеЭтот класс предназначен для добавления комментариев к чертежам.АтрибутыДанный класс имеет следующие атрибуты: text: string — текст комментария.Класс PLMEntityПредокКласс PLMElement.ОписаниеЭтот класс описывает конкретные экземпляры оборудования (устройства, кабели, переходники и т.д.), из которых составляется чертёж принципиальной схемы.421АтрибутыДанный класс имеет следующие атрибуты: number: string — номер элемента в некотором формате.АссоциацииДанный класс имеет следующие ассоциации: с классом HTEntity, множественность ассоциации со стороны PLMEntity равна 0..*,то есть может существовать любое количество экземпляров одного типа, а можетни одного; с классом PLMConnector, множественность ассоциации со стороны PLMEntity равна 1, конец ассоциации со стороны PLMEntity помечен агрегированием, то естьPLMEntity является агрегатом, включающим в себя разъёмы (экземпляры классаPLMConnector), и каждый разъем может принадлежать ровно одному экземпляруоборудования.Ограничения Элемент типа PLMEntity должен содержать только корректные (c точки зрения типов) разъёмы, то есть каждый разъем должен обладать типом, описанным в типовой информации элемента.

Там же должно быть указано количество разъёмов элемента.Класс PLMBlockПредокКласс PLMEntity.ОписаниеЭтот класс описывает блоки (микросхемы, устройства и пр. аппаратные узлы), из которыхсоставляется чертёж системы и, впоследствии, сама система. Каждый блок имеет тип (ассоциация предка, класса PLMEntity, с классом HTEntity).АтрибутыДанный класс имеет следующие атрибуты: name: string — каждому блоку можно присвоить имя; блоки одного типа могут обладать разными именами. В силу специфики предметной области такой атрибутнужен только для блоков.Ограничения Каждый блок (экземпляр класса PLMBlock) должен быть связан с соответствующим типом оборудования — то есть экземпляром класса HTEntity, чей атрибутHTEntity::type имеет значение THardware.Класс PLMCableПредокКласс PLMElement.422ОписаниеЭтот класс описывает кабели, которые используются при составлении чертежа системы и,впоследствии, самой системы.

Каждый кабель имеет тип, определяемый через ассоциациюпредка, класса PLMEntity, с классом HTEntity.Ограничения Каждый кабель (экземпляр класса PLMCabel) должен быть связан с соответствующим типом оборудования (экземпляром класса HTEntity). Формально это выражается тем, что атрибут type у соответствующего экземпляра класса HTEntity должениметь значение THardware.Класс PLMAdapterПредокКласс PLMElement.ОписаниеЭтот класс описывает переходники, которые используются при составлении чертежа системы и, впоследствии, самой системы. Каждый переходник имеет тип, определяемый спомощью ассоциации предка, класса PLMEntity, с классом HTEntity.Ограничения Каждый переходник (экземпляр класса PLMAdapter) должен быть связан с соответствующим типом оборудования — экземпляром класса HTEntity.

Формально этовыражается тем, что атрибут type у соответствующего экземпляра класса HTEntityдолжен иметь значение THardware.Adapter.Класс PLMSplitterПредокКласс PLMElement.ОписаниеЭтот класс описывает разветвители, которые используются при составлении чертежа системы и, впоследствии, самой системы.

Каждый разветвитель имеет тип, определяемыйчерез ассоциацию предка, класса PLMEntity, с классом HTEntity.Ограничения Каждый разветвитель (экземпляр класса PLMSplitter) должен быть связан с соответствующим типом оборудования (экземпляром класса HTEntity). Формально этовыражается тем, что атрибута type у соответствующего экземпляра класса HTEntityдолжен иметь значение THardware.Splitter.Класс TDocumentationPackageОписаниеЭтот класс описывает пакет многоязыковой документации.423АссоциацииДанный класс имеет следующие ассоциации: с классом TDocumentation, множественность ассоциации со стороныTDocumentationPackageравна1,конецассоциациисостороныTDocumentationPackage помечен агрегированием, то есть TDocumentationPackageявляется агрегатом, включающим в себя документацию на конкретном языкеTDocumentation, и каждая такая документация принадлежит ровно одному пакету.Класс TDocumentationОписаниеЭтот класс описывает пакет документации на конкретном языке.АтрибутыДанный класс имеет следующие атрибуты: lang: string — язык документации; title: string — название элемента; purpose: string — назначение; description: string — описание.АссоциацииДанный класс имеет следующие ассоциации: с классом TDocumentationPackage, множественность ассоциации со стороныTDocumentation равна 1..*, то есть каждый пакет должен содержать документациюхотя бы на одном языке.Далее приведено описание типов данных, используемых в спецификации языка.Тип THardwareКаждый тип оборудования принадлежит одному из видов: блок (Block), кабель (Cable),переходник (Adapter), разветвитель (Splitter):THardware = enum {Block, Cable, Adapter, Splitter}Тип TDirectionКаждый сигнал имеет определенное направление: входящий (In), исходящий (Out),двунаправленный (Bidirectional):TDirection = enum {In, Out, Bidirectional}Тип TOrientationКаждый разъем — экземпляр класса PLMConnector — находится в одной из конфигураций: “вилка” (Male), “розетка” (Female):TOrientation = enum {Male, Female}424Приложение 2.

Характеристики

Список файлов диссертации