A formal approach towards systems modeling and verification

The paper introduces a new formal model, ASET (advanced system emulation technique), for systems modeling and verification. Our model tries to maintain, as far as possible, the structured approach, simplicity and hierarchy of DFDs (data flow diagrams) as well as drawing upon the control flow structure of Petri nets. This model clearly demarcates between data and control flow and simultaneously allows us to specify data dependent control conditions. Special consideration has been given towards modeling distributed systems, concurrent processes and integrity testing. A grammar for our model is also provided with some built in error checks.