عنوان

Modeling Design Objects and Processes

(Number (ISBN

3642844200

(Number (ISBN

9783642844201

Number

b574545

Title Proper

Modeling Design Objects and Processes

General Material Designation

[Book]

First Statement of Responsibility

edited by Takaaki Yagiu.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1991

Specific Material Designation and Extent of Item

(x, 327 pages 82 illustrations)

Series Title

Computer graphics--systems and applications.

Text of Note

0 Introduction.- 0.1 Primary Organization of a CAD System.- 0.2 Current State of Integration and Distribution.- 0.3 Roles of a Database.- 0.4 Toward Product Modeling.- 0.5 The Subject Matter.- 0.6 An Example.- 0.7 On the Formalness and Abstractness of Language.- 0.8 On the General Theory of Design.- 0.9 Program for Succeeding Chapters.- References.- 1 Requirements of CAD Databases.- 1.1 Structures and Semantics.- 1.2 Dynamic Aspect.- 1.3 Version Control.- References.- 2 Criticism of Past and Current Data Models.- 2.1 Graphics Packages in the 1960s.- 2.1.1 Ring Structure, Typically ASP.- 2.1.2 LEAP, an Associative Language.- 2.1.3 Set-theoretic Data Structure (STDS).- 2.2 Ad hoc Developments of CAD Databases.- 2.3 The Network (CODASYL) Model and Its Extensions.- 2.3.1 Structure and Basic Functions.- 2.3.2 Criticism.- 2.4 Relational Model and Its Extensions.- 2.4.1 Structure and Basic Functions.- 2.4.2 Criticism.- 2.4.3 Semantic Extensions of Relational Model.- 2.4.4 Applications of the Relational Model to CAD.- References.- 3 First Order Theory and Its Interpretation.- 3.1 First Order Language.- 3.2 Formal Theory.- 3.3 Interpretation of First Order Theory.- 3.3.1 Fundamental Concepts and the Completeness of FOPL.- 3.3.2 Morphism between Interpretations.- 3.4 Undecidability and Incompleteness.- 3.5 Clausal Form and the Herbrand Model.- References.- 4 Criticism of Logical Approaches.- 4.1 Pertinencies of Logic to Computer Sciences and Applications.- 4.2 Theory or Interpretation?.- 4.2.1 Information Systems as Formal Theories.- 4.2.1.1 General Discussion.- 4.2.1.2 Logic Programming (LP).- 4.2.1.3 Abstract Data Typing (ADT).- 4.2.2 Criticism.- 4.3 Meanings of Logical Formulas.- 4.3.1 Deductive Data Modeling.- 4.3.2 Derivation Rules, Integrity Constraints or What?.- 4.4 Single or Multiple Interpretations?.- 4.5 The Universe of Interpretation.- 4.6 What Kind of Logic?.- 4.6.1 Semantic Network (SN).- 4.6.2 Criticism.- 4.6.3 Network Represented as a Logical Structure.- 4.6.4 Limitations of FOPL.- References.- 5 Philosophical Discussions.- 5.1 Philosophical Reinterpretations of Conceptual Frameworks.- 5.1.1 Entity-Centered and Subject-Predicate Weltanschauung.- 5.1.2 Intensions and Extensions.- 5.2 Criticism of Underlying Weltanschauungen.- 5.3 An Alternate Weltanschuung.- 5.3.1 Characteristics of Our Universe of Discourse.- 5.3.2 The Paradigms: A Methodological Basis.- References.- 6 The Fundamental Structure of the Design Object Model.- 6.1 Physical Object, Theory and Interpretation.- 6.2 Qualifications on Theories and Interpretations.- 6.3 Illustrative Examples.- References.- 7 The Model Description Language (MDL).- 7.1 General.- 7.2 Theory Construction.- 7.2.1 Declarations and Definitions.- 7.2.2 Procedural Statements.- 7.3 Interpretation.- 7.3.1 Declarations and Definitions.- 7.3.2 Procedural Statements.- 7.4 Illustrative Examples.- References.- 8 Modeling the Design Process.- 8.1 The Concept of Minimal Extension.- 8.1.1 General.- 8.1.2 Fundamental Procedure.- 8.2 The Expansion of Model Description Language (MDL).- 8.2.1 Syntax and Semantics.- 8.2.2 Illustrative Examples.- 8.3 Controlling the Model Development.- 8.3.1 Working Principles for Programming Processes.- 8.3.2 System Facilities at the Macroscopic and Intelligent Level.- References.- 9 Implementation and Remaining Problems.- 9.1 General Organization.- 9.1.1 Structure of a Model.- 9.1.2 Structure of the Data Storage.- 9.2 Logical Structure Description Language (LDL).- 9.3 Logical Structure Manipulation Language (LML).- 9.4 Logical Structure Manipulation Utility (LMU).- 9.5 Examples and Applications.- 9.5.1 Examples.- 9.5.2 Applications.- 9.6 Remaining Problems.- References.

Text of Note

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.

Computer science.

Physics.

Software engineering.

Class number

Book number

edited by Takaaki Yagiu.

Takaaki Yagiu

Electronic name

[Book]

Y