Modeling design objects and processes:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin <<[u.a.]>>
Springer
1991
|
| Schriftenreihe: | Computer graphics : systems and applications
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 327 S. graph. Darst. |
| ISBN: | 354053671X 038753671X |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV024373565 | ||
| 003 | DE-604 | ||
| 005 | 20240829 | ||
| 007 | t | ||
| 008 | 920512s1991 d||| |||| 00||| eng d | ||
| 020 | |a 354053671X |9 3-540-53671-X | ||
| 020 | |a 038753671X |9 0-387-53671-X | ||
| 035 | |a (OCoLC)636289371 | ||
| 035 | |a (DE-599)BVBBV024373565 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-188 | ||
| 100 | 1 | |a Yagiu, Takaaki |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modeling design objects and processes |c T. Yagiu |
| 264 | 1 | |a Berlin <<[u.a.]>> |b Springer |c 1991 | |
| 300 | |a X, 327 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Computer graphics : systems and applications | |
| 650 | 0 | 7 | |a CAD |0 (DE-588)4069794-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a CAD |0 (DE-588)4069794-0 |D s |
| 689 | 0 | |5 DE-188 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018353911&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018353911 | |
Datensatz im Suchindex
| _version_ | 1808769872111337472 |
|---|---|
| adam_text |
T. YAGIU MODELING DESIGN OBJECTS AND PROCESSES WITH 82 FIGURES
SPRINGERVERLAG BERLIN HEIDELBERG NEW YORK LONDON PARIS TOKYO HONGKONG
BARCELONA BUDAPEST CONTENTS CHAPTER 0 INTRODUCTION 1 0.1 PRIMARY
ORGANIZATION OF A CAD SYSTEM 1 0.2 CURRENT STATE OF INTEGRATION AND
DISTRIBUTION 2 0.3 ROLES OF A DATABASE 4 0.4 TOWARD PRODUCT MODELING 5
0.5 THE SUBJECT MATTER 9 0.6 AN EXAMPLE 11 0.7 ON THE FORMALNESS AND
ABSTRACTNESS OF LANGUAGE 14 0.8 ON THE GENERAL THEORY OF DESIGN 15 0.9
PROGRAM FOR SUCCEEDING CHAPTERS 17 REFERENCES 19 CHAPTER 1 REQUIREMENTS
OF CAD DATABASES 21 1.1 STRUCTURES AND SEMANTICS 22 1.2 DYNAMIC ASPECT
32 1.3 VERSION CONTROL 40 REFERENCES 43 CHAPTER 2 CRITICISM OF FAST AND
CURRENT DATA MODELS 47 2.1 GRAPHICS PACKAGES IN THE 1960S 48 2.1.1 RING
STRUCTURE, TYPICALLY ASP 48 2.1.2 LEAP, AN ASSOCIATIVE LANGUAGE 52 2.1.3
SET-THEORETIC DATA STRUCTURE (STDS) 58 2.2 AD HOC DEVELOPMENTS OF CAD
DATABASES 60 2.3 THE NETWORK (CODASYL) MODEL AND ITS EXTENSIONS . . . .
64 2.3.1 STRUCTURE AND BASIC FUNCTIONS 65 2.3.2 CRITICISM 69 2.4
RELATIONAL MODEL AND ITS EXTENSIONS 72 2.4.1 STRUCTURE AND BASIC
FUNCTIONS 72 2.4.2 CRITICISM 79 2.4.3 SEMANTIC EXTENSIONS OF RELATIONAL
MODEL 82 VUEI CONTENTS 2.4.4 APPLICATIONS OF THE RELATIONAL MODEL TO CAD
87 REFERENCES 92 CHAPTER 3 FIRST ORDER THEORY AND ITS INTERPRETATION 94
3.1 FIRST ORDER LANGUAGE 94 3.2 FORMAL THEORY 96 3.3 INTERPRETATION OF
FIRST ORDER THEORY 100 3.3.1 FUNDAMENTAL CONCEPTS AND THE COMPLETENESS
OF FOPL . . . 100 3.3.2 MORPHISM BETWEEN INTERPRETATIONS 102 3.4
UNDECIDABILITY AND INCOMPLETENESS 104 3.5 CLAUSAL FORM AND THE HERBRAND
MODEL 106 REFERENCES HO CHAPTER 4 CRITICISM OF LOGICAL APPROACHES 111
4.1 PERTINENCIES OF LOGIC TO COMPUTER SCIENCES AND APPLICATIONS 111 4.2
THEORY OR INTERPRETATION? 115 4.2.1 INFORMATION SYSTEMS AS FORMAL
THEORIES 115 4.2.1.1 GENERAL DISCUSSION 115 4.2.1.2 LOGIC PROGRAMMING
(LP) 119 4.2.1.3 ABSTRACT DATA TYPING (ADT) 123 4.2.2 CRITICISM 128 4.3
MEANINGS OF LOGICAL FORMULAS 132 4.3.1 DEDUCTIVE DATA MODELING 133 4.3.2
DERIVATION RULES, INTEGRITY CONSTRAINTS OR WHAT? 135 4.4 SINGLE OR
MULTIPLE INTERPRETATIONS? 136 4.5 THE UNIVERAE OF INTERPRETATION 138 4.6
WHAT KIND OF LOGIC? 140 4.6.1 SEMANTIC NETWORK (SN) 140 4.6.2 CRITICISM
141 4.6.3 NETWORK REPRESENTED AS A LOGICAL STRUCTURE 150 4.6.4
LIMITATIONS OF FOPL 156 REFERENCES \Q\ CHAPTER 5 PHILOSOPHICAL
DISCUSSIONS 163 5.1 PHILOSOPHICAL REINTERPRET ATIONS OF CONCEPTUAL
FRAMEWORKS . 164 5.1.1 ENTITY-CENTERED AND SUBJECT-PREDICATE
WELTANSCHAUUNG . . . 164 5.1.2 INTENSIONS AND EXTENSIONS 171 5.2
CRITICISM OF UNDERLYING WELTANSCHAUUNGEN 177 5.3 AN ALTERNATE
WELTANSCHUUNG 183 5.3.1 CHARACTERISTICS OF OUR UNIVERSE OF DISCOURSE 183
5.3.2 THE PARADIGMS: A METHODOLOGICAL BASIS 188 CONTENTS IX REFERENCES
194 CHAPTER 6 THE FUNDAMENTAL STRUCTURE OF THE DESIGN OBJECT MODEL 196
6.1 PHYSICAL OBJECT, THEORY AND INTERPRETATION 196 6.2 QUALIFICATIONS ON
THEORIES AND INTERPRETATIONS 199 6.3 ILLUSTRATIVE EXAMPLES 212
REFERENCES 222 CHAPTER 7 THE MODEL DESCRIPTION LANGUAGE (MDL) 223 7.1
GENERAL 223 7.2 THEORY CONSTRUCTION 224 7.2.1 DECLARATIONS AND
DEFINITIONS 224 7.2.2 PROCEDURAL STATEMENTS 227 7.3 INTERPRETATION 230
7.3.1 DECLARATIONS AND DEFINITIONS 230 7.3.2 PROCEDURAL STATEMENTS 232
7.4 ILLUSTRATIVE EXAMPLES 235 REFERENCES 254 CHAPTER 8 MODELING THE
DESIGN PROCESS 25 5 8.1 THE CONCEPT OF MINIMAL EXTENSION 256 8.1.1
GENERAL 256 8.1.2 FUNDAMENTAL PROCEDURE 265 8.2 THE EXPANSION OF MODEL
DESCRIPTION LANGUAGE (MDL) . . . 270 8.2.1 SYNTAX AND SEMANTICS 273
8.2.2 ILLUSTRATIVE EXAMPLES 275 8.3 CONTROLLING THE MODEL DEVELOPMENT
282 8.3.1 WORKING PRINCIPLES FOR PROGRAMMING PROCESSES 282 8.3.2 SYSTEM
FACIUTIES AT THE MACROSCOPIC AND INTELLIGENT LEVEL . . 290 REFERENCES
303 CHAPTER 9 IMPLEMENTATION AND REMAINING PROBLEMS 304 9.1 GENERAL
ORGANIZATION 304 9.1.1 STRUCTURE OF A MODEL 305 9.1.2 STRUCTURE OF THE
DATA STORAGE 305 9.2 LOGICAI STRUCTURE DESCRIPTION LANGUAGE (LDL) 306
9.3 LOGICAI STRUCTURE MANIPULATION LANGUAGE (LML) 307 9.4 LOGICAI
STRUCTURE MANIPULATION UTILITY (LMU) 310 9.5 EXAMPLES AND APPLICATIONS
311 9.5.1 EXAMPLES 311 X CONTENTS 9.5.2 APPLICATIONS 313 9.6 REMAINING
PROBLEMS 319 REFERENCES 320 SUBJECT INDEX 321 |
| any_adam_object | 1 |
| author | Yagiu, Takaaki |
| author_facet | Yagiu, Takaaki |
| author_role | aut |
| author_sort | Yagiu, Takaaki |
| author_variant | t y ty |
| building | Verbundindex |
| bvnumber | BV024373565 |
| ctrlnum | (OCoLC)636289371 (DE-599)BVBBV024373565 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV024373565</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240829</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920512s1991 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354053671X</subfield><subfield code="9">3-540-53671-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">038753671X</subfield><subfield code="9">0-387-53671-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)636289371</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024373565</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Yagiu, Takaaki</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling design objects and processes</subfield><subfield code="c">T. Yagiu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin <<[u.a.]>></subfield><subfield code="b">Springer</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 327 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Computer graphics : systems and applications</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CAD</subfield><subfield code="0">(DE-588)4069794-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">CAD</subfield><subfield code="0">(DE-588)4069794-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018353911&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018353911</subfield></datafield></record></collection> |
| id | DE-604.BV024373565 |
| illustrated | Illustrated |
| indexdate | 2024-08-30T00:22:51Z |
| institution | BVB |
| isbn | 354053671X 038753671X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018353911 |
| oclc_num | 636289371 |
| open_access_boolean | |
| owner | DE-83 DE-188 |
| owner_facet | DE-83 DE-188 |
| physical | X, 327 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Springer |
| record_format | marc |
| series2 | Computer graphics : systems and applications |
| spelling | Yagiu, Takaaki Verfasser aut Modeling design objects and processes T. Yagiu Berlin <<[u.a.]>> Springer 1991 X, 327 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computer graphics : systems and applications CAD (DE-588)4069794-0 gnd rswk-swf CAD (DE-588)4069794-0 s DE-188 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018353911&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Yagiu, Takaaki Modeling design objects and processes CAD (DE-588)4069794-0 gnd |
| subject_GND | (DE-588)4069794-0 |
| title | Modeling design objects and processes |
| title_auth | Modeling design objects and processes |
| title_exact_search | Modeling design objects and processes |
| title_full | Modeling design objects and processes T. Yagiu |
| title_fullStr | Modeling design objects and processes T. Yagiu |
| title_full_unstemmed | Modeling design objects and processes T. Yagiu |
| title_short | Modeling design objects and processes |
| title_sort | modeling design objects and processes |
| topic | CAD (DE-588)4069794-0 gnd |
| topic_facet | CAD |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018353911&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT yagiutakaaki modelingdesignobjectsandprocesses |