ГОСТ Р ИС0 18629-41—2011
Предметом рассмотрениячастей с 41 по49 комплексастандартов ИС0 18629 не являются:
- определения иаксиомы для понятий, определенных ИС0 18629-11 и ИС018629-12:
- элементы, не определенные в соответствии с ИСО 18629-11 и ИС018629-12;
- пользовательские расширения.
5 Структура настоящего стандарта
Фундаментальные теории, описанные в настоящем стандарте:
- недетерминированныедействия: перестановочная структура ветвей;
- недетерминированныедействия: складнаяструктура ветвей;
- недетерминированныедействия: структура ветвей иупорядочивание;
- недетерминированныедействия: повторяющаяся структура ветвей;
- спектр действий: перестановочныедеревья действий;
- спектрдействий: уплотняющая структура ветвей;
- спектрдействий, деревьядействий и переупорядочивание:
- спектр и включениесоставляющего дерева;
- встраивающие ограничениядлядействий;
- скелетныедеревьядействий;
- неделимыедействия: параллелизм вверх;
- неделимыедействия: параллелизм вниз;
- спектр неделимых действий;
- входные условиядлядействий.
На рисунке 1показаны соотношения между указанными расширениями и теориями ядра (см. ИСО
18629-12). используемыми для спецификации дефинициональных расширений в настоящем стандарте.
Стрелки указывают на зависимости между расширениями настоящего стандарта и ИСО 18629-12. Все
теории, определенные в настоящем стандарте, являются расширениямидля ИСО 18629-12, который сам
является расширением ИСО 18629-11.
П р и м е ч а н и е — Полную диаграмму взаимозависимости между расширениями ИСО 18629-12 см. в
ИСО 18629-12:2005 (подраздел 5.1).
Рисунок 1 — Дефинициональные расширения ИСО 18629-41
5