Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования


https://doi.org/10.18255/1818-1015-2012-4-128-143

Полный текст:


Аннотация

Рассматривается метод нахождения инвариантов модели бизнес-процесса построенной в нотации eEPC. Метод основан на преобразовании исходной модели в сеть Петри, расчёте инвариантов и дальнейшем обратном преобразовании полученных инвариантов сети Петри в модель eEPC. Предлагается оптимизированный метод нахождения инвариантов сети Петри, основанный на определении возможных значений отдельных элементов (и их групп) векторов инвариантов и их дальнейшей комбинации. Полученные инварианты бизнес-процесса могут быть использованы для построения сценариев интеграционного тестирования внедряемой на предприятии АСУ.

Об авторах

Михаил Георгиевич Доррер
Сибирский Государственный Технологический университет
Россия
канд. техн. наук, доцент каф. системотехники


Виталий Валерьевич Курохтин
Сибирский Государственный Технологический университет
Россия
аспирант каф. системотехники


Список литературы

1. Jensen Kurt. Coloured Petri Nets – Basic Concepts, Analysis Methods and Practical Use. Vol. 2: Analysis Methods. Berlin; Heidelberg; New York: Springler, 1997.

2. Доррер Г.А. Моделирование вычислительных систем: Учебное пособие для студентов направлений 552800 и 654600. Красноярск: СибГТУ, 2003. 188 с.

3. Доррер М.Г. Алгоритм преобразования моделей бизнесс-процессов в одноцветные сети Петри // Моделирование и анализ информационных систем. 2010. Т. 17, №2. С. 5—16.

4. Котов В.Е. Сети Петри. М.:Наука,1984.

5. Шеер А.-В. Бизнес-процессы. Основные понятия. Теория. Методы. М.: Весть-МетаТехнология, 1999. 182 с.


Дополнительные файлы

Для цитирования: Доррер М.Г., Курохтин В.В. Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования. Моделирование и анализ информационных систем. 2012;19(4):128-143. https://doi.org/10.18255/1818-1015-2012-4-128-143

For citation: Dorrer M.G., Kurokhtin V.V. Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios. Modeling and Analysis of Information Systems. 2012;19(4):128-143. (In Russ.) https://doi.org/10.18255/1818-1015-2012-4-128-143

Просмотров: 225

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)