Suchergebnisse

In this paper we show the possibility to formalize the design process by means of one type of non-standard logic - modal logic [1]. The type chosen for this study is modal logic S4. The reason for this choice is the ability of this formalism to describe modeling of the individual discrete steps of design, respecting necessity or possibility types of design knowledge.

This article deals with the problem of the mutual influence between software systems used in enterprise environment and enterprise integration processes. The position of CAD data and CAx systems in the integrated environment of manufacturing enterprises is clarified. As a consequence, the key role of CAx systems used in those companies is emphasized. It is noted that the integration of CAD data is nowadays only on a secondary level, via primarily integrated PDM systems. This limitation is a reason why we are developing a unified communication model focused on product-oriented data. Our approach is based on Internet technologies, so we believe that is independent enough. The proposed system of communication is based on a simple request-replay dialogue. The structure of this model is open and extensible, but we assume supervision supported by an Internet portal.