Verification Method for Diagrammatic Workflow Specifications in Computer-Aided Design

Authors have developed a new graphic temporal automaton RVTI grammar with internal memory, which introduces temporal relations in the Alain interval logic notation format and extends a CAD linguistic support. Based on the RVTI grammar, new method of diagrammatic workflow specifications, or workflows verification has been developed, which reveals 20 types of temporal and structural classes of semantic errors and develops a languages processing theory. The method increases the workflows control automation, reduces the design errors number, especially structural and temporal classes of errors, and contributes to the success of project solutions in the radio electronics hardware and software computer-aided design. The method differs from the existing ones in the linear computational complexity, a smaller amount of memory spent during verification.