- Tytuł:
-
Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
Deduction-based Formal Verification of Business Models using Temporal Logic - Autorzy:
- Klimek, R.
- Data publikacji:
- 2011
- Wydawca:
- Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
- Tematy:
-
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:
- Biblioteka Nauki
Artykuł