Verification of Design, Technological and Operational Errors of Situational Class in Computer-Aided Design

In this article the new method to verify workflow diagrammatic models (WFDM) and dynamic P
^TEMP
model have been developed and studied, which provide manual operations automation such as verification for design, technological and operational errors of a situational class with the properties required proof based on the WFDM interpretation. The key method features are the situational class of design, technological and operational errors occurring in the hardware and software computer-aided design, plenty of visual languages available such as EPC, Basic Flowchart Shapes/UML AD, BPMN, IDEF3, IDEF5 and the ValueOfProperty calculation in WFDM graphic words with situational errors revealing. The WFDM verification results shows a time reduction when verifying WFDM by specialists (designers, technologists and operators) due to the replacement of manual labor in the analysis with the proof of the required properties with an automated one, a reduction in the number of the design, technological and operational errors of the situational class as a violation of the hardware and software computer-aided design requirement for compliance standards. The proposed method is used in a joint-stock company Ulyanovsk Mechanical Plant (Ulyanovsk, Russian Federation) in the company's products hardware and software development.