ISSN 1991-2927
 

ACP № 1 (59) 2020

Author: "Aleksej Borisovich Shamshev"

Petr Ivanovich Sosnin, [e-mail: mars@mv.ru ]P. Sosnin

Aleksej Borisovich Shamshev, [e-mail: mars@mv.ru ] A. Shamshev

System of Means for Control of Semantics of Design Tasks and Design Solutions 21_8.pdf

The article presents a system of means ensuring the control of semantics used and materialized in design tasks thanks to operational comparison with reality whish underlines a project of computer-aided system. The control is performed in a version whish is called predicate and ontological control of design-task statement and design-solutions definition. The potential of the technique of predicate and ontological control contributes to detection of semantic errors, control of design process as well as development of project ontology and reference natural and professional language which should be used by developers of computer-aided systems. The technique of predicate and ontological control is implemented by means of software (C#, .Net 3.5, .Net Remouting) in the form of a set of facilities embedded in tool environment of modeling WIQA [1] within a system of extensions (plug-in) which serves solution of logical and linguistic tasks in design of computer-aided systems.

Computer-aided design, control of semantics, design tasks, design solutions, system engineering.

2010_ 3

Sections: Computer-aided design systems

Subjects: Artificial intelligence, Computer-aided engineering.


© FRPC JSC 'RPA 'Mars', 2009-2018 The web-site runs on Joomla!