Методика построения функциональной модели. Источники информации. Начало моделирования. Цикл «писатель-читатель». Прекращение моделирования. Интервью

Вид материала

Интервью

Содержание Цель, точка зрения, границы модели – главные вопросы Конечный автомат Счетный триггер Конечные автоматы с памятью IDEF – Integration DEFinition IDEF5 – Ontology Description Capture

Подобный материал:

• Лекция: Анализ и моделирование функциональной области внедрения ис: Основные понятия, 234.94kb.
• 1. Введение. Основные понятия моделирования Общая характеристика проблем моделирования., 38.29kb.
• Математическое моделирование (вопросы к экзамену), 89.87kb.
• О Конкурса асов компьютерного 3D-моделирования среди предприятий, использующих в проектных, 9.87kb.
• Аннотация дисциплины «основы математического моделирования», 29.01kb.
• 1. Основные понятия теории моделирования, 279.51kb.
• С. В. Рощин, С. М. Аракелян, 45.21kb.
• Программа курса «Основы математического моделирования» Осень 2007, 25.35kb.
• Лекция №16, 127.41kb.
• Задачи : 1 дать понятие математической модели, раскрыть суть метода математического, 187.03kb.

Цель, точка зрения, границы модели – главные вопросы

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

Конечный автомат

Конечный автомат Мили {S, I, O, sS, T:SIS, A:SIO} S – множество состояний I – множество стимулов (внешних воздействий на КА O – множество действий («выходов») s – начальное состояние T – функция переходов A – функция действий КА может быть представлен таблицей Состояние Стимулы 1 2 3 4 5 1 2 2 1 2 3 4 3 2 3 4 1 4
Или графом:

Счетный триггер

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

Конечные автоматы с памятью

Конечный автомат может воздействовать на связанную с ним память. Это может быть память фиксированного объема, но часто конечные автоматы используются со стеком. В последнем случае значение на вершине стека (или функция от него) может выступать как стимул.
Как реализовать вычисление факториала конечным автоматом? Как реализовать вычисление полинома конечным автоматом?

IDEF – Integration DEFinition

IDEF0 – Function Modeling IDEF1 – Information Modeling IDEF1x – Data Modeling IDEF2 – Simulation Modeling IDEF3 – Process Description Capture IDEF4 – Object-oriented Design IDEF5 – Ontology Description Capture IDEF6 – Design Rationale Capture IDEF7 – Information System Audit Method IDEF8 – User Interface Modeling IDEF9 – Scenario-driven Info Sys Design Spec IDEF10 – Implementation Architecture Modeling IDEF11 – Information Artifact Modeling IDEF12 – Organization Modeling IDEF13 – Three Schema Mapping Design IDEF14 – Network Design

Семейство стандартов IDEF активно развивалось с середины 1970-х. В настоящее время используются 4 стандарта семейства (IDEF0, IDEF1, IDEF1x, IDEF3) и методология стандарта IDEF5. Остальные области моделирования перекочевали в UML.