Repository logo

Browsing by Subject "system veriflcation"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Modeling BPMN diagrams within XTT2 framework. A critical analysis
    (Wydawnictwa AGH, 2011) Ligęza, Antoni; Maślanka, Tomasz; Kluza, Krzysztof; Nalepa, Grzegorz Jacek
    W pracy przedstawiono wstępne wyniki badań możliwości integracji narzędzi opisu procesów biznesowych z narzędziami do modelowania reguł. Proponowane podejście pozwala na translację bazowych diagramów BPMN do postaci regułowej w modelu XTT2, oraz na analizę i wykonanie otrzymanych reguł za pomocą silnika regułowego HeaRT. Badania ukierunkowane są na budowę logicznego, deklaratywnego modelu procesów BPMN, który pozwalałby na ich formalną analizę.