Service substitution: a behavioral approach based on Petri Nets
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Hochschulschrift/Dissertation Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Eindhoven
Univ. Press Facilities
2009
|
| Schriftenreihe: | SIKS dissertation series; 2009,39
2009,39 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020191816&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Zsfassung in dt. Sprache |
| Umfang: | 289 S. Ill. |
| ISBN: | 9789038620657 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV025595830 | ||
| 003 | DE-604 | ||
| 005 | 20170324 | ||
| 007 | t| | ||
| 008 | 100417s2009 xx a||| m||| 00||| eng d | ||
| 020 | |a 9789038620657 |9 978-90-386-2065-7 | ||
| 035 | |a (OCoLC)660151712 | ||
| 035 | |a (DE-599)BVBBV025595830 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-706 |a DE-634 |a DE-29T |a DE-91G |a DE-355 | ||
| 082 | 0 | |a 004.360151135 |2 22/ger | |
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a WIR 523d |2 stub | ||
| 084 | |a DAT 310d |2 stub | ||
| 084 | |a DAT 516d |2 stub | ||
| 100 | 1 | |a Stahl, Christian |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Service substitution |b a behavioral approach based on Petri Nets |c von Christian Stahl |
| 264 | 1 | |a Eindhoven |b Univ. Press Facilities |c 2009 | |
| 300 | |a 289 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a SIKS dissertation series; 2009,39 | |
| 500 | |a Zsfassung in dt. Sprache | ||
| 502 | |a Zugl.: Doppelpromotion: Berlin, Humboldt-Univ., Diss., 2009 und Eindhoven, Techn. Univ., Diss., 2009 | ||
| 650 | 0 | 7 | |a Serviceorientierte Architektur |0 (DE-588)4841015-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Schrittweise Verfeinerung |0 (DE-588)4235871-1 |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 Austauschbarkeit |0 (DE-588)4663830-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Serviceorientierte Architektur |0 (DE-588)4841015-9 |D s |
| 689 | 0 | 1 | |a Austauschbarkeit |0 (DE-588)4663830-1 |D s |
| 689 | 0 | 2 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | 3 | |a Schrittweise Verfeinerung |0 (DE-588)4235871-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a SIKS dissertation series; 2009,39 |v 2009,39 |w (DE-604)BV012842495 |9 2009,39 | |
| 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=020191816&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020191816 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 516d 2010 A 6444 |
|---|---|
| DE-BY-TUM_katkey | 1740723 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010235933 |
| _version_ | 1821933043404767232 |
| adam_text | SERVICE SUBSTITUTION A BEHAVIORAL APPROACH BASED ON PETRI NETS
PROEFSCHRIFT TER VERKRIJGING VAN DE GRAAD VAN DOCTOR AAN DE TECHNISCHE
UNIVERSITEIT EINDHOVEN, OP GEZAG VAN DE RECTOR MAGNINCUS, PROF.DR.IR.
C.J. VAN DUIJN, VOOR EEN COMMISSIE AANGEWEZEN DOOR HET COLLEGE VOOR
PROMOTIES IN HET OPENBAAR TE VERDEDIGEN OP DINSDAG 1 DECEMBER 2009 OM
14.00 UUR DOOR CHRISTIAN STAHL GEBOREN TE BERLIJN, DUITSLAND SERVICE
SUBSTITUTION A BEHAVIORAL APPROACH BASED ON PETRI NETS DISSERTATION ZUR
ERLANGUNG DES AKADEMISCHEN GRADES DOKTOR DER NATURWISSENSCHAFTEN (DOCTOR
RERUM NATURALIUM, DR. RER. NAT.) IM FACH INFORMATIK EINGEREICHT AN DER
MATHEMATISCH-NATURWISSENSCHAFTLICHEN FAKULTAET II DER
HUMBOLDT-UNIVERSITAET ZU BERLIN IM RAHMEN EINER DOPPELPROMOTION MIT DER
TECHNISCHE UNIVERSITEIT EINDHOVEN, NIEDERLANDE VON HERRN
DIPLOM-INFORMATIKER CHRISTIAN STAHL GEBOREN AM 15. JUNI 1978 PRAESIDENT
DER HUMBOLDT-UNIVERSITAET ZU BERLIN PROF. DR. DR. H.C. CHRISTOPH
MARKSCHIES DEKAN DER MATHEMATISCH-NATURWISSENSCHAFTLICHEN FAKULTAET II
PROF. DR. PETER FRENSCH 1. GUTACHTER PROF. DR. KEES M. VAN *** 2.
GUTACHTER PROF. DR. WOLFGANG REISIG 3. GUTACHTER PROF. DR. KARSTEN WOLF
EINGEREICHT AM 9. OKTOBER 2009 TAG DER MUENDLICHEN PRUEFUNG 1. DEZEMBER
2009 CONTENTS I. INTRODUCTION 15 1. ABOUT THIS THESIS 17 1.1. BACKGROUND
17 1.1.1. SERVICE-ORIENTED COMPUTING 17 1.1.2. SERVICE COMPOSITION 18
1.1.3. RESEARCH CHALLENGES IN SERVICE-ORIENTED COMPUTING 20 1.2. PROBLEM
DESCRIPTION AND PROBLEM STATEMENT 21 1.2.1. APPLICATION 1: MULTIPARTY
CONTRACTS 22 1.2.2. APPLICATION 2: SERVICE IMPROVEMENT 24 1.3. THESIS
OVERVIEW 25 1.3.1. RESULTS OVERVIEW 25 1.3.2. ROAD MAP 28 2. A FORMAL
MODEL FOR SERVICE BEHAVIOR 29 2.1. TRANSITION SYSTEMS AND EQUIVALENCE
NOTIONS 29 2.2. BASIC DEFINITIONS ON PETRI NETS 32 2.3. MODELING SERVICE
BEHAVIOR WITH OPEN NETS 34 2.4. COMPOSITION OF OPEN NETS 38 2.5.
MODELING MULTIPARTY CONTRACTS WITH OPEN NETS 40 2.6. BEHAVIORAL
COMPATIBILITY OF OPEN NETS 42 2.6.1. BEHAVIORAL PROPERTIES OF OPEN NETS
43 2.6.2. OPEN-NET PROPERTIES AND STRATEGIES 45 2.7. MODELING SERVICE
BEHAVIOR WITH SERVICE AUTOMATA 47 2.7.1. A NORMAL FORM FOR OPEN NETS 47
2.7.2. SERVICE AUTOMATA AND THEIR RELATIONSHIP TO OPEN NETS . . . . 50
2.8. DISCUSSION OF THE MODELING RESTRICTIONS 53 2.8.1. JUSTIFICATION OF
THE DESIGN DECISIONS IN OPEN NETS 53 2.8.2. TRANSLATING REAL-LIFE
SERVICES INTO OPEN NETS 54 II. SUBSTITUTABILITY CRITERIA AND
REPRESENTATIONS OF SETS OF 11 CONTENTS SERVICES 57 3. SUBSTITUTABILITY
CRITERIA 59 3.1. SUBSTITUTABILITY UNDER CONFORMANCE 59 3.1.1. A NOTION
OF CONFORMANCE 60 3.1.2. RELATIONSHIP BETWEEN CONFORMANCE AND KNOWN
PREORDERS . . 63 3.2. SUBSTITUTABILITY UNDER PRESERVATION 64 4. A FINITE
REPRESENTATION OF STRATEGIES 67 4.1. REPRESENTING STRATEGIES IN CASE OF
DEADLOCK FREEDOM 68 4.1.1. ANNOTATED AUTOMATA TO REPRESENT SETS OF OPEN
NETS 68 4.1.2. CONSTRUCTION OF THE MOST PERMISSIVE X -STRATEGY 74
4.1.3. .^-OPERATING GUIDELINES 81 4.1.4. EXPERIMENTAL RESULTS AND
DISCUSSION 84 4.2. REPRESENTING STRATEGIES IN CASE OF DEADLOCK FREEDOM
AND COVER ... 89 4.2.1. DECIDING COVERABILITY OF OPEN-NET NODES 90
4.2.2. EXTENDING XI-OPERATING GUIDELINES WITH A GLOBAL CONSTRAINT 92
4.2.3. REPRESENTING STRATEGIES IN CASE OF DEADLOCK FREEDOM AND
QUASI-LIVENESS 95 4.2.4. EXPERIMENTAL RESULTS AND DISCUSSION 96 4.3.
REPRESENTING STRATEGIES IN CASE OF WEAK TERMINATION 99 4.3.1. MOTIVATION
FOR ANOTHER REPRESENTATION 99 4.3.2. CONSTRUCTION OF THE MOST PERMISSIVE
X 3 -STRATEGY 101 4.3.3. A FINITE GENERATOR SET FOR CONSTRUCTING
COMPOSED SYSTEMS . . 103 4.3.4. REDUCING FRAGMENTS 110 4.3.5. AN
ANNOTATION FUNCTION FOR FRAGMENTS TO ENCODE DEADLOCK FREEDOM 117 4.3.6.
EXPERIMENTAL RESULTS AND DISCUSSION 119 4.4. REPRESENTING STRATEGIES IN
CASE OF WEAK TERMINATION AND COVER . . . 123 4.4.1. A FINITE
REPRESENTATION OF ALL XI(Y)-STRATEGIES 123 4.4.2. DISCUSSION 125 4.5.
REPRESENTING STRATEGIES IN CASE OF STRICT TERMINATION 126 4.5.1.
RESTRICTING THE MOST PERMISSIVE **-STRATEGY TO STRICT TERMI NATION 126
4.5.2. DISCUSSION 128 III. DECIDING SUBSTITUTABILITY CRITERIA 131 5.
DECIDING SUBSTITUTABILITY UNDER CONFORMANCE 133 5.1. DECIDING
CONFORMANCE IN CASE OF DEADLOCK FREEDOM 133 5.1.1. REFINEMENT OF X
-OPERATION GUIDELINES 134 5.1.2. IMPLEMENTATION OF THE XI-CONFORMANCE
CHECK IN FIONA . . . 138 12 5.2. DECIDING CONFORMANCE IN CASE OF
DEADLOCK FREEDOM AND COVER . . . . 138 5.2.1. STRUCTURE AND LOCAL
ANNOTATIONS 139 5.2.2. GLOBAL CONSTRAINT 141 5.2.3. AN ALGORITHM FOR
CHECKING (X 2 (Y),X2(Z))-CONFORMANCE . . 150 5.2.4. TOWARDS DECIDING
.X^-CONFORMANCE 152 6. DECIDING SUBSTITUTABILITY UNDER PRESERVATION 155
6.1. THE PRODUCT OF FINITE STRATEGY REPRESENTATIONS 155 6.1.1.
X2(F)-OPERATING GUIDELINES 156 6.1.2. XJ(Y)-OPERATING GUIDELINES 161
6.2. PRESERVATION CHECK WITH THE PRODUCT 167 6.2.1. DECIDING
X-PRESERVATION OF A FINITE SET OF STRATEGIES 168 6.2.2. DECIDING
X-PRESERVATION OF AN INFINITE SET OF STRATEGIES . . . 169 6.2.3.
DECIDING CONSTRAINT-CONFORMING SUBSTITUTABILITY 170 IV. CONSTRUCTING
SUBSTITUTABLE SERVICES 173 7. DERIVING SUBSTITUTABLE SERVICES WITH
TRANSFORMATION RULES 175 7.1. THE TRANSFORMATION APPROACH 176 7.2.
PROJECTION-INHERITANCE PRESERVING TRANSFORMATION RULES 178 7.3.
CONFORMANCE-EQUIVALENCE PRESERVING TRANSFORMATION RULES 180 7.3.1.
RECEIVE-ONLY RULES 181 7.3.2. SEND-ONLY RULES 184 7.3.3.
SEND-AND-RECEIVE RULES 188 7.4. CONFORMANCE-PRESERVING TRANSFORMATION
RULES 196 7.4.1. ADDING AN ALTERNATIVE BRANCH 196 7.4.2. PARALLELIZATION
SEND-RECEIVE 197 8. EXTENDING THE EQUIVALENCE NOTION FOR ABSTRACT
WS-BPEL PROCESSES 199 8.1. A GLIMPSE ON BPEL 199 8.2. ABSTRACT PROCESSES
IN BPEL 201 8.3. A NOVEL ABSTRACT PROFILE FOR BPEL 204 8.3.1. AN
EQUIVALENCE NOTION FOR BPEL PROCESSES 205 8.3.2. A RELAXED EQUIVALENCE
NOTION FOR ASYNCHRONOUS BINDINGS . . 209 8.3.3. DISALLOWED
TRANSFORMATION RULES 210 8.3.4. DISCUSSION 212 V. WRAP-UP 213 9. RELATED
WORK 215 9.1. WORK ON CONFORMANCE 215 9.1.1. WORK BASED ON PETRI NETS
215 CONTENTS 9.1.2. WORK BASED ON PROCESS CALCULI 218 9.1.3. WORK BASED
ON AUTOMATA 219 9.2. WORK ON PRESERVATION 220 9.3. WORK ON
CONFORMANCE-PRESERVING TRANSFORMATION RULES 221 10. CONCLUSIONS 223
10.1. CONTRIBUTION OF THIS THESIS 223 10.1.1. SUBSTITUTABILITY CRITERIA
223 10.1.2. DECIDING SUBSTITUTABILITY 224 10.1.3. CONSTRUCTING
SUBSTITUTABLE SERVICES 226 10.2. OPEN PROBLEMS 226 10.3. FURTHER
RESEARCH 227 A. PLACING CONFORMANCE IN THE LINEAR TIME - BRANCHING TIME
SPECTRUM 231 A.L. RELATIONSHIP BETWEEN CONFORMANCE AND FAIR TESTING 231
A.L.L. PRELIMINARIES 232 A.1.2. **-CONFORMANCE VERSUS FAIR TESTING 234
A.1.3. A COVERING KIND OF FAIR TESTING 236 A. 1.4. COVERING RESTRICTED
TESTING VERSUS RESTRICTED TESTING 240 A. 1.5. APPLICATION TO
ASYNCHRONOUS PROCESSES 244 A.2. RELATIONSHIP BETWEEN CONFORMANCE AND
FAILURES 247 BIBLIOGRAPHY 251 INDEX 267 ACKNOWLEDGEMENTS 271 ERKLAERUNG
273 CURRICULUM VITAE 275 SIKS DISSERTATIONS 277 14
|
| any_adam_object | 1 |
| author | Stahl, Christian |
| author_facet | Stahl, Christian |
| author_role | aut |
| author_sort | Stahl, Christian |
| author_variant | c s cs |
| building | Verbundindex |
| bvnumber | BV025595830 |
| classification_rvk | ST 132 |
| classification_tum | WIR 523d DAT 310d DAT 516d |
| ctrlnum | (OCoLC)660151712 (DE-599)BVBBV025595830 |
| dewey-full | 004.360151135 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.360151135 |
| dewey-search | 004.360151135 |
| dewey-sort | 14.360151135 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Wirtschaftswissenschaften |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02111nam a2200493 cb4500</leader><controlfield tag="001">BV025595830</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170324 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100417s2009 xx a||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789038620657</subfield><subfield code="9">978-90-386-2065-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)660151712</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025595830</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-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.360151135</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">WIR 523d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Stahl, Christian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Service substitution</subfield><subfield code="b">a behavioral approach based on Petri Nets</subfield><subfield code="c">von Christian Stahl</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Eindhoven</subfield><subfield code="b">Univ. Press Facilities</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">289 S.</subfield><subfield code="b">Ill.</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; 2009,39</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zsfassung in dt. Sprache</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Doppelpromotion: Berlin, Humboldt-Univ., Diss., 2009 und Eindhoven, Techn. Univ., Diss., 2009</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Serviceorientierte Architektur</subfield><subfield code="0">(DE-588)4841015-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Schrittweise Verfeinerung</subfield><subfield code="0">(DE-588)4235871-1</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">Austauschbarkeit</subfield><subfield code="0">(DE-588)4663830-1</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">Serviceorientierte Architektur</subfield><subfield code="0">(DE-588)4841015-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Austauschbarkeit</subfield><subfield code="0">(DE-588)4663830-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="3"><subfield code="a">Schrittweise Verfeinerung</subfield><subfield code="0">(DE-588)4235871-1</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; 2009,39</subfield><subfield code="v">2009,39</subfield><subfield code="w">(DE-604)BV012842495</subfield><subfield code="9">2009,39</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=020191816&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-020191816</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV025595830 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T14:31:03Z |
| institution | BVB |
| isbn | 9789038620657 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020191816 |
| oclc_num | 660151712 |
| open_access_boolean | |
| owner | DE-11 DE-706 DE-634 DE-29T DE-91G DE-BY-TUM DE-355 DE-BY-UBR |
| owner_facet | DE-11 DE-706 DE-634 DE-29T DE-91G DE-BY-TUM DE-355 DE-BY-UBR |
| physical | 289 S. Ill. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Univ. Press Facilities |
| record_format | marc |
| series | SIKS dissertation series; 2009,39 |
| series2 | SIKS dissertation series; 2009,39 |
| spellingShingle | Stahl, Christian Service substitution a behavioral approach based on Petri Nets SIKS dissertation series; 2009,39 Serviceorientierte Architektur (DE-588)4841015-9 gnd Schrittweise Verfeinerung (DE-588)4235871-1 gnd Petri-Netz (DE-588)4045388-1 gnd Austauschbarkeit (DE-588)4663830-1 gnd |
| subject_GND | (DE-588)4841015-9 (DE-588)4235871-1 (DE-588)4045388-1 (DE-588)4663830-1 (DE-588)4113937-9 |
| title | Service substitution a behavioral approach based on Petri Nets |
| title_auth | Service substitution a behavioral approach based on Petri Nets |
| title_exact_search | Service substitution a behavioral approach based on Petri Nets |
| title_full | Service substitution a behavioral approach based on Petri Nets von Christian Stahl |
| title_fullStr | Service substitution a behavioral approach based on Petri Nets von Christian Stahl |
| title_full_unstemmed | Service substitution a behavioral approach based on Petri Nets von Christian Stahl |
| title_short | Service substitution |
| title_sort | service substitution a behavioral approach based on petri nets |
| title_sub | a behavioral approach based on Petri Nets |
| topic | Serviceorientierte Architektur (DE-588)4841015-9 gnd Schrittweise Verfeinerung (DE-588)4235871-1 gnd Petri-Netz (DE-588)4045388-1 gnd Austauschbarkeit (DE-588)4663830-1 gnd |
| topic_facet | Serviceorientierte Architektur Schrittweise Verfeinerung Petri-Netz Austauschbarkeit Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020191816&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV012842495 |
| work_keys_str_mv | AT stahlchristian servicesubstitutionabehavioralapproachbasedonpetrinets |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 516d 2010 A 6444
Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |