Студопедия — СРЕДСТВА ОПИСАНИЯ ПРЕДМЕТНОЙ ОБЛАСТИ
Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

СРЕДСТВА ОПИСАНИЯ ПРЕДМЕТНОЙ ОБЛАСТИ






 

Средства описания ПО должны достаточно просто интерпретироваться людьми и одновременно быть точными, структурированными и обозримыми (конечными). Кроме того, они должны быть универсальны, чтобы описывать любые предметные области. Поэтому в теории БД говорят о концептуальном, или информационно-логическом, моделировании ПО. Дадим некоторые определения.

Тип – это понятие, объединяющее все объекты данного вида. В отличие от объекта, существующего в конкретный момент в конкретном месте, тип не имеет пространственно-временной локализации. Типы обеспечивают объединение точек зрения различных пользователей в данной ПО. Тип не является множеством объектов. С объектом он находится не в отношении «часть-целое», а в отношении «абстрактное-конкретное». Каждый тип имеет уникальное имя, например «ПРЕПОДАВАТЕЛЬ». В каждом состоянии предметной области любой объект может иметь один или несколько типов.

Между типами существуют отношения. Отношение частичного порядка обозначается как IS-A: «Если тип Т1 IS-A Т2, то в любой момент времени t объект типа Т1 является объектом типа Т2». Если множество типов конечно, то его можно изобразить в виде ориентированного графа, вершины которого помечены именами типов, а дуги соединяют те вершины, которые находятся в отношении IS-A, см. рисунок.

 

       
 
 
   
Концептуальная семантическая модель

 

 


 

Над типами можно совершать некоторые операции, например равенства, объединения или включения. Эти операции порождают новые типы, семантика которых определяется совместимостью или несовместимостью исходных типов. Весь арсенал операций позволяет представить достаточно сложные структуры предметной области, например: «ЧЕЛОВЕК = МУЖЧИНА È ЖЕНЩИНА».

Имя – тип лингвистических объектов. С каждым типом Т связывается одноместный предикат Р(Т) на множестве объектов типа ИМЯ, который выделяет множество имен объектов типа Т.

Отношение INSTANCE-OF – показывает, что одни объекты являются множествами, состоящими из других объектов. Объект о называется простым, если множество объектов о1, для которых name(о1) INSTANCE-OF name(о), является пустым. В противном случае объект о называется составным. Необходимо заранее разделить объекты на составные и простые.

Композиционный объект – множество элементов, связанных отношением, отличным от отношения принадлежности. Пример композиционного объекта – дата, состоящая из года, месяца и числа.

Ограничение целостности. Исключает противоречия в концептуальных моделях. Например, недопустимость включения одного и того же студента о в две различные группы о1 и о2 может быть записана следующим образом:

оÎ Т, о1Î Т1, о2Î Т2, name(о)INSTANCE-OF name(о1),

name(о) INSTANCE-OF name(о2),

о12,

где утверждается, что включение в разные группы окажется фиктивным, т. к. в этом случае группы о1 и о2 должны быть одним и тем же объектом.

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

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

 







Дата добавления: 2014-11-10; просмотров: 801. Нарушение авторских прав; Мы поможем в написании вашей работы!



Практические расчеты на срез и смятие При изучении темы обратите внимание на основные расчетные предпосылки и условности расчета...

Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...

Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...

Вычисление основной дактилоскопической формулы Вычислением основной дактоформулы обычно занимается следователь. Для этого все десять пальцев разбиваются на пять пар...

Задержки и неисправности пистолета Макарова 1.Что может произойти при стрельбе из пистолета, если загрязнятся пазы на рамке...

Вопрос. Отличие деятельности человека от поведения животных главные отличия деятельности человека от активности животных сводятся к следующему: 1...

Расчет концентрации титрованных растворов с помощью поправочного коэффициента При выполнении серийных анализов ГОСТ или ведомственная инструкция обычно предусматривают применение раствора заданной концентрации или заданного титра...

Закон Гука при растяжении и сжатии   Напряжения и деформации при растяжении и сжатии связаны между собой зависимостью, которая называется законом Гука, по имени установившего этот закон английского физика Роберта Гука в 1678 году...

Характерные черты официально-делового стиля Наиболее характерными чертами официально-делового стиля являются: • лаконичность...

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

Studopedia.info - Студопедия - 2014-2024 год . (0.012 сек.) русская версия | украинская версия