Jacek
Marciniak
Student,
Politechnika
Warszawska
Temat: Weryfikacja BPMN - prośba o literaturę
Witam!Zbieram materiały na temat metod weryfikacji BPMN. Wiadomo, błędy składniowe są zwykle dobrze wyłapywane przez dostępne na rynku narzędzia. Tym co mnie interesuje jest weryfikacja semantyczna. Czy możecie polecić jakąś literaturę czy artykuły na temat różnych prób utworzenia modelu semantycznego dla BPMN? Mówi się np. o mapowaniu na sieci Petriego. Z drugiej strony widziałem też gdzieś opracowane jakieś modele logiczne dla BPMN. Jakie są Wasze spostrzeżenia w tym zakresie?