Analityczne i wykonywalne modele
Obserwuję wiele nieporozumień z tworzeniem modeli i samym modelowaniem. Generalnie modele mogą być modelami abstrakcyjnymi lub wykonywalnymi. Te pierwsze są także nazywane analitycznymi. Większość notacji ma dodatki (rozszerzenia) zatytułowane Execution Semantics…