Modeling of Dynamic Object Systems: A Logic-based Approach
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1993
|
| Schriftenreihe: | Vieweg Advanced Studies in Computer Science
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | This book is concerned with conceptual modeling, design and specification of in formation systems. Conventional information systems design starts with separating data from op erations, designing each with its own collection of concepts, methods, tools - and people: conceptual modeling for the imformation structure, and program design for the application programs. The separation carries through until the final implemen tation: data are collected in databases and managed with database management systems, and application programs are implemented with programming languages. This approach tends to suffer from a problem known as impedance mismatch. The basic paradigms underlying databases and programs - modeling, design, languages, and systems - do not fit easily together: there are incompatible type systems, data formats, operation modes, etc. The object-oriented paradigm promises to overcome these problems: a system is viewed as a community of interacting objects, each incorporating data and oper ations. While we still have object-oriented programming languages incompatible with object-oriented database systems, ideas and approaches seem to converge to wards homogeneous software systems dealing with both data and operations in a uniform way. Viewing a system as a community of interacting objects does not solve all prob lems. Beyond the object concept, abstraction and structuring principles are needed, together with languages and methods to work with them |
| Beschreibung: | 1 Online-Ressource (XV, 232 S.) |
| ISBN: | 9783663140184 9783528053864 |
| DOI: | 10.1007/978-3-663-14018-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042438896 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1993 |||| o||u| ||||||ger d | ||
| 020 | |a 9783663140184 |c Online |9 978-3-663-14018-4 | ||
| 020 | |a 9783528053864 |c Print |9 978-3-528-05386-4 | ||
| 024 | 7 | |a 10.1007/978-3-663-14018-4 |2 doi | |
| 035 | |a (OCoLC)860269442 | ||
| 035 | |a (DE-599)BVBBV042438896 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 003.3 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Jungclaus, Ralf |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modeling of Dynamic Object Systems |b A Logic-based Approach |c von Ralf Jungclaus |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1993 | |
| 300 | |a 1 Online-Ressource (XV, 232 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Vieweg Advanced Studies in Computer Science | |
| 500 | |a This book is concerned with conceptual modeling, design and specification of in formation systems. Conventional information systems design starts with separating data from op erations, designing each with its own collection of concepts, methods, tools - and people: conceptual modeling for the imformation structure, and program design for the application programs. The separation carries through until the final implemen tation: data are collected in databases and managed with database management systems, and application programs are implemented with programming languages. This approach tends to suffer from a problem known as impedance mismatch. The basic paradigms underlying databases and programs - modeling, design, languages, and systems - do not fit easily together: there are incompatible type systems, data formats, operation modes, etc. The object-oriented paradigm promises to overcome these problems: a system is viewed as a community of interacting objects, each incorporating data and oper ations. While we still have object-oriented programming languages incompatible with object-oriented database systems, ideas and approaches seem to converge to wards homogeneous software systems dealing with both data and operations in a uniform way. Viewing a system as a community of interacting objects does not solve all prob lems. Beyond the object concept, abstraction and structuring principles are needed, together with languages and methods to work with them | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Models and Principles | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Spezifikationssprache |0 (DE-588)4182217-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Objektorientierung |0 (DE-588)4346172-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informationssystem |0 (DE-588)4072806-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Informationssystem |0 (DE-588)4072806-7 |D s |
| 689 | 0 | 1 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 0 | 2 | |a Objektorientierung |0 (DE-588)4346172-4 |D s |
| 689 | 0 | 3 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-663-14018-4 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027874226 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153129238790144 |
|---|---|
| any_adam_object | |
| author | Jungclaus, Ralf |
| author_facet | Jungclaus, Ralf |
| author_role | aut |
| author_sort | Jungclaus, Ralf |
| author_variant | r j rj |
| building | Verbundindex |
| bvnumber | BV042438896 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)860269442 (DE-599)BVBBV042438896 |
| dewey-full | 003.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003.3 |
| dewey-search | 003.3 |
| dewey-sort | 13.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-663-14018-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03792nmm a2200613zc 4500</leader><controlfield tag="001">BV042438896</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1993 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783663140184</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-663-14018-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783528053864</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-528-05386-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-663-14018-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)860269442</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042438896</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jungclaus, Ralf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling of Dynamic Object Systems</subfield><subfield code="b">A Logic-based Approach</subfield><subfield code="c">von Ralf Jungclaus</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 232 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Vieweg Advanced Studies in Computer Science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This book is concerned with conceptual modeling, design and specification of in formation systems. Conventional information systems design starts with separating data from op erations, designing each with its own collection of concepts, methods, tools - and people: conceptual modeling for the imformation structure, and program design for the application programs. The separation carries through until the final implemen tation: data are collected in databases and managed with database management systems, and application programs are implemented with programming languages. This approach tends to suffer from a problem known as impedance mismatch. The basic paradigms underlying databases and programs - modeling, design, languages, and systems - do not fit easily together: there are incompatible type systems, data formats, operation modes, etc. The object-oriented paradigm promises to overcome these problems: a system is viewed as a community of interacting objects, each incorporating data and oper ations. While we still have object-oriented programming languages incompatible with object-oriented database systems, ideas and approaches seem to converge to wards homogeneous software systems dealing with both data and operations in a uniform way. Viewing a system as a community of interacting objects does not solve all prob lems. Beyond the object concept, abstraction and structuring principles are needed, together with languages and methods to work with them</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Models and Principles</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationssystem</subfield><subfield code="0">(DE-588)4072806-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informationssystem</subfield><subfield code="0">(DE-588)4072806-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-663-14018-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027874226</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042438896 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:42Z |
| institution | BVB |
| isbn | 9783663140184 9783528053864 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027874226 |
| oclc_num | 860269442 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (XV, 232 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Vieweg Advanced Studies in Computer Science |
| spelling | Jungclaus, Ralf Verfasser aut Modeling of Dynamic Object Systems A Logic-based Approach von Ralf Jungclaus Wiesbaden Vieweg+Teubner Verlag 1993 1 Online-Ressource (XV, 232 S.) txt rdacontent c rdamedia cr rdacarrier Vieweg Advanced Studies in Computer Science This book is concerned with conceptual modeling, design and specification of in formation systems. Conventional information systems design starts with separating data from op erations, designing each with its own collection of concepts, methods, tools - and people: conceptual modeling for the imformation structure, and program design for the application programs. The separation carries through until the final implemen tation: data are collected in databases and managed with database management systems, and application programs are implemented with programming languages. This approach tends to suffer from a problem known as impedance mismatch. The basic paradigms underlying databases and programs - modeling, design, languages, and systems - do not fit easily together: there are incompatible type systems, data formats, operation modes, etc. The object-oriented paradigm promises to overcome these problems: a system is viewed as a community of interacting objects, each incorporating data and oper ations. While we still have object-oriented programming languages incompatible with object-oriented database systems, ideas and approaches seem to converge to wards homogeneous software systems dealing with both data and operations in a uniform way. Viewing a system as a community of interacting objects does not solve all prob lems. Beyond the object concept, abstraction and structuring principles are needed, together with languages and methods to work with them Computer science Computer simulation Computer Science Simulation and Modeling Models and Principles Computer Science, general Informatik Spezifikationssprache (DE-588)4182217-1 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf Informationssystem (DE-588)4072806-7 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Informationssystem (DE-588)4072806-7 s Systementwicklung (DE-588)4126945-7 s Objektorientierung (DE-588)4346172-4 s Spezifikationssprache (DE-588)4182217-1 s 2\p DE-604 https://doi.org/10.1007/978-3-663-14018-4 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Jungclaus, Ralf Modeling of Dynamic Object Systems A Logic-based Approach Computer science Computer simulation Computer Science Simulation and Modeling Models and Principles Computer Science, general Informatik Spezifikationssprache (DE-588)4182217-1 gnd Objektorientierung (DE-588)4346172-4 gnd Informationssystem (DE-588)4072806-7 gnd Systementwicklung (DE-588)4126945-7 gnd |
| subject_GND | (DE-588)4182217-1 (DE-588)4346172-4 (DE-588)4072806-7 (DE-588)4126945-7 (DE-588)4113937-9 |
| title | Modeling of Dynamic Object Systems A Logic-based Approach |
| title_auth | Modeling of Dynamic Object Systems A Logic-based Approach |
| title_exact_search | Modeling of Dynamic Object Systems A Logic-based Approach |
| title_full | Modeling of Dynamic Object Systems A Logic-based Approach von Ralf Jungclaus |
| title_fullStr | Modeling of Dynamic Object Systems A Logic-based Approach von Ralf Jungclaus |
| title_full_unstemmed | Modeling of Dynamic Object Systems A Logic-based Approach von Ralf Jungclaus |
| title_short | Modeling of Dynamic Object Systems |
| title_sort | modeling of dynamic object systems a logic based approach |
| title_sub | A Logic-based Approach |
| topic | Computer science Computer simulation Computer Science Simulation and Modeling Models and Principles Computer Science, general Informatik Spezifikationssprache (DE-588)4182217-1 gnd Objektorientierung (DE-588)4346172-4 gnd Informationssystem (DE-588)4072806-7 gnd Systementwicklung (DE-588)4126945-7 gnd |
| topic_facet | Computer science Computer simulation Computer Science Simulation and Modeling Models and Principles Computer Science, general Informatik Spezifikationssprache Objektorientierung Informationssystem Systementwicklung Hochschulschrift |
| url | https://doi.org/10.1007/978-3-663-14018-4 |
| work_keys_str_mv | AT jungclausralf modelingofdynamicobjectsystemsalogicbasedapproach |