Wyniki wyszukiwania - BazTech

Ograniczanie wyników

3 2011

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: declarative model

Sortuj według:

Ogranicz wyniki do:

Deklaratywny model mobilnego systemu inspekcyjnego

Bocewicz G., Banaszak Z.

Pomiary Automatyka Robotyka

2011

R. 15, nr 2

420-430

Rozważany problem planowania działań grupy robotów mobilnych w środowisku pomieszczeń zamkniętych sformułowany został w modelu deklaratywnym języka OZ Mozart. Dla zadanego zbioru zmiennych decyzyjnych charakteryzujących środowisko pomieszczeń zamkniętych i przemieszczające się w nim roboty oraz zbioru ograniczeń wiążących te zmienne, poszukiwana jest marszruta umożliwiająca w określonym horyzoncie czasu inspekcję zadanej liczby pomieszczeń. Proponowane podejście zilustrowane zostało na załączonych przykładach.

The problem considered concerns an inspection aimed mission planning of a mobile robots team. The Oz Mozart language is used as declarative modeling framework. For a given set of decision variables describing the robots and their indoor environment as well as a set of linking them constraints a set of routes allowing robots to inspect a given amount of places in assumed time horizon is sought. Illustrative examples explain the approach proposed.

BPMN – a logical model and property analysis

Ligęza A.

Decision Making in Manufacturing and Services

2011

Vol. 5, no. 1-2

57-67

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.

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

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.

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ę.