Operating guidelines for services:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Eindhoven
Univ. Press
2009
|
| Schriftenreihe: | SIKS dissertation series
2009,12 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 266 S. graph. Darst. 24 cm |
| ISBN: | 9789038617022 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035627173 | ||
| 003 | DE-604 | ||
| 005 | 20100219 | ||
| 007 | t | ||
| 008 | 090714s2009 d||| m||| 00||| eng d | ||
| 015 | |a 09,A29,0034 |2 dnb | ||
| 016 | 7 | |a 994332149 |2 DE-101 | |
| 020 | |a 9789038617022 |c kart. |9 978-90-386-1702-2 | ||
| 035 | |a (OCoLC)423909310 | ||
| 035 | |a (DE-599)DNB994332149 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-634 |a DE-91G |a DE-11 | ||
| 082 | 0 | |a 005.276 |2 22/ger | |
| 082 | 0 | |a 004.0151135 |2 22/ger | |
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 084 | |a DAT 510d |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Massuthe, Peter |d 1976- |e Verfasser |0 (DE-588)130450294 |4 aut | |
| 245 | 1 | 0 | |a Operating guidelines for services |c Peter Massuthe |
| 264 | 1 | |a Eindhoven |b Univ. Press |c 2009 | |
| 300 | |a 266 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a SIKS dissertation series |v 2009,12 | |
| 502 | |a Zugl.: Berlin, Humboldt-Univ. und Eindhoven, Techn. Univ., Diss., 2009 | ||
| 650 | 4 | |a Dienst <Informatik> - Modellierung - Automat - Petri-Netz - Verifikation - Formale Methode | |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Dienst |g Informatik |0 (DE-588)4835035-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automat |0 (DE-588)4003949-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Dienst |g Informatik |0 (DE-588)4835035-7 |D s |
| 689 | 0 | 1 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 0 | 2 | |a Automat |0 (DE-588)4003949-3 |D s |
| 689 | 0 | 3 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | 4 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 5 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a SIKS dissertation series |v 2009,12 |w (DE-604)BV012842495 |9 2009,12 | |
| 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=017682193&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017682193 | ||
Datensatz im Suchindex
| _version_ | 1804139301097701376 |
|---|---|
| adam_text | PETER MASSUTHE OPERATING GUIDELINES FOR SERVICES DISSERTATION TABLE OF
CONTENTS LIST OF FIGURES XIII LIST OF DEFINITIONS AND NOTATIONS XVII 1
INTRODUCTION 21 1.1 MOTIVATION 21 1.2 FORMAL ANALYSIS OF SERVICE
BEHAVIOR 22 1.3 PROBLEM DESCRIPTION AND RESEARCH GOAL -. 23 1.4
CONTRIBUTIONS 26 1.5 OUTLINE OF THE THESIS 28 1 SERVICE BEHAVIOR
MODELING 31 2 BACKGROUND ON SERVICES AND SERVICE-ORIENTED COMPUTING 33
2.1 SERVICES 33 2.2 SERVICE-ORIENTED COMPUTING (SOC) 34 2.3
SERVICE-ORIENTED ARCHITECTURE (SOA) 35 2.4 COMPATIBILITY CRITERIA FOR
SERVICES 37 2.5 FORMAL MODELING OF SERVICES 39 3 A FORMAL FRAMEWORK FOR
SERVICE MODELING 41 3.1 PRELIMINARIES 42 3.2 SERVICE MODELING WITH
SERVICE NETS 47 3.3 SERVICE BEHAVIOR MODELING WITH SERVICE AUTOMATA 60
IX TABLE OF CONTENTS 3.4 AN EQUIVALENT TRANSLATION BETWEEN SERVICE NETS
AND AUTOMATA . . 73 3.5 POSSIBLE VARIANTS OF SERVICE MODEL DEFINITIONS
84 3.6 RELATED WORK 87 3.7 CONCLUDING REMARKS 90 II ANALYZING THE
INTERACTION BEHAVIOR OF SERVICES 93 4 CHARACTERIZING SETS OF SERVICES 95
4.1 PRELIMINARIES 96 4.2 BOOLEAN ANNOTATED SERVICE AUTOMATA 101 4.3
NORMAL BOOLEAN ANNOTATED SERVICE AUTOMATA 107 4.4 A PREORDER ON BOOLEAN
ANNOTATED SERVICE AUTOMATA 119 4.5 THE CANONICAL REPRESENTATIVE OF A BS
A 123 4.6 POSSIBLE VARIANTS OF BSA DEFINITIONS 134 4.7 RELATED WORK 137
4.8 CONCLUDING REMARKS 138 5 OPERATING GUIDELINES FOR SERVICES 139 5.1 A
CHARACTERIZATION OF DEADLOCKS 140 5.2 AN ASYMMETRIC CHARACTERIZATION OF
STRATEGIES 148 5.3 RESTRICTION TO FINITE-STATE SERVICES 161 5.4 AN
OPERATING GUIDELINE CHARACTERIZATION OF STRATEGIES 164 5.5 POSSIBLE
VARIANTS OF OG DEFINITIONS 178 5.6 RELATED WORK 180 5.7 CONCLUDING
REMARKS 182 III APPLICATIONS AND IMPLEMENTATION 185 6 APPLICATIONS OF
OPERATING GUIDELINES 187 6.1 SERVICE DISCOVERY 187 6.2 SUBSTITUTABILITY
OF SERVICES 190 6.3 SERVICE SYNTHESIS FOR ADAPTER GENERATION 194 6.4
CONCLUSION 198 TABLE OF CONTENTS 7 IMPLEMENTATION IN THE TOOL FIONA 201
7.1 ABOUT FIONA 201 7.2 FUNCTIONALITY OF FIONA 202 7.3 IMPLEMENTATION OF
THE RESULTS 206 7.4 CASE STUDY 219 7.5 CONCLUSION 225 8 CONCLUSIONS AND
FUTURE WORK 227 8.1 CONCLUSIONS 227 8.2 FUTURE WORK 228 BIBLIOGRAPHY 231
INDEX 243 SUMMARY 247 ACKNOWLEDGEMENTS 249 ERKLAERUNG 251 CURRICULUM
VITAE 253 SIKS DISSERTATIONS 255
|
| any_adam_object | 1 |
| author | Massuthe, Peter 1976- |
| author_GND | (DE-588)130450294 |
| author_facet | Massuthe, Peter 1976- |
| author_role | aut |
| author_sort | Massuthe, Peter 1976- |
| author_variant | p m pm |
| building | Verbundindex |
| bvnumber | BV035627173 |
| classification_rvk | ST 136 |
| classification_tum | DAT 510d |
| ctrlnum | (OCoLC)423909310 (DE-599)DNB994332149 |
| dewey-full | 005.276 004.0151135 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.276 004.0151135 |
| dewey-search | 005.276 004.0151135 |
| dewey-sort | 15.276 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02349nam a2200565 cb4500</leader><controlfield tag="001">BV035627173</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100219 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090714s2009 d||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,A29,0034</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994332149</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789038617022</subfield><subfield code="c">kart.</subfield><subfield code="9">978-90-386-1702-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)423909310</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994332149</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.276</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151135</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510d</subfield><subfield code="2">stub</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">Massuthe, Peter</subfield><subfield code="d">1976-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)130450294</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Operating guidelines for services</subfield><subfield code="c">Peter Massuthe</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Eindhoven</subfield><subfield code="b">Univ. Press</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">266 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">SIKS dissertation series</subfield><subfield code="v">2009,12</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Berlin, Humboldt-Univ. und Eindhoven, Techn. Univ., Diss., 2009</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Dienst <Informatik> - Modellierung - Automat - Petri-Netz - Verifikation - Formale Methode</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dienst</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4835035-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automat</subfield><subfield code="0">(DE-588)4003949-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Dienst</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4835035-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Automat</subfield><subfield code="0">(DE-588)4003949-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">SIKS dissertation series</subfield><subfield code="v">2009,12</subfield><subfield code="w">(DE-604)BV012842495</subfield><subfield code="9">2009,12</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=017682193&sequence=000001&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-017682193</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV035627173 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:41:54Z |
| institution | BVB |
| isbn | 9789038617022 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017682193 |
| oclc_num | 423909310 |
| open_access_boolean | |
| owner | DE-706 DE-634 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-706 DE-634 DE-91G DE-BY-TUM DE-11 |
| physical | 266 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Univ. Press |
| record_format | marc |
| series | SIKS dissertation series |
| series2 | SIKS dissertation series |
| spelling | Massuthe, Peter 1976- Verfasser (DE-588)130450294 aut Operating guidelines for services Peter Massuthe Eindhoven Univ. Press 2009 266 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier SIKS dissertation series 2009,12 Zugl.: Berlin, Humboldt-Univ. und Eindhoven, Techn. Univ., Diss., 2009 Dienst <Informatik> - Modellierung - Automat - Petri-Netz - Verifikation - Formale Methode Verifikation (DE-588)4135577-5 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf Dienst Informatik (DE-588)4835035-7 gnd rswk-swf Automat (DE-588)4003949-3 gnd rswk-swf Modellierung (DE-588)4170297-9 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Dienst Informatik (DE-588)4835035-7 s Modellierung (DE-588)4170297-9 s Automat (DE-588)4003949-3 s Petri-Netz (DE-588)4045388-1 s Verifikation (DE-588)4135577-5 s Formale Methode (DE-588)4333722-3 s DE-604 SIKS dissertation series 2009,12 (DE-604)BV012842495 2009,12 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017682193&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Massuthe, Peter 1976- Operating guidelines for services SIKS dissertation series Dienst <Informatik> - Modellierung - Automat - Petri-Netz - Verifikation - Formale Methode Verifikation (DE-588)4135577-5 gnd Petri-Netz (DE-588)4045388-1 gnd Dienst Informatik (DE-588)4835035-7 gnd Automat (DE-588)4003949-3 gnd Modellierung (DE-588)4170297-9 gnd Formale Methode (DE-588)4333722-3 gnd |
| subject_GND | (DE-588)4135577-5 (DE-588)4045388-1 (DE-588)4835035-7 (DE-588)4003949-3 (DE-588)4170297-9 (DE-588)4333722-3 (DE-588)4113937-9 |
| title | Operating guidelines for services |
| title_auth | Operating guidelines for services |
| title_exact_search | Operating guidelines for services |
| title_full | Operating guidelines for services Peter Massuthe |
| title_fullStr | Operating guidelines for services Peter Massuthe |
| title_full_unstemmed | Operating guidelines for services Peter Massuthe |
| title_short | Operating guidelines for services |
| title_sort | operating guidelines for services |
| topic | Dienst <Informatik> - Modellierung - Automat - Petri-Netz - Verifikation - Formale Methode Verifikation (DE-588)4135577-5 gnd Petri-Netz (DE-588)4045388-1 gnd Dienst Informatik (DE-588)4835035-7 gnd Automat (DE-588)4003949-3 gnd Modellierung (DE-588)4170297-9 gnd Formale Methode (DE-588)4333722-3 gnd |
| topic_facet | Dienst <Informatik> - Modellierung - Automat - Petri-Netz - Verifikation - Formale Methode Verifikation Petri-Netz Dienst Informatik Automat Modellierung Formale Methode Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017682193&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV012842495 |
| work_keys_str_mv | AT massuthepeter operatingguidelinesforservices |