Atributy předmětu
Anotace:
Student se seznámí s teoretickým základem založeným na kombinaci objektově orientovaného přístupu a teorie konečných automatů za účelem modelování, analýzy, verifikace a validace uživatelských procesů při získávaní funkčních požadavků na softwarové aplikace. Budou zkoumány dostupné techniky EPC, BPMN a BORM pro formulaci zadání, které dále pokračuje modelováním v UML. Student se naučí používat tyto techniky a nástroje v prvních fázích životního cyklu softwarového díla. Součástí výzkumu bude možnost zavedení nových softwarových metrik, aby bylo možno vyjádřit kvalitu takové analýzy.
Osnova:
- teorie automatů, Mealyho a Mooreův automat, vztah k objektovému modelu výpočtu
- prostředky UML pro modelování požadavků
- standard BMMN a EPC
- standard BORM
- Object Behavioral Analysis, modelovací karty
- verifikace a validace, scénářově orientovaný přístup
- softwarové metriky ve fázi analýzy požadavků
Klíčová slova:
konečné automaty, BORM, BPMN, EPC, Object Behavioral Analysis
Studijní literatura a studijní pomůcky:
[1] Fowler, M., UML Distilled: A Brief Guide to the Standard Object Modeling Language, Addison-Wesley, 2013
[2] Pohl, K., Requirements Engineering, Springer Science, 2010
