Задачи лабораторной работы № 3

Лабораторная работа № 3

Обследование предметной области. Построение спецификаций процессов на диаграммах потоков данных (DFD)

Инструкция по теоретической составляющей занятия

Способы задания спецификаций процессов

Спецификация процесса(СП) употребляется для описания функционирования процесса в случае отсутствия необходимости детализировать его при помощи DFD (т.е. если он довольно невелик, и его описание может занимать до Задачи лабораторной работы № 3 одной странички текста).

Практически СП представляют собой методы описания задач, выполняемых процессами; огромное количество всех СП является полной спецификацией системы.

СП содержат номер и/либо имя процесса, списки входных и выходных данных и тело (описание) процесса, являющееся спецификацией метода либо операции, трансформирующей входные потоки данных в выходные.

Понятно огромное число Задачи лабораторной работы № 3 различных способов, позволяющих задать тело процесса, соответственный язык может варьироваться от структурированного естественного языкаили псевдокода до зрительных языков проектирования (типа FLOW-форми диаграмм Насси-Шнейдермана)и формальных компьютерных языков.

Независимо от применяемой нотации спецификация процесса должна начинаться с ключевика (к примеру, @СПЕЦПРОЦ). Требуемые входные и выходные данные должны быть Задачи лабораторной работы № 3 специфицированы последующим образом:

@ВХОД =

@ВЫХОД =

@ВХОДВЫХОД = ,

где - соответственное имя из словаря данных.

Эти ключевики должны употребляться перед определением СП, к примеру:

@ВХОД = СЛОВА ПАМЯТИ

@ВЫХОД = ХРАНИМЫЕ ЗНА ЧЕНИЯ

@СПЕЦПРОЦ

Для всех СЛОВ ПАМЯТИ выполнить: Распечатать ХРАНИМЫЕ ЗНАЧЕНИЯ

Ситуация, когда знак данных является сразу входным и выходным, может быть описана 2-мя методами: или Задачи лабораторной работы № 3 знак описыва­ется дважды при помощи @ВХОД и @ВЫХОД, или один раз при помощи @входвыход.

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

Спецификации должны удовлетворять последующим требованиям:

• для каждого процесса нижнего уровня должна существовать одна и только одна спецификация;

• спецификация должна определять метод преобразования входных потоков в выходные;

• нет необходимости (на данном шаге Задачи лабораторной работы № 3) определять способ реализации этого преобразования;

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

• набор конструкций для построения спецификации должен быть обычным и стандартным.

Разглядим более нередко применяемый способ задания спецификаций процессов.

Структурированный естественный язык

Структурированный естественный языкприменяется Задачи лабораторной работы № 3 для читабельного, серьезного описания спецификаций процессов. Он является разумной композицией строгости языка программирования и читабельности естественного языка и состоит из подмножества слов, организованных в определенные логические структуры, арифметических выражений и диаграмм.

В состав языка входят последующие главные знаки:

• глаголы, направленные на действие и используемые к объектам;

• определения, определенные на хоть Задачи лабораторной работы № 3 какой стадии проекта ПО (к примеру, задачки, процедуры, знаки данных и т.п.);

• предлоги и союзы, применяемые в логических отношениях;

• общеупотребительные математические, физические и технические определения;

• арифметические уравнения;

• таблицы, диаграммы, графы и т.п.;

• комменты.

Управляющие структуры языка имеют один вход и один выход. К ним относятся Задачи лабораторной работы № 3:

1) поочередная конструкция:

ВЫПОЛНИТЬ функция1

ВЫПОЛНИТЬ функция2

ВЫПОЛНИТЬфункцияЗ

2) конструкция выбора:

ЕСЛИ ТО

ВЫПОЛНИТЬ функция1

По другому

ВЫПОЛНИТЬ функция2

КОНЕЦЕСЛИ

3) итерация:

ДЛЯ

ВЫПОЛНИТЬ функция

КОНЕЦДЛЯ

либо

ПОКА

ВЫПОЛНИТЬ функция

КОНЕЦПОКА

При использовании структурированного естественного языка приняты последующие соглашения:

1) Логика процесса выражается в виде композиции поочередных конструкций, конструкций выбора и итераций.

2) Ключевики ЕСЛИ, ВЫПОЛНИТЬ, По другому и т.д. должны быть Задачи лабораторной работы № 3 написаны большими знаками.

3) Слова либо фразы, определенные в словаре данных, должны быть написаны большими знаками.

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

5) Логика процесса должна быть выражена верно и недвусмысленно.

Ниже приведен пример спецификации процесса: Получить пароль

@ВХОД = ВВЕДЕННЫЙ ПАРОЛЬ Задачи лабораторной работы № 3

@ВХОД = ПАРОЛЬ

@ВЫХОД = СООБЩЕНИЕ

©ВЫХОД = КОРРЕКТНЫЙ ПАРОЛЬ

@СПЕЦПРОЦ 1.1 ПОЛУЧИТЬ ПАРОЛЬ

ВЫПОЛНИТЬ выдать СООБЩЕНИЕ клиенту, запрашивающее ввод пароля принять ВВЕДЕННЫЙ ПАРОЛЬ

ДОТЕХПОРПОКА ВВЕДЕННЫЙ ПАРОЛЬ = ПАРОЛЬ либо были изготовлены три пробы ввода

КОНЕЦВЫПОЛНИТЬ

ВЫПОЛНИТЬ установить флаг КОРРЕКТНЫЙ ПАРОЛЬ в случае равенства

@ КОНЕЦ СПЕЦИФИКАЦИИ ПРОЦЕССА 1.1


Цель лабораторных работ № 1-3: получить способности проведения анализа предметной области

Задачки лабораторной работы Задачи лабораторной работы № 3 № 3

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

2. Выстроить спецификации процессов, отраженных на диаграмме потоков данных (А0 – Оформление продукта для реализации), используя структурированный естественный язык.

Ход работы:

3. Проанализировать процессы, отраженные на диаграмме А0 - оформление продукта для реализации, на предмет следующей детализации либо построения спецификации каждого из их:

1. Анализ приобретенного заказа Задачи лабораторной работы № 3 (А1).

2. Оформление заказа юридического лица (А2).

3. Оформление документов для реализации продукта (А3).

4. Формирование счет-факутры (А4)

5. Оформление отчетности (А5).

Задание: по процессам А2-А5 выстроить спецификации процессов.

Пример спецификации процессов по процессу А1 Анализ приобретенного заказа представлен на рис.1.


zadachi-izucheniya-disciplini.html
zadachi-izucheniya-urovnya-zhizni.html
zadachi-izuchit-literaturu-po-teme-metodicheskoj-razrabotki-uchitivat-individualnie-i-psihologicheskie-osobennosti-detej.html