Repository logo

Browsing by Subject "formal analysis"

Filter results by typing the first few letters
Now showing 1 - 3 of 3
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    A new approach to the rule-based systems design and implementation process
    (2004) Nalepa, Grzegorz J.
    The paper discusses selected problems encountered in practical rule-based systems (RBS) design and implementation. To solve them XTT, a new visual knowledge representation is introduced. Then a complete, integrated RBS design, implementation and analysis methodology is presented. This methodology is supported by a visual CASE tool called Mirella.The main goal is to move the design procedure to a more abstract, logical level, where knowledge specification is based on use of abstract rule representation. The design specification is automatically translated into Prolog code, so the designer can focus on logical specification of safety and reliability. On the other hand, system formal aspects are automatically verified on-line during the design, so that its verifiable characteristics are preserved.
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    BPMN - a logical model and property analysis
    (2011) Ligęza, Antoni
    Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, declarative model for BPMN. Such model should enable formal analysis of desired properties referring to correct operation of Business Processes modeled with use of BPMN.
  • 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ę.