Модели представления иус

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

Предлагается ввести пять основных моделей представления для проектирования ПО информационно-управляющих систем (ИУС):

• Функциональная модель;

• Модель данных;

• Модель пользовательского интерфейса;

• Структура программных модулей;

• Логика .

Первые две модели представления в качестве основных используют следующие виды_элементов:

• дейсвие;

• данное;

• система;

• объект;

• атрибут.

Функциональная модельориентирована на описание систем, способных выполнять действия над данными.

Модель данныхориентирована на описание структуры информационных объектов, их функциональных взаимосвязей, необходимых для поддержания заданных действий.

Указанные две модели взаимно дополняют друг друга, разрабатываются совместно и не требуют привлечения понятий языков программирования высокого уровня.

Модель пользовательского интерфейсаориентирована на описание взаимодействий пользователей с проектируемой системой, состава форм представления и команд управления заданиями.

Структура программных модулейориентирована на описание статической структуры программой системы и опирается на понятия языков программирования высокого уровня.

Логикаориентирована на описание потока управления (последовательности выполнения ) операторов программной системы и действий пользователей.

Понятия предметной области

Все определения взяты из [23]

Предмет -всякая материальная вещь, объект познания. В логике предметом называется все то, на что направлена наша мысль; все то, что может быть как-то воспринято, названо и т.д. В этом смысле предметом считаются также суждение, понятие, умозаключение. В математической логике предметы обозначаются символами - предметными константами и предметными переменными.

Предметная переменная- такая переменная, которая принимает значения из множества, для которого определен соответствующий предикат.

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

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

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

Атрибут(лат. attributum - предназначенное, наделенное, присовокупленное) - неотъемлемое, существенное, необходимое свойство, признак предмета или явления, без которого предмет или явление не могут существовать, быть самим собой; в отличие от случайных, преходящих, несущественных свойств, или акциденций.

Определение понятия- в самом широком смысле есть логическая операция, в процессе которой раскрывается содержание понятия. Основным приемом определения понятия является прием - определение через ближайший род и видовое отличие.

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

Категория- предел обобщения понятия.

Содержание понятия- отображенная в нашем сознании совокупность свойств, признаков и отношений предметов, ядром которой являются отличительные существенные свойства, признаки, отношения.

Оъем понятия- (англ. concept extension) отображенное в нашем сознании множество (класс) предметов, каждый из которых имеет признаки, зафиксированные в исследуемом понятии.

Номинальное определение(лат. definito nominalis) - объяснение значения слова, имени или термина, обозначающего данное понятие. В номинальных определениях семантического характера указывается предмет, обозначаемый вновь созданным термином. Например, терминСистемотехникаобозначает направление системного проектирования, которое связано с разработкой и исследованием автоматизированных систем обработки данных . . Тогда определение понятия “Системотехника” будет выглядеть следующим образом: “Системотехникаесть направление системного проектирования, которое связано с разработкой и исследованием автоматизированных систем обработки данных .

Генетическое определение понятия- определение, в котором указывается на происхождение предмета, понятие которого определяется на тот способ, которым данный предмет создается. Например,

Непредикативное определение- определение, в котором определяемый предмет вводится через множество, к которому данный предмет принадлежит в качестве элемента ( aA).

Операциональное определение- определение тех или иных объектов через описание специальных для них операций ( ob.A call w.P1; P2; P3;........Pm).

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

Семантическое определение- определение, в котором определяемое понятие представляет собой некоторое выражение, а определяющее понятие - отображает некоторый предмет. Например, “Слово “ромб” означает параллелограмм с равными сторонами”.

Определение через абстракцию- определение, в котором свойства множеств определяются через установление отношения равенства между изучаемыми множествами. Например, “Число (кардинальное) класса x есть класс всех классов, находящихся в отношении взаимно-однозначного соответствия с классом x”.

Определение понятия через отношение- логический прием определения понятий заключающийся в том, что определяемое понятие соотносится с другим понятием.

Определение понятия через ближайший род и видовое отличие- логический прием определения понятия, который заключается в том, что отыскивается ближайший род для определяемого понятия и отличительные признаки, имеющиеся только у данного вида предметов и отсутствующих у всех других видов предметов, входящих в этот ближайший род . Например, терминальные элементы сети определяются следующим образом: TA = not VPr(A nown A)GPr(A nown A)

Связи между понятиями:

• причина и следствие

• род и вид

• тождество и различие

Классификация(лат. classis - группа, facio - делаю) - распределение предметов какого-либо рода на классы согласно наиболее существенным признакам, присущим предметам данного рода и отличающим их от предметов других родов, при этом каждый класс занимает в получившейся системе определенное постоянное место и, в свою очередь, делится на подклассы.

Класс(лат. classis - группа) - совокупность объектов, имеющих один или несколько общих характеристических признаков.

Общие признаки класса- признаки, в которых предметы класса сходны.

Элементы класса- предметы, входящие в класс.

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

Отношениеотличается от свойства тем, что отнесение его (в виде логического сказуемого) в мысли к тому или иному предмету порождает не истину или ложь, а бессмыслицу.

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

Сущность- совокупность всех необходимых сторон и связей (законов), свойственных вещи, взятых в их естественной взаимозависимости, в их жизни, в отличие от явления, которое есть обнаружение сущности через свойства и отношения, доступные чувствам.

Сущность всегда находится в единстве с явлением, ибо она в явлениях не только обнаруживается, но через явления существует, действует.

Сущность активна!!!!!

Признаки, дополняющие определение:

• указание

• объяснение

• описание

• характеристика

• сравнение

• различение

Определения через абстракцию- определение, в котором свойства

множеств определяются через установление отношения равенства между изучаемыми множествами.

Определяющее понятие

Определяемое понятие