Element | DEMO 2 | DEMO 3 | DEMO 4 |
Aspect Models | |||
Interaction Model (IAM) Interstriction Model (ISM) | Construction Model (CM) | Cooperation Model (CM) | |
Process Model (PM) | Process Model (PM) | Process Model (PM) | |
State Model (SM) | Fact Model (FM) | Fact Model (FM) | |
Action Model (AM) | Action Model (AM) | Action Model (AM) | |
Representations | |||
CM | IAM: ATD ISM: ABD | OCD | CSD BAT |
PM | PSD/TPD | PSD (worst) TPD | PSD TPD |
FM | OFD (ORM) OPL | OFD (class) | OFD (class) DFS |
AM | ARS | ARS WIS | ARS WIS |
AM SL | on/if | when/assess/ if | when/assess/ if |
CM/FM | BCT (ISM) TRT | BCT TPT | BCT TPT |
PM/FM | IUT | CUT | |
AM/Impl | AFM | ADT | |
Theories | |||
Operation Axiom Transaction Axiom Distinction Axiom Composition Axiom Organisation Theorem CRISP Factual Knowledge Model Whitebox/Blackbox Designing (SDP) | PSI ALPHA OMEGA PRISMA FI MU TAO BETA (GSDP) | PSI ALPHA OMEGA DELTA FI MU TAO BETA | |
Aantal transactie stappen | 20+1 | 20+1 | 18+1 |