Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования
Аннотация
Рассматривается метод нахождения инвариантов модели бизнес-процесса построенной в нотации 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
Просмотров: 510
Послать статью по эл. почте 