@misc{Klimek_Radosław_Analiza_2011,
 author={Klimek, Radosław and Ernst, Sebastian},
 year={2011},
 rights={Wszystkie prawa zastrzeżone (Copyright)},
 description={Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics; 2011; Nr 212, s. 169-183},
 publisher={Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu},
 language={pol},
 abstract={Artykuł nakreśla relacje między modelowaniem procesów biznesowych (BPM) oraz architektury zorientowanej na usługi (SOA) a metodami planowania (AI Planning), z uwzględnieniem aspektów takich jak modelowanie dziedzin problemów planowania za pomocą narzędzi modelowania procesów biznesowych czy automatycznej aranżacji usług w procesy za pomocą metod planowania. Nakreślono również nowy kierunek badawczy, związany z formalną weryfikacją dziedzin problemów planowania za pomocą wnioskowania dedukcyjnego, w oparciu o wzorce projektowe van der Aalsta i in. dla modeli biznesowych. Formalna weryfikacja realizowana jest z wykorzystaniem wnioskowania dedukcyjnego metodą tablic semantycznych. Własności modelu opisane są w logice temporalnej czasu liniowego.},
 title={Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych},
 type={artykuł},
 keywords={modelowanie biznesowe, planowanie, logika temporalna, formalna weryfikacja, metoda tablic semantycznych, business modeling, planning, temporal logic, formal verification, semantic tableaux method},
}