PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  XTT2
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Proposal of Visual Modeling and Verification of Business Rules Using HaDEs Environment
Kaczor K.
Pomiary Automatyka Robotyka
|
2011
|
R. 15, nr 12
188-189
EN
Business Rules allow for defining statements that describe some aspects of the business and precise what can be done in a specific situation. Our work concerns the efficient design and verification of the rule bases. In our previous research the HaDEs framework for visual design and verification of the rule bases was developed. This framework provides an on-line verification during integrated hierarchical design process.The main goal of this paper is to propose the HaDEs tools as effectively tool for Business Rules modeling.
PL
Reguły biznesowe pozwalają na zdefiniowanie niektórych aspektów działania przedsiębiorstwa i postępowania w danej sytuacji. Badania mają na celu stworzenie efektywnej metody projektowania i weryfikacji reguł biznesowych. Dotychczas opracowano zintegrowane środowisko wizualnego projektowania i weryfikacji reguł. Projektowanie reguł składa się z trzech faz podczas których wytwarzany model jest nieustannie monitorowany pod kątem poprawności składniowej i logicznej. Głównym celem tego artykułu jest pokazanie, w jaki sposób wytworzone środowisko projektowania reguł może zostać użyte do projektowania reguł biznesowych.
2
Content available Modeling of Business Processes Consistent with Business Rules
Kluza K.
Pomiary Automatyka Robotyka
|
2011
|
R. 15, nr 12
194-195
EN
Business Process Modeling Notation constitute a powerful and widely accepted visual language for modeling business processes. Such processes can help organizations to manage with complex tasks and control the workflow. Practical implementation of such processes is a challenging task. Business Rules constitute one of the promising solutions for this issue. They can provide declarative specification of domain knowledge encoded into a BPMN model as well as describe the lower level business logic, coherent with business processes. Moreover, tools supporting Business Rules can provide a flexible runtime environment. This paper presents overview of our results for the research concerning modeling Business Processes that are consistent with Business Rules. It briefly describes the possibilities for such integration and the outlook for the future works.
PL
Notacja BPMN stanowi istotne narzędzie w dziedzinie wizualnego modelowania procesów biznesowych. Procesy biznesowe mogą pomóc organizacji w zarządzaniu zadaniami i kontroli przepływu pracy. W praktyce jednak implementacja takich procesów jest skomplikowanym zadaniem. Jednym z obiecujących rozwiązań w tym zakresie są reguły biznesowe. Mogą one stanowić deklaratywną specyfikację warstwy logiki biznesowej i opisywać zarówno logikę zakodowaną na diagramie BPMN, jak i dodatkową specyfikację reguł. Narzędzia związane z regułami biznesowymi są wspierane przez środowiska do ich uruchamiania. W artykule zaprezentowano przegląd wybranych rezultatów badań nad modelowaniem procesów biznesowych spójnych z regułami biznesowymi. Pokrótce zostały opisane możliwości integracji oraz perspektywy dalszych prac.
3
Content available BPMN – a logical model and property analysis
Ligęza A.
Decision Making in Manufacturing and Services
|
2011
|
Vol. 5, no. 1-2
57-67
EN
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.
4
Content available Modeling BPMN diagrams within XTT2 framework. A critical analysis
Ligęza A., Maślanka T., Kluza K., Nalepa G. J.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2011
|
T. 15, z. 2
299-306
EN
This paper presents preliminary results of the research concerning integration of Business Processes designed with BPMN models with Business Rules represented with the use of an expressive rule language XTT2. The presented solution allows for translation of BPMN diagram restricted to main control flow objects to XTT2. Business Rules. The translated rules can be executed using HeaRT, a rule engine for XTT2. The main goal of the research is to build a logical declarative model of BPMN-modeled process suitable for formal analysis.
PL
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ę.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.