This paper is concerned with automatic checking of design constraints. It continues the work presented in (Palacz, 2015) by proposing an enhanced version of the constraint specification language described in that paper. The language is based on many-sorted first-order logic formulas - the proposed extension adds five new operators which calculate aggregates of single values. This considerably increases the expressive power of the language and makes it applicable to a wider range of design tasks.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
This paper presents a computer system supporting conceptual design. The knowledge about designs saved in hierarchical hypergraphs allows the system to check if the current state of designs fulfills predefined constraints. The constraints are stored in external files, in the form of logic formulas. Originally, first-order logic was used; this paper proposes replacing it with many-sorted first-order logic.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.