RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Model. Anal. Inform. Sist., 2012, Volume 19, Number 4, Pages 128–143 (Mi mais239)  

Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios

M. G. Dorrer, V. V. Kurokhtin

Siberian State Technological University, Krasnoyarsk

Abstract: The article describes a method of finding business process invariants basing on a given model in eEPC notation. The method uses an original translation process to build a Petri net corresponding to the source eEPC model, to find its invariants and to translate them back into the eEPC notation. An optimized method of finding Petri net invariants is also offered, based on estimating possible values for separate vector elements (and a group of elements) and combining these values with each other to receive a Petri net invariant. The resulting business process invariants may be used to create integration testing scenarios for an implemented automation system.

Keywords: invariant, Petri net, optimization, integration tesing.

Full text: PDF file (320 kB)
References: PDF file   HTML file
UDC: 519.876.5
Received: 25.07.2012

Citation: M. G. Dorrer, V. V. Kurokhtin, “Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios”, Model. Anal. Inform. Sist., 19:4 (2012), 128–143

Citation in format AMSBIB
\Bibitem{DorKur12}
\by M.~G.~Dorrer, V.~V.~Kurokhtin
\paper Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
\jour Model. Anal. Inform. Sist.
\yr 2012
\vol 19
\issue 4
\pages 128--143
\mathnet{http://mi.mathnet.ru/mais239}


Linking options:
  • http://mi.mathnet.ru/eng/mais239
  • http://mi.mathnet.ru/eng/mais/v19/i4/p128

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Number of views:
    This page:367
    Full text:116
    References:20

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020