Edición de la obra Modeling Design Objects and Processes
| Autor | Takaaki Yagiu |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 1991 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Páginas | 327 |
| Formato | [electronic resource] / |
| ISBN-13 | 9783642844225, 9783642844201 |
| ISBN-10 | 3642844227, 3642844200 |
| OCLC | 851390908 |
| Serie | Computer Graphics: Systems and Applications · Computer Graphics: Systems and Applications |
| Número de Cutter | Y12m |
|---|
This thorough and comprehensive monograph provides a linguistic framework in which to describe an information model of design objects and processes in a discrete manufacturing environment. The author gives a theoretically sound and practically useful foundation for the model by means of a technical and philosophical analysis of past and current methods. The book features: - A comprehensive list of CAD database requirements, - Use of the full capacity of first order predicate logic, - Formalization of design requirements as a schema or formal theory and definition of the realization as an extensional database or interpretation, - The dynamic process of design conceived as a series of evolving interpretations of a given formal theory. The key novelty in the book is the definition of a formal language for describing both the static and dynamic aspects of design within the setting of first order predicate logic. The book provides a theoretically well-founded and practically powerful conceptual basis on which a wide range of CAD systems can be developed in a methodical way.