
- •Модуль 5. «Язык express»
- •Слайд 1.Введение
- •Слайд 2. Требования к обмену данными
- •Пояснения
- •Слайд 3. Общие сведения о языке
- •Пояснения
- •Слайд 4. Основные свойства языка
- •Пояснения
- •Слайд 5. Объектно-ориентированный подход
- •Пояснения
- •Слайд 6. Основной элемент языка
- •Пояснения
- •Слайд 7. Компоненты языка
- •Слайд 14. Двоичный литерал
- •Слайд 21. Тип данных и сущность
- •Пояснения
- •Слайд 22. Простой тип
- •Пояснения
- •Слайд 23. Числовой тип (number)
- •Пояснения
- •Слайд 24. Вещественный тип (real)
- •Пояснения
- •Слайд 25. Целочисленный тип (integer)
- •Слайд 29. Двоичный тип (binary)
- •Пояснения
- •Слайд 30. Агрегированный тип
- •Пояснения
- •Слайд 31. Массив (array)
- •Пояснения
- •Слайд 32. Список (list)
- •Пояснения
- •Слайд 33. Множество (set)
- •Пояснения
- •Слайд 34. Мультимножество (bag)
- •Пояснения
- •Слайд 35. Многомерные агрегированные типы
- •Пояснения
- •Слайд 36. Поименованный тип
- •Пояснения
- •Слайд 37. Составной тип
- •Пояснения
- •Слайд 38. Понятие
- •Пояснения
- •Слайд 39. Схема (schema)
- •Пояснения
- •Слайд 40. Константы (constant)
- •Пояснения
- •Слайд 41. Определяемый тип (type)
- •Пояснения
- •Слайд 42. Правило области значений определяемого типа
- •Пояснения
- •Слайд 43. Сущность (entity)
- •Пояснения
- •Слайд 44. Атрибут сущности
- •Пояснения
- •Слайд 45. Локальное правило сущности
- •Пояснения
- •Слайд 46. Правило уникальности
- •Пояснения
- •Слайд 47. Правила области значений
- •Пояснения
- •Слайд 48. Наследование
- •Пояснения
- •Слайд 49. Интерфейс между схемами
- •Пояснения
- •Слайд 50. Пример информационной модели
- •Пояснения
- •Слайд 51. Основные принципы express-g
- •Пояснения
- •Слайд 52. Знаки определения
- •Пояснения
- •Слайд 53. Знаки связи
- •Пояснения
- •Слайд 54. Знаки композиции
- •Пояснения
- •Слайд 55. Диаграмма уровня сущности
- •Пояснения
- •Слайд 56. Диаграмма уровня схемы
- •Пояснения
- •Слайд 57. Программная поддержка express
- •Пояснения
- •Слайд 58. Резюме
Слайд 51. Основные принципы express-g
Пояснения
Помимо текстовой формы, которая является основной, язык EXPRESSимеет играфическое представление. Это представление называетсяEXPRESS-Gи определено в том же самом разделеSTEP, что и сам язык –ISO10303-11.EXPRESS-Gподдерживает не все компоненты языкаEXPRESS, а лишь некоторое ихподмножество. В это подмножество включены: типы данных, сущности, связи между сущностями (в том числе, и отношение наследования) и интерфейсы между схемами.EXPRESS-Gне обладает возможностями для представления ограничений на области значений типов и области экземпляров сущностей. Это представление также не поддерживает спецификацию алгоритмовEXPRESS(т.е. функций и процедур) и глобальных правил.
Графическое представление EXPRESS-Gсостоит иззнаков, с помощью которых выражается информационная модель. ВEXPRESS-Gсуществует три типа знаков:
Знаки определения;
Знаки связи;
Знаки композиции.
Слайд 52. Знаки определения
Пояснения
Знаки определенияEXPRESS-Gиспользуются для обозначения поддерживаемыхпонятийязыкаEXPRESS: простых типов данных, составных типов данных, определяемых типов данных, сущностей и схем.
Простые типыязыкаEXPRESSобозначаются прямоугольниками, у которых правая сторона представлена двойной линией. Внутри прямоугольника находится имя простого типа.
Составные типыязыкаEXPRESSобозначаются пунктирными прямоугольниками, у которых боковые стороны (левая для типаSELECTи правая дляENUMERATION) представлены двойной линией. Внутри прямоугольника находится имя типа.EXPRESS-Gне содержит средств для представления элементов типаENUMERATION, а элементы типаSELECTпоказываются путем обозначения связи между этим типом и типами или сущностями, участвующими в его формировании.
Определяемые типыязыкаEXPRESSобозначаются просто пунктирным прямоугольником, содержащим внутри себя имя типа.
Представление сущностивEXPRESS-Gаналогично представлению определяемого типа, за исключением того, что прямоугольник обозначается обычными линиями.
Наконец, EXPRESS-схемаобозначается прямоугольником, который разделен на две части. В верхней части находится имя схемы, а нижняя часть остается пустой.
Слайд 53. Знаки связи
Пояснения
Знаки связиEXPRESS-Gпредназначены для обозначения различных типовсвязеймежду строительными блокамиEXPRESS-схемы. Знаки связи представлены линиями, соединяющими знаки определения. Вид линии задает конкретный тип связи.
Пунктирная линияпредназначена для обозначения связи между сущностью и ее необязательным атрибутом. Еще одним предназначением пунктирной линии является обозначение интерфейса типа ссылка (REFERENCE) между двумя схемами.
Жирная линияиспользуется для обозначения связи между сущностями в рамках отношения наследования. Она соединяет сущности-предки с сущностями-потомками.
Наконец, простая линияобозначает вEXPRESS-Gвсе остальные типы связи.
Каждая связь в информационной модели является двунаправленной, но одно из направлений являетсяосновными обозначается кружком на конце линии. Например, если сущностьAимеет в качестве представления своего атрибута сущностьB, то основным направлением связи является направление отAкB. Таким образом, кружок будет находиться на стороне сущностиB. В отношении наследования основным направлением является направление от предка к потомку.