- •Модуль 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. Резюме
Слайд 54. Знаки композиции
Пояснения
Поскольку EXPRESS-схемы могут быть достаточно большими, то и представляющие их диаграммы на языкеEXPRESS-Gмогут занимать много места и не умещаться на одной странице. В этом случае связанные между собой строительные блоки модели могут оказаться на различных страницах. Для заданияссылок между страницамивEXPRESS-G-модели используютсязнаки композиции. Другим применением знаков композиции может бытьспецификация интерфейса между двумяEXPRESS-схемами.
В случае ссылок между страницами, знаки связи, которые должны соединять строительные блоки, находящиеся на различных страницах, заканчиваются скругленными прямоугольниками. Такие знаки композиции присутствуют на обеих страницах. На слайде показан пример диаграммы, занимающей две страницы. На первой странице находится сущность «person», имеющая атрибут «name», а представление атрибута – определяемый тип «label» – находится на второй странице. Знак композиции на странице 1 содержит номер той страницы, на которую идет ссылка, номер ссылки на данную страницу (на случай, если на данную страницу идет несколько ссылок), а также имя элемента, на который идет ссылка. Знак композиции на странице 2 содержит номер страницы, на которой он находится, номер ссылки на данную страницу и список страниц, с которых есть ссылки на данный строительный блок информационной модели (в данном случае, этот список содержит лишь одну страницу).
В случае спецификации интерфейса между схемами в качестве знака композиции выступает скругленный прямоугольник, заключенный в обычный прямоугольник. Для интерфейса типа USEвнешний прямоугольник задается обычной линией, а для интерфейса типаREFERENCEвнешний прямоугольник задается пунктирной линией. Внутри скругленного прямоугольника находится имя чужой схемы и имя строительного блока, с которым устанавливается интерфейс. Данный знак композиции используется в случае, если, например, какая либо сущность данной схемы имеет в качестве представления своего атрибута сущность чужой схемы, как в случае с сущностью «line» и ее атрибутом «start», показанными на данном слайде.
Слайд 55. Диаграмма уровня сущности
Пояснения
Диаграммы уровня сущностипредназначены для спецификацииотдельной EXPRESS-схемы. Они содержат строительные блоки, присутствующие в схеме, т.е. типы данных и сущности, а также связи между ними. На слайде представленаEXPRESS-G-диаграмма уже рассмотренной (только в текстовом виде) схемы «library».
Три сущности, объявленные в схеме «library» показаны соответствующими знаками определения. Отношение наследования, существующее между ними, показано жирной линией, направленной от сущности «issue» (предок) к сущностям «book» и «journal» (потомки).
Наличие атрибутов у сущностей схемы показано соответствующими знаками связи (простыми линиями), связывающими сущность и тип, представляющий область значений ее атрибута. Знак связи имеет метку, обозначающую имя атрибута. Вычисляемый атрибут «price» сущности «issue» имеет дополнительную метку «DER». Ограничения на область экземпляров сущности не показаны.
Область значений атрибута «book_authors» сущности «book» определена в другой схеме, что показано соответствующим знаком композиции, обозначающим имя схемы «people» и имя сущности «author». Тот факт, что сам атрибут представлен множеством, обозначено меткой знака связи «S[1:?]» (S– от словаSET, т.е. множество). Обозначения других агрегированных типов: массив –A(ARRAY); список –L(LIST); мультимножество –B(BAG).
Атрибут «journal_issue» сущности «journal» представлен определяемым типом «issue_variants», заданным на другой странице модели, что обозначено соответствующим знаком композиции. Сам тип «issue_variants» задан на основе составного типаSELECT(это показано пунктирным прямоугольником с двойным левым краем), область значений которого состоит из составного типаENUMERATION(представлен определяемым типом «months») и определяемого типа «journal_number», заданного на основе простого типа «INTEGER».