ПОИСК Статьи Чертежи Таблицы Методы задания спецификаций процессов из "Консалтинг при автоматизации предприятий " Спецификация процесса (СП) используется для описания функционирования процесса в случае отсутствия необходимости детализировать его с помощью брВ (т.е. если он достаточно невелик, и его описание может занимать до одной страницы текста). Фактически СП представляют собой алгоритмы описания задач, выполняемых процессами множество всех СП является полной спецификацией системы. СП содержат номер и/или имя процесса, списки входных и выходных данных и тело (описание) процесса, являющееся спецификацией алгоритма или операции, трансформирующей входные потоки данных в выходные. Известно большое число разнообразных методов, позволяющих задать тело процесса, соответствующий язык может варьироваться от структурированного естественного языка или псевдокода до визуальных языков проектирования (типа РЪО У-форм и диаграмм Насси-Шиейдермаиа) и формальных компьютерных языков. [c.57] Ситуация, когда символ данных является одновременно входным и выходным, может быть описана двумя способами либо символ описывается два раза с помощью ВХОД и ВЫХОД, либо один раз с помощью ВХОДВЫХОД. [c.58] Иногда в СП задаются пред- и пост-условия выполнения данного процесса. В пред-условии записываются объекты, значения которых должны быть истинны перед началом выполнения процесса, что обеспечивает определенные гарантии безопасности для пользователя. Аналогично, в случае, наличия пост-условия гарантируется, что значения всех входящих в него объектов будут истинны при завершении процесса. [c.58] Ниже рассматриваются некоторые наиболее часто используемые методы задания спецификаций процессов. [c.58] Вернуться к основной статье