LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Туркін, Ігор Борисович; Національний аерокосмічний університет «ХАІ» імені М.Є. Жуковського; Михнич, Борис Борисович; Національний аерокосмічний університет «ХАІ» імені М.Є. Жуковського (2012)
Publisher: National Aviation University
Languages: Russian
Types: Unknown
Subjects: Spacecraft; test automation; software; formal verification methods; workflow model; Petri net., 004.415.5, Космический аппарат; автоматизация испытаний; программное обеспечение; формальные методы верификации; модель потоков работ; сеть Петри., Космічний апарат; автоматизація випробувань; програмне забезпечення; формальні методи верифікації; модель потоків робіт; мережа Петрі.
Features of application of Windows Workflow Foundation technology on software development for test bench automatization of such spacecraft subsystem. There was shown that application of given technology allows the technologist to describe directly computational process flow, using base run-units (executed units) or templates in the form of working streams. This increases clearness and simplifies further system modification. The mechanism of verification of working threads of the applications constructed under specification Windows Workflow Foundation and capable to change business logic at a performance stage is considered. The mechanism of transformation of working threads in the notation of Petri nets offered and the example of such transformation is resulted. For verification it is offered to use a mathematical apparatus of Petri nets, analyzing properties faultlessness closed equivalent Petri net. Definition of the requirements characterizing faultlessness Petri net is made. Рассматриваются особенности применения технологии Windows Workflow Foundation при разработке программного обеспечения для автоматизации стендовых испытаний подсистем космических аппаратов. Показано, что применение данной технологии позволяет технологу непосредственно описать ход вычислительного процесса, используя базовые исполняемые блоки или шаблоны в виде потоков работ, что повышает информативность и упрощает дальнейшие модификации системы. Рассматривается механизм верификации приложений, построенных по спецификации Windows Workflow Foundation и способных изменять бизнес-логику на этапе выполнения. Предложен механизм преобразования процесса в нотации сетей Петри. Для верификации предлагается использовать математический аппарат сетей Петри, анализируя свойства бездефектности замкнутой эквивалентной сети Петри. Дано определение требований, характеризующих бездефектную сеть Петри. Розглядаються особливості застосування технології Windows Workflow Foundation при розробці програмного забезпечення для автоматизації стендових випробувань підсистем космічних апаратів. Показано, що застосування даної технології дозволяє технологу безпосередньо описати хід обчислювального процесу, використовуючи базові блоки або шаблони у вигляді потоків робіт, що підвищує інформативність і спрощує подальші модифікації системи. Розглядається механізм верифікації програм, побудованих за специфікацією Windows Workflow Foundation і здатних змінювати бізнес-логіку під час виконання. Запропоновано механізм перетворення робочих потоків у нотацію мереж Петрі і наведений приклад такого перетворення. Для верифікації запропоновано використовувати математичний апарат мереж Петрі, шляхом аналізу властивостей бездефектної замкнутої еквівалентної мережі Петрі. Дано визначення вимог, що характеризують бездефектну мережу Петрі.
  • No references.
  • No related research data.
  • No similar publications.