Zur Spezifikation von Objektgesellschaften mit TROLL light:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Düsseldorf
VDI-Verl.
1995
|
| Edition: | Als Ms. gedr. |
| Series: | Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10]
336 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Zugl.: Braunschweig, Techn. Univ., Diss., 1994 |
| Physical Description: | VI, 198 S. graph. Darst. |
| ISBN: | 3183336103 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010078727 | ||
| 003 | DE-604 | ||
| 005 | 19950307 | ||
| 007 | t | ||
| 008 | 950307s1995 d||| mm|| 00||| gerod | ||
| 016 | 7 | |a 943621356 |2 DE-101 | |
| 020 | |a 3183336103 |9 3-18-333610-3 | ||
| 035 | |a (OCoLC)75594139 | ||
| 035 | |a (DE-599)BVBBV010078727 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-210 |a DE-83 | ||
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 084 | |a DAT 315d |2 stub | ||
| 084 | |a DAT 335d |2 stub | ||
| 100 | 1 | |a Herzig, Rudolf |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Zur Spezifikation von Objektgesellschaften mit TROLL light |c Rudolf Herzig |
| 250 | |a Als Ms. gedr. | ||
| 264 | 1 | |a Düsseldorf |b VDI-Verl. |c 1995 | |
| 300 | |a VI, 198 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10] |v 336 | |
| 500 | |a Zugl.: Braunschweig, Techn. Univ., Diss., 1994 | ||
| 650 | 0 | 7 | |a Objektorientierte Programmiersprache |0 (DE-588)4172311-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationssprache |0 (DE-588)4182217-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konzeptionelle Modellierung |0 (DE-588)4123555-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informationssystem |0 (DE-588)4072806-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |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 Konzeptionelle Modellierung |0 (DE-588)4123555-1 |D s |
| 689 | 0 | 2 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 0 | 3 | |a Objektorientierte Programmiersprache |0 (DE-588)4172311-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 1 | 1 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 810 | 2 | |a 10] |t Verein Deutscher Ingenieure: [Fortschrittberichte VDI |v 336 |w (DE-604)BV000897204 |9 336 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006689611&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006689611 | ||
Record in the Search Index
| _version_ | 1804124467360694272 |
|---|---|
| adam_text | Titel: Zur Spezifikation von Objektgesellschaften mit TROLL light
Autor: Herzig, Rudolf
Jahr: 1995
Inhaltsverzeichnis V Inhaltsverzeichnis 1 Einführung 1 1.1 Kontext................................... 1 1.2 Motivation und Inhaltsübersicht...................... 7 2 Grundlagen zur Entwicklung von Informationssystemen 11 2.1 Allgemeines Vorgehensmodell....................... 11 2.2 Beschreibungstechniken........................... 17 2.2.1 Algebraische Spezifikation..................... 20 2.2.2 Objektorientierte Programmierung................ 22 2.2.3 Semantische Datenmodelle..................... 25 2.2.4 Implementierte Datenmodelle...... 1 ............. 34 2.2.5 Zustandsdiagramme und Petri-Netze............... 37 2.3 Schichtenmodell von Informationssystemen................ 42 3 Modellierung und Manipulation komplexer Werte 49 3.1 Komplexe Werte .............................. 49 3.1.1 Datentypen............................. 49 3.1.2 Konstruierte Sorten......................... 51 3.1.3 Generische Punktionen............... 54 3.2 CCV: Ein Kalkül komplexer Werte.................... 57 3.2.1 Formale Definition............. 58 3.2.2 Auswertung von select-Termen................... 61 3.2.3 Ausdrucksfähigkeit......................... 65 3.2.4 Anwendung auf Datenbankzustände................ 69
VI Inhaltsverzeichnis 4 Die Objektbeschreibungssprache TROLL light 71 4.1 Beschreibung einer Objektgesellschaft................... 71 4.2 Syntax und Semantik von TROLL light .................. 77 4.2.1 Import von Datentypen und Objektbeschreibungen ....... 77 4.2.2 Objektschnittstelle......................... 79 4.2.3 Objektgesellschaft.......................... 81 4.2.4 CCV als Teilsprache von TROLL light .............. 86 4.2.5 Abgeleitete Attribute und Integritätsbedingungen........ 89 4.2.6 Zustandsübergänge......................... 93 4.3 Einfache Spracherweiterungen.......................106 4.4 Objektgesellschaften als Zustandsübergangssysteme...........110 5 Animation von Objektbeschreibungen 117 5.1 Motivation..................................117 5.2 Das TROLL /¿y/if-Animationssystem...................119 5.2.1 Datenbank zur Ablage von Objektbeschreibungen........121 5.2.2 Datenbank zur Ablage von Objektzuständen...........130 5.2.3 Term- und Formelauswerter....................135 5.2.4 Ausführungsmodul.........................136 5.2.5 Benutzungsschnittstelle.......................138 6 Vergleichende Diskussion der Sprachkonzepte von TROLL light 145 6.1 Strukturmodellierung............................146 6.1.1 Anwendung der Kernkonzepte...................146 6.1.2 Simulation spezieller Modellierungskonzepte...........157 6.2 Verhaltensmodellierung...........................164 6.3 Sprachunterstützungen...........................173 7 Zusammenfassung und Ausblick 176 Literaturverzeichnis 180
|
| any_adam_object | 1 |
| author | Herzig, Rudolf |
| author_facet | Herzig, Rudolf |
| author_role | aut |
| author_sort | Herzig, Rudolf |
| author_variant | r h rh |
| building | Verbundindex |
| bvnumber | BV010078727 |
| classification_rvk | ST 270 |
| classification_tum | DAT 315d DAT 335d |
| ctrlnum | (OCoLC)75594139 (DE-599)BVBBV010078727 |
| discipline | Informatik |
| edition | Als Ms. gedr. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02294nam a2200529 cb4500</leader><controlfield tag="001">BV010078727</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950307 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950307s1995 d||| mm|| 00||| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">943621356</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3183336103</subfield><subfield code="9">3-18-333610-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75594139</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010078727</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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-210</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 270</subfield><subfield code="0">(DE-625)143638:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 315d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Herzig, Rudolf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Zur Spezifikation von Objektgesellschaften mit TROLL light</subfield><subfield code="c">Rudolf Herzig</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Als Ms. gedr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Düsseldorf</subfield><subfield code="b">VDI-Verl.</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 198 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="1" ind2=" "><subfield code="a">Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10]</subfield><subfield code="v">336</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Braunschweig, Techn. Univ., Diss., 1994</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4172311-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konzeptionelle Modellierung</subfield><subfield code="0">(DE-588)4123555-1</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="655" ind1=" " ind2="7"><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">Konzeptionelle Modellierung</subfield><subfield code="0">(DE-588)4123555-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="3"><subfield code="a">Objektorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4172311-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">10]</subfield><subfield code="t">Verein Deutscher Ingenieure: [Fortschrittberichte VDI</subfield><subfield code="v">336</subfield><subfield code="w">(DE-604)BV000897204</subfield><subfield code="9">336</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=006689611&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006689611</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010078727 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:46:08Z |
| institution | BVB |
| isbn | 3183336103 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006689611 |
| oclc_num | 75594139 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-210 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-210 DE-83 |
| physical | VI, 198 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | VDI-Verl. |
| record_format | marc |
| series2 | Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10] |
| spelling | Herzig, Rudolf Verfasser aut Zur Spezifikation von Objektgesellschaften mit TROLL light Rudolf Herzig Als Ms. gedr. Düsseldorf VDI-Verl. 1995 VI, 198 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10] 336 Zugl.: Braunschweig, Techn. Univ., Diss., 1994 Objektorientierte Programmiersprache (DE-588)4172311-9 gnd rswk-swf Spezifikationssprache (DE-588)4182217-1 gnd rswk-swf Objektorientierte Programmierung (DE-588)4233947-9 gnd rswk-swf Konzeptionelle Modellierung (DE-588)4123555-1 gnd rswk-swf Informationssystem (DE-588)4072806-7 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Informationssystem (DE-588)4072806-7 s Konzeptionelle Modellierung (DE-588)4123555-1 s Spezifikationssprache (DE-588)4182217-1 s Objektorientierte Programmiersprache (DE-588)4172311-9 s DE-604 Objektorientierte Programmierung (DE-588)4233947-9 s 10] Verein Deutscher Ingenieure: [Fortschrittberichte VDI 336 (DE-604)BV000897204 336 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006689611&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Herzig, Rudolf Zur Spezifikation von Objektgesellschaften mit TROLL light Objektorientierte Programmiersprache (DE-588)4172311-9 gnd Spezifikationssprache (DE-588)4182217-1 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd Konzeptionelle Modellierung (DE-588)4123555-1 gnd Informationssystem (DE-588)4072806-7 gnd |
| subject_GND | (DE-588)4172311-9 (DE-588)4182217-1 (DE-588)4233947-9 (DE-588)4123555-1 (DE-588)4072806-7 (DE-588)4113937-9 |
| title | Zur Spezifikation von Objektgesellschaften mit TROLL light |
| title_auth | Zur Spezifikation von Objektgesellschaften mit TROLL light |
| title_exact_search | Zur Spezifikation von Objektgesellschaften mit TROLL light |
| title_full | Zur Spezifikation von Objektgesellschaften mit TROLL light Rudolf Herzig |
| title_fullStr | Zur Spezifikation von Objektgesellschaften mit TROLL light Rudolf Herzig |
| title_full_unstemmed | Zur Spezifikation von Objektgesellschaften mit TROLL light Rudolf Herzig |
| title_short | Zur Spezifikation von Objektgesellschaften mit TROLL light |
| title_sort | zur spezifikation von objektgesellschaften mit troll light |
| topic | Objektorientierte Programmiersprache (DE-588)4172311-9 gnd Spezifikationssprache (DE-588)4182217-1 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd Konzeptionelle Modellierung (DE-588)4123555-1 gnd Informationssystem (DE-588)4072806-7 gnd |
| topic_facet | Objektorientierte Programmiersprache Spezifikationssprache Objektorientierte Programmierung Konzeptionelle Modellierung Informationssystem Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006689611&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000897204 |
| work_keys_str_mv | AT herzigrudolf zurspezifikationvonobjektgesellschaftenmittrolllight |