- Tytuł:
- Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
- Autorzy:
- Klimek, R.
- Data publikacji:
- 2011
- Słowa kluczowe:
-
modele biznesowe
BPMN
SOA
wzorce projektowe
logika temporalna
wnioskowanie dedukcyjne
metoda tablic semantycznych
generowanie specyfikacji
business models
workflow design patterns
temporal logic
deductive reasoning
semantic tableaux method
generating specifications - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł