In refining the DFD during transaction mapping it is unnecessary to create a PSPEC since only
the CSPEC is relevant to this type of architectural style.
Verification and validation are the processes in which we check a product against its --------- and the ----
----------- of the users who will be using it