Formal Models (UML and Petri nets are not included in CS1530 syllabus)
UML: The Unified Modelling Language (The Bad)
(For more details, please also read online introduction on UML)
Introduction to Petri Nets (The Ugly)
(For more details read Variations of Petri Nets).
Note: DFD diagram is good because of its simplicity.
UML diagrams are bad because of the complexity. However
UML diagrams are comprehensive and very useful. UML
is covered in CS1631.
Petri Nets are theoretically sound and mathematically
manipulatable, but ugly to the novice and uninitiated.
Petri Net is covered in CS2310 based upon this classnote.
