Bankový systém v UML

Takmer každý bankový príklad na internete dá triede Account atribút balance a dvojicu metód, ktoré k nemu pripočítavajú a odpočítavajú. Je to prvá vec na zmazanie, lebo žiadna účtovná kniha, ktorá musí byť auditovateľná, takto nefunguje.

Uložený zostatok je druhá kópia faktu, ktorý zápisy už obsahujú. Dve kópie jedného faktu si môžu protirečiť, a keď si protirečia - čiastočné zlyhanie, opakovaná správa, migrácia - nedá sa zistiť, ktorá je správna, lebo zostatok nenesie históriu, oproti ktorej by sa dal overiť. Odvodiť ho, ako balance() na obrázku vyššie, robí rozpor nemožným už konštrukciou.

Kompozícia vpravo na hlavičkovom obrázku je druhé nosné rozhodnutie. Transaction je zložená z práve dvoch zápisov - násobnosť hovorí 2, nie 0..* - a konvenciou dávajú v súčte nulu: peniaze z jedného účtu odídu a na druhý prídu.

Nakresliť asociáciu z Account rovno na Account, čo je zjavný prvý pokus, stratí obe tie polovice. Stratí atomicitu, lebo dve šípky môžu existovať nezávisle a prevod sa nemôže stať napoly. A stratí referenciu: transakcia je vec, na ktorú sa zákazníci pýtajú podľa čísla, rozporujú ju a stornujú, čo znamená, že je entitou, a nie čiarou medzi dvoma inými.

Plný kosoštvorec potom hovorí, že zápisy zomrú s transakciou. To je správne a je to zároveň obmedzenie pre kód: nemôžete zmazať polovicu prevodu a storno je nová transakcia, nie úprava tej starej. Sprievodca diagramom tried má kompletné pravidlá, kedy je kosoštvorec plný.

Stavový automat si zaslúži miesto vždy, keď má objekt životný cyklus, od ktorého závisia pravidlá, a pohyb peňazí je archetyp. Hodnotou nie sú tie štyri boxy, ktoré by uhádol každý - sú to prechody, ktoré chýbajú.

Settled nemá odchádzajúci prechod. To hovorí, že vyrovnaný prevod je konečný a storno je iná transakcia, nie zmena stavu - čo je to isté tvrdenie, aké spravila kompozícia na doménovom modeli. Rejected ho nemá tiež: schválenie po zamietnutí začína nový prevod. Stráže robia zvyšok explicitným - reject [limit]pomenúva prečo, a diagram, ktorý hovorí len "reject", necháva dôvod na čitateľa.

Pre to isté spracovanie inej domény pozrite e-shopovú architektúru, namodelovanú. Pre dátovú polovicu účtovnej knihy - kľúče, kardinalitu a schému pod tým - pozrite ER diagramy.