Abstrakt
V této kapitole popisujeme naše zkušenosti s modelováním zadání CoCoME pomocí hierarchického komponentového systému SOFA 2.0. Řešení zahrnuje modelování statické struktury, specifikaci chování, verifikaci komunikační kompatibility, verifikaci korespondence modelu chování a implementace, deployment, a modelování výkonosti systému a využití prostředků. Během modelování jsme museli čelit několika technickým problémům, jejichž řešení spočívalo v modifikacích původní architektury.