- Tytuł:
- A system for deduction-based formal verification of workflow-oriented software models
- Autorzy:
- Klimek, R.
- Data publikacji:
- 2014
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
formal verification
deductive reasoning
temporal logic
semantic tableaux
workflow pattern
logical primitive
generating logical specification
business model
BPMN
formalna weryfikacja
wnioskowanie dedukcyjne
logika temporalna
tablica semantyczna
wzorzec przepływu pracy
generowanie specyfikacji logicznej
model biznesowy - Pokaż więcej
- Źródło:
-
International Journal of Applied Mathematics and Computer Science; 2014, 24, 4; 941-956
1641-876X
2083-8492 - Dostawca treści:
- Biblioteka Nauki
Artykuł