Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | German |
| Published: |
Dresden
TUDpress
2006
|
| Series: | Dresdner Forschung Informatik
2 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 263 S. graph. Darst. |
| ISBN: | 3938863501 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV026557131 | ||
| 003 | DE-604 | ||
| 005 | 20110228 | ||
| 007 | t | ||
| 008 | 110326s2006 d||| m||| 00||| ger d | ||
| 015 | |a 06,N11,0057 |2 dnb | ||
| 015 | |a 06,A20,0022 |2 dnb | ||
| 016 | 7 | |a 978656202 |2 DE-101 | |
| 020 | |a 3938863501 |9 3-938863-50-1 | ||
| 035 | |a (OCoLC)918527485 | ||
| 035 | |a (DE-599)BVBBV026557131 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-188 | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Löcher, Sten |d 1975- |e Verfasser |0 (DE-588)131543717 |4 aut | |
| 245 | 1 | 0 | |a Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung |c Sten Löcher |
| 264 | 1 | |a Dresden |b TUDpress |c 2006 | |
| 300 | |a 263 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Dresdner Forschung : Informatik |v 2 | |
| 502 | |a Zugl.: Dresden, Techn. Univ., Diss, 2005 | ||
| 650 | 0 | 7 | |a Softwarekonfiguration |0 (DE-588)4550588-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a OCL |g Programmiersprache |0 (DE-588)4680186-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a UML |0 (DE-588)4469781-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komponente |g Software |0 (DE-588)4439521-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Transaktionsverarbeitung |0 (DE-588)4246591-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Transaktionsverarbeitung |0 (DE-588)4246591-6 |D s |
| 689 | 0 | 1 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | 2 | |a Komponente |g Software |0 (DE-588)4439521-8 |D s |
| 689 | 0 | 3 | |a UML |0 (DE-588)4469781-8 |D s |
| 689 | 0 | 4 | |a OCL |g Programmiersprache |0 (DE-588)4680186-8 |D s |
| 689 | 0 | 5 | |a Softwarekonfiguration |0 (DE-588)4550588-3 |D s |
| 689 | 0 | |5 DE-188 | |
| 830 | 0 | |a Dresdner Forschung |p Informatik |v 2 |w (DE-604)BV026557129 |9 2 | |
| 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=022119333&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-022119333 | ||
Record in the Search Index
| _version_ | 1804145148409413632 |
|---|---|
| adam_text | Inhaltsverzeichnis
Abbildungsverzeichnis 9
Tabellenverzeichnis 11
Abkürzungs Verzeichnis 13
1 Einleitung 15
1.1 Problemstellung lfi
1.2 Zielsetzung 17
1.3 Kriterien für die Validierung der Ergebnisse 18
1.4 Lösungsskizze 20
1.5 Aufbau der Arbeit 22
2 Grundlagen 23
2.1 Transaktionen 23
2.1.1 Motivation 23
2.1.2 Eigenschaften von Transaktionen 25
2.1.3 Transaktionsmodelle 20
2.1.4 Formale Beschreibung von Transaktionsmodcllen 28
2.1.5 Schnittstellen zu Transaktionsdiensten 30
2.2 Komponentenbasierte Entwicklung 32
2.2.1 Grundkonzepte 32
2.2.2 Beispieltechnologie 36
2.2.3 Kompoueutenbasierte Entwicklungsmethoden 38
2.3 Modellgetriebene Entwicklung 40
2.3.1 Grundkonzepte 40
2.3.2 Model-Driven Architecture 42
2.3.3 Metamodellierung 44
2.3.4 Meta Modeling Framework (MMF) 40
2.3.5 Transformationen 40
3 Modellgetriebene Konfiguration 53
3.1 Allgemeiner Ansatz 53
3.2 Thesen 55
3.3 Technischer Konzeptrahmen 50
3.4 Methodik für den Transaktionsentwurf 58
3.4.1 Beispielanwendung 59
3.4.2 Arbeitsabläufe 59
3.4.3 Integration in die UML Components Methode 61
3.4.4 Aktivitäten 62
3.4.5 Rollen 68
3.5 Bezug zur Model-Driven Architecture 69
3.6 Zusammenfassung 71
4 Modelle der Fachlogik 73
4.1 Ein Metamodell-Kernel für die UML 73
4.1.1 Architektur der Kernsprache 74
4.1.2 Modellkonzepte 75
4.1.3 Interpretation der Modellkonzepte 78
4.2 Modellierung komponentenbasierter Systeme 80
4.2.1 Struktur komponentenbasierter Systeme 80
4.2.2 Beschreibung des Verhaltens von Komponenten 82
4.2.3 Beispiel 84
4.3 Zusammenfassung 85
5 Integrierte Modelle 87
5.1 Diskussion des Grundkonzeptes 87
5.2 Beispielmodelle 89
5.3 Modellkonzepte 91
5.4 Interpretation der Modellkonzepte 95
5.4.1 Domänenmodell 96
5.4.2 Definition der Interpretation 105
5.5 Profiles für Synchronisationseigenschaften 106
5.G Zusammenfassung 109
6 Analyse des integrierten Modells 111
6.1 Statische Kompatibilitätsanalyse 111
6.1.1 Problemstellung 112
6.1.2 Kompatibilität zweier Komponenten 112
6.1.3 Erfüllung von Anforderungen der Anwendung 117
6.2 Modellverifikation 118
6.2.1 Modellverifikation mit SPIN 118
6.2.2 Problemstellung 119
6.2.3 Ziel der Analyse 120
6.2.4 Abbildungskonzept 120
6.3 Zusammenfassung 125
7 Konfigurationsmodelle 127
7.1 Technologie-spezifische Konfigurationsschemata l27
7.1.1 EJB-Einzelattributschema 128
7.1.2 NT CT-Attribute 136
7.2 Unterstützung des Vertragskonzeptes 143
7.2.1 Anwendung des Vertragskonzeptes auf Containerdienste . . . 143
7.2.2 Konfigurationen als Vertragsbasis 146
7.2.3 Konfigurationen für Entwurfsverträge 147
7.2.4 Konfiguration verschachtelter Transaktionen 148
7.2.5 Beispielvertrag 150
7.3 Unterstützung des konzeptuellen Grobentwurfes 152
7.4 Konfiguration orthogonaler Eigenschaften 154
7.4.1 Abstrakte Syntax 155
7.4.2 Einsatz des Konfigurationsschemas 159
7.4.3 Beispiel 159
7.5 Zusammenfassung 161
8 Evaluation 163
8.1 WerkzeugunterKtützung 163
8.1.1 Anforderungen 163
8.1.2 Architektur 165
8.1.. ! Umsetzung 166
8.1.4 Funktionsumfang des Prototypen 166
8.1.5 Einschätzung des Prototyping 167
8.2 Fallstudie 168
8.2.1 Anwendungsfälle 169
8.2.2 System- und Transaktionsentwurf 170
8.2.3 Einschätzung der Ergebnisse 171
8.3 Zusammenfassung 173
9 Verwandte Forschungsarbeiten 175
10 Zusammenfassung und Ausblick 181
10.1 Zusammenfassung 181
10.2 Diskussion der Ergebnisse? 183
10.3 Weiterführende Arbeiten 180
A Spezifikationen zum Integrierten Modell 189
A.l Spezifikation von Hilfsoperationen 189
A.2 Abhängigkeitstypen 193
A.3 Profiles 195
A.4 Exceptions 196
B TVansformationsregeln 197
B.l NT CT-Attributschema 197
B.2 Unterstützung des Vertragskonzeptes 207
B.3 Konzeptioneller Grobentwurf 213
B.4 Konfiguration orthogonaler Eigenschaften 215
C Abbildungsregeln für Modellverifikation 221
C.l Regeln für Abbildung auf Zwischenmodell 221
C.2 Spezifikation der Codegenerierung 224
D Eallstudie 231
D.l Anwendungsarchitektur 231
D.2 Transaktionsentwurf 234
Literaturverzeichnis 251
Index 261
|
| any_adam_object | 1 |
| author | Löcher, Sten 1975- |
| author_GND | (DE-588)131543717 |
| author_facet | Löcher, Sten 1975- |
| author_role | aut |
| author_sort | Löcher, Sten 1975- |
| author_variant | s l sl |
| building | Verbundindex |
| bvnumber | BV026557131 |
| ctrlnum | (OCoLC)918527485 (DE-599)BVBBV026557131 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02205nam a2200517 cb4500</leader><controlfield tag="001">BV026557131</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110228 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110326s2006 d||| m||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,N11,0057</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,A20,0022</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">978656202</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3938863501</subfield><subfield code="9">3-938863-50-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)918527485</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV026557131</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Löcher, Sten</subfield><subfield code="d">1975-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131543717</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung</subfield><subfield code="c">Sten Löcher</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dresden</subfield><subfield code="b">TUDpress</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">263 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">Dresdner Forschung : Informatik</subfield><subfield code="v">2</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Dresden, Techn. Univ., Diss, 2005</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarekonfiguration</subfield><subfield code="0">(DE-588)4550588-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">OCL</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4680186-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">UML</subfield><subfield code="0">(DE-588)4469781-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Transaktionsverarbeitung</subfield><subfield code="0">(DE-588)4246591-6</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">Transaktionsverarbeitung</subfield><subfield code="0">(DE-588)4246591-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">UML</subfield><subfield code="0">(DE-588)4469781-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">OCL</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4680186-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Softwarekonfiguration</subfield><subfield code="0">(DE-588)4550588-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Dresdner Forschung </subfield><subfield code="p">Informatik</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV026557129</subfield><subfield code="9">2</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=022119333&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-022119333</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV026557131 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T23:14:51Z |
| institution | BVB |
| isbn | 3938863501 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022119333 |
| oclc_num | 918527485 |
| open_access_boolean | |
| owner | DE-188 |
| owner_facet | DE-188 |
| physical | 263 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | TUDpress |
| record_format | marc |
| series | Dresdner Forschung Informatik |
| series2 | Dresdner Forschung : Informatik |
| spelling | Löcher, Sten 1975- Verfasser (DE-588)131543717 aut Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung Sten Löcher Dresden TUDpress 2006 263 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Dresdner Forschung : Informatik 2 Zugl.: Dresden, Techn. Univ., Diss, 2005 Softwarekonfiguration (DE-588)4550588-3 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf OCL Programmiersprache (DE-588)4680186-8 gnd rswk-swf UML (DE-588)4469781-8 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Transaktionsverarbeitung (DE-588)4246591-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Transaktionsverarbeitung (DE-588)4246591-6 s Modellgetriebene Entwicklung (DE-588)4832365-2 s Komponente Software (DE-588)4439521-8 s UML (DE-588)4469781-8 s OCL Programmiersprache (DE-588)4680186-8 s Softwarekonfiguration (DE-588)4550588-3 s DE-188 Dresdner Forschung Informatik 2 (DE-604)BV026557129 2 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022119333&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Löcher, Sten 1975- Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung Dresdner Forschung Informatik Softwarekonfiguration (DE-588)4550588-3 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd OCL Programmiersprache (DE-588)4680186-8 gnd UML (DE-588)4469781-8 gnd Komponente Software (DE-588)4439521-8 gnd Transaktionsverarbeitung (DE-588)4246591-6 gnd |
| subject_GND | (DE-588)4550588-3 (DE-588)4832365-2 (DE-588)4680186-8 (DE-588)4469781-8 (DE-588)4439521-8 (DE-588)4246591-6 (DE-588)4113937-9 |
| title | Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung |
| title_auth | Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung |
| title_exact_search | Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung |
| title_full | Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung Sten Löcher |
| title_fullStr | Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung Sten Löcher |
| title_full_unstemmed | Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung Sten Löcher |
| title_short | Modellgetriebene Konfiguration von Transaktionsdiensten in der komponentenbasierten Softwareentwicklung |
| title_sort | modellgetriebene konfiguration von transaktionsdiensten in der komponentenbasierten softwareentwicklung |
| topic | Softwarekonfiguration (DE-588)4550588-3 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd OCL Programmiersprache (DE-588)4680186-8 gnd UML (DE-588)4469781-8 gnd Komponente Software (DE-588)4439521-8 gnd Transaktionsverarbeitung (DE-588)4246591-6 gnd |
| topic_facet | Softwarekonfiguration Modellgetriebene Entwicklung OCL Programmiersprache UML Komponente Software Transaktionsverarbeitung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022119333&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV026557129 |
| work_keys_str_mv | AT lochersten modellgetriebenekonfigurationvontransaktionsdiensteninderkomponentenbasiertensoftwareentwicklung |