Lehrgebiet InformationssystemeFB Informatik |
||
|
Handling Functional Constraints of Technical Modeling Systems in a KBMS EnvironmentS. Deßloch, C. Hübel, N.M. Mattos, B. SutterUniversity of Kaiserslautern, Department of Computer ScienceP.O. Box 3049, D-6750 Kaiserslautern, Germany phone: (631) 205-3284 e-mail:dessloch@informatik.uni-kl.de Full paper (postscript version, compressed by gzip)AbstractIn this paper, we introduce the technical modeling approach which attempts to incorporate more semantics of the design process into the internal object representation. The most important feature of technical modeling can be characterized by the term functional constraints. They restrict the design process in such a way that the design yields a consistent component part fulfilling the functional objectives. Special emphasis will be given to the applicability of Knowledge Base Management Systems (KBMS) to support technical modeling. Therefore, we introduce a concrete KBMS and present the modeling of technical objects and operations by an example taken from the area of shaft design. In particular, we present our ideas for modeling, and organizing the functional constraints in the knowledge base.in: International Journal of Systems Automation: Research and Applications (SARA), 1, 1991, pp. 347-367 |