Temat: declarative business process modeling

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "declarative business process modeling" wg kryterium: Temat

Wyświetlanie 1-4 z 4

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
Autorzy:: Montali, M.
Torroni, P.
Chesani, F.
Mello, P.
Alberti, M.
Lamma, E.
Data publikacji:: 2010
Słowa kluczowe:: static verification
business process management
declarative business process modeling
Abductive Logic Programming (ALP)
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: BPMN – a logical model and property analysis
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: Business Process Modeling Notation
BPMN
business rules
rule-based systems
eXtended Tabular Trees
XTT
XTT2
system verification
formal analysis
declarative model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: BPMN – a logical model and property analysis
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Słowa kluczowe:: Business Process Modeling Notation
BPMN
business rules
rule-based systems
eXtended Tabular Trees
XTT
XTT2
system verification
formal analysis
declarative model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Modeling BPMN diagrams within XTT2 framework. A critical analysis
Autorzy:: Ligęza, A.
Maślanka, T.
Kluza, K.
Nalepa, G. J.
Data publikacji:: 2011
Słowa kluczowe:: notacja modelowania procesów biznesowych
BPMN
reguły biznesowe
systemy regułowe
diagramy XTT
XTT2
weryfikacja systemów
analiza formalna
model deklaratywny
Business Process Modeling Notation
business rules
rule-based systems
eXtended Tabular Trees
XTT
System Veriflcation
formal analysis
declarative model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-4 z 4

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "declarative business process modeling" wg kryterium: Temat