Rigorous software engineering for service-oriented systems Results of the SENSORIA project on software engineering for service-oriented computing
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6582 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037401111 | ||
| 003 | DE-604 | ||
| 005 | 20110817 | ||
| 007 | t | ||
| 008 | 110516s2011 d||| |||| 00||| eng d | ||
| 015 | |a 11,N11 |2 dnb | ||
| 016 | 7 | |a 1010479393 |2 DE-101 | |
| 020 | |a 9783642204005 |c Pb. : EUR 93.09 (DE) (freier Pr.), ca. USD 119.00 (US), ca. sfr 125.00 (freier Pr.) |9 978-3-642-20400-5 | ||
| 020 | |a 3642204007 |c Pb. :EUR 93.09 (DE) (freier Pr.), ca. USD 119.00 (US), ca. sfr 125.00 (freier Pr.) |9 3-642-20400-7 | ||
| 024 | 3 | |a 9783642204005 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80053246 |
| 035 | |a (OCoLC)725001153 | ||
| 035 | |a (DE-599)DNB1010479393 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-83 |a DE-91G |a DE-11 | ||
| 082 | 0 | |a 004.654 |2 22/ger | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Rigorous software engineering for service-oriented systems |b Results of the SENSORIA project on software engineering for service-oriented computing |c Martin Wirsing ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a X, 736 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6582 : State-of-the-Art Survey | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Serviceorientierte Architektur |0 (DE-588)4841015-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Serviceorientierte Architektur |0 (DE-588)4841015-9 |D s |
| 689 | 0 | 1 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 2 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Wirsing, Martin |d 1948- |e Sonstige |0 (DE-588)14353582X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6582 |w (DE-604)BV000000607 |9 6582 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3683398&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022553791&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022553791 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102/DAT 001z 2001 A 999-6582 |
|---|---|
| DE-BY-TUM_katkey | 1774104 |
| DE-BY-TUM_media_number | 040010209920 |
| _version_ | 1816713604937809920 |
| adam_text |
IMAGE 1
TABLE OF CONTENTS
I INTRO SENSORTA - SOFTWARE ENGINEERING FOR SERVICE-ORIENTED OVERLAY
COMPUTERS 1
MARTIN WIRSING, MATTHIAS HOELZL, NORA KOCH, AND PHILIP MAYER
A UNIFYING FORMAL BASIS FOR THE SENSORIA APPROACH: A WHITE PAPER 15
UGO MONTANARI
INTRODUCTION TO THE SENSORIA CASE STUDIES 26
JANNIS EIGNER, STEFANIA GNESI, NORA KOCH, AND PHILIP MAYER
II MODELLING IN SERVICE-ORIENTED ARCHITECTURES
UML EXTENSIONS FOR SERVICE-ORIENTED SYSTEMS 35
HOWARD FOSTER, LDSZLO GB'NCZY, NORA KOCH, PHILIP MAYER, CARLO
MONTANGERO, AND DANIEL VARRO
THE SENSORTA REFERENCE MODELLING LANGUAGE 61
JOSE FIADEIRO, ANTONIA LOPES, LAURA BOCCHI, AND JOAEO ABREU
MODEL-DRIVEN DEVELOPMENT OF ADAPTABLE SERVICE-ORIENTED BUSINESS
PROCESSES 115
CARLO MONTANGERO, STEPHAN REIFF-MARGANIEC, AND LAURA SEMINI
A FORMAL SUPPORT TO BUSINESS AND ARCHITECTURAL DESIGN FOR
SERVICE-ORIENTED SYSTEMS 133
ROBERTO BRUNI, HOWARD FOSTER, ALBERTO LLUCH LAFUENTE, UGO MONTANARI, AND
EMILIO TUOSTO
III CALCULI FOR SERVICE-ORIENTED COMPUTING
CORE CALCULI FOR SERVICE-ORIENTED COMPUTING 153
LUIS CAIRES, ROCCO DE NICOLA, ROSARIO PUGLIESE, VASCO T. VASCONCELOS,
AND GIANLUIGI ZAVATTARO
BEHAVIORAL THEORY FOR SESSION-ORIENTED CALCULI 189
IVAN LANESE, ANTONIO RAVARA, AND HUGO TORRES VIEIRA
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1010479393
DIGITALISIERT DURCH
IMAGE 2
VIII TABLE OF CONTENTS
STATIC ANALYSIS TECHNIQUES FOR SESSION-ORIENTED CALCULI 214
LUCIA ACCIAI, CHIARA BODEI, MICHELE BOREALE, ROBERTO BRUNT, AND HUGO
TORRES VIEIRA
CALL-BY-CONTRACT FOR SERVICE DISCOVERY, ORCHESTRATION AND RECOVERY . .
. 232 MASSIMO BARTOLETTI, PIERPAOLO DEGANO, GIAN LUIGI FERRARI, AND
ROBERTO ZUNINO
IV NEGOTIATIONS, PLANNING, AND RECONFIGURATION
CC-PI: A CONSTRAINT LANGUAGE FOR SERVICE NEGOTIATION AND COMPOSITION 262
MARIA GRAZIA BUSCEMI AND UGO MONTANARI
ADVANCED MECHANISMS FOR SERVICE COMPOSITION, QUERY AND DISCOVERY 282
MICHELE BOREALE AND MARIO BRAVETTI
ADVANCED MECHANISMS FOR SERVICE COMBINATION AND TRANSACTIONS 302 CARLA
FERREIRA, IVAN LANESE, ANTONIO RAVARA, HUGO TORRES VIEIRA, AND GIANLUIGI
ZAVATTARO
MODEL-DRIVEN DEVELOPMENT OF LONG RUNNING TRANSACTIONS 326 VINCENZO
CIANCIA, GIANLUIGI FERRARI, ROBERTO GUANCIALE, DANIELE STROLLO, AND
EMILIO TUOSTO
HIERARCHICAL MODELS FOR SERVICE-ORIENTED SYSTEMS 349
ROBERTO BRUNI, ANDREA CORRADINI, FABIO GADDUCCI, ALBERTO LLUCH LAFUENTE,
AND UGO MONTANARI
V QUALITATIVE ANALYSIS TECHNIQUES FOR SERVICE-ORIENTED COMPUTING
ANALYSING PROTOCOL STACKS FOR SERVICES 369
HAN GAO, FLEMMING NIELSON, AND HANNE RIIS NIELSON
AN ABSTRACT, ON THE FLY FRAMEWORK FOR THE VERIFICATION OF
SERVICE-ORIENTED SYSTEMS 390
STEFANIA GNESI AND FRANCO MAZZANTI
TOOLS AND VERIFICATION 408
MASSIMO BARTOLETTI, LUIS CAIRES, IVAN LANESE, FRANCO MAZZANTI, DAVIDE
SANGIORGI, HUGO TORRES VIEIRA, AND ROBERTO ZUNINO
IMAGE 3
TABLE OF CONTENTS IX
SPECIFICATION AND ANALYSIS OF DYNAMICALLY-RECONFIGURABLE SERVICE
ARCHITECTURES 428
HOWARD FOSTER, ARUN MUKHIJA, DAVID S. ROSENBLUM, AND SEBASTIAN UCHITEL
VI QUANTITATIVE ANALYSIS TECHNIQUES FOR SERVICE-ORIENTED COMPUTING
SOSL: A SERVICE-ORIENTED STOCHASTIC LOGIC 447
ROCCO DE NICOLA, DIEGO LATELLA, MICHELE LORETI, AND MIEKE MASSINK
EVALUATING SERVICE LEVEL AGREEMENTS USING OBSERVATIONAL PROBES 467 ALLAN
CLARK AND STEPHEN GILMORE
SCALING PERFORMANCE ANALYSIS USING FLUID-FLOW APPROXIMATION 486 MIRCO
TRIBASTONE AND STEPHEN GILMORE
PASSAGE-END ANALYSIS FOR ANALYSING ROBOT MOVEMENT 506
ALLAN CLARK, ADAM DUGUID, AND STEPHEN GILMORE
QUANTITATIVE ANALYSIS OF SERVICES 522
IGOR CAPPELLO, ALLAN CLARK, STEPHEN GILMORE, DIEGO LATELLA, MICHELE
LORETI, PAOLA QUAGLIA, AND STEFANO SCHIVO
VII MODEL-DRIVEN DEVELOPMENT AND REVERSE-ENGINEERING FOR
SERVICE-ORIENTED SYSTEMS
METHODOLOGIES FOR MODEL-DRIVEN DEVELOPMENT AND DEPLOYMENT: AN OVERVIEW
541
LDSZLOE GOENCZY, ABEL HEGEDUES, AND DANIEL VARRO
ADVANCES IN MODEL TRANSFORMATIONS BY GRAPH TRANSFORMATION:
SPECIFICATION, EXECUTION AND ANALYSIS 561
GABOR BERGMANN, ARTUR BORONAT, REIKO HECKEL, PAOLO TORRINI, ISTVDN RATH,
AND DANIEL VARRO
RUNTIME SUPPORT FOR DYNAMIC AND ADAPTIVE SERVICE COMPOSITION 585 ARUN
MUKHIJA, DAVID S. ROSENBLUM, HOWARD FOSTER, AND SEBASTIAN UCHITEL
LEGACY TRANSFORMATIONS FOR EXTRACTING SERVICE COMPONENTS 604 CARLOS
MATOS AND REIKO HECKEL
THE SENSORIA DEVELOPMENT ENVIRONMENT 622
PHILIP MAYER AND ISTVAN RATH
IMAGE 4
TABLE OF CONTENTS
VIII CASE STUDIES AND PATTERNS
SPECIFICATION AND IMPLEMENTATION OF DEMONSTRATORS FOR THE CASE STUDIES
640
JANNIS EIGNER, STEFANIA GNESI, NORA KOCH, AND PHILIP MAYER
SENSORIA RESULTS APPLIED TO THE CASE STUDIES 655
MAURICE H. TER BEEK
ANALYSING ROBOT MOVEMENT USING THE SENSORIA METHODS 678 MAURICE H. TER
BEEK, ALESSANDRO LAPADULA, MICHELE LORETI, AND CLAUDIO PALASCIANO
THE SENSORIA APPROACH APPLIED TO THE FINANCE CASE STUDY 698 STEFANIA
GNESI, ROSARIO PUGLIESE, AND FRANCESCO TIEZZI
SENSORIA PATTERNS 719
MATTHIAS HOTEL, NORA KOCH, PHILIP MAYER, AND MARTIN WIRSING
AUTHOR INDEX 737 |
| any_adam_object | 1 |
| author_GND | (DE-588)14353582X |
| building | Verbundindex |
| bvnumber | BV037401111 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)725001153 (DE-599)DNB1010479393 |
| dewey-full | 004.654 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.654 |
| dewey-search | 004.654 |
| dewey-sort | 14.654 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV037401111</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110817</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110516s2011 d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N11</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1010479393</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642204005</subfield><subfield code="c">Pb. : EUR 93.09 (DE) (freier Pr.), ca. USD 119.00 (US), ca. sfr 125.00 (freier Pr.)</subfield><subfield code="9">978-3-642-20400-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642204007</subfield><subfield code="c">Pb. :EUR 93.09 (DE) (freier Pr.), ca. USD 119.00 (US), ca. sfr 125.00 (freier Pr.)</subfield><subfield code="9">3-642-20400-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642204005</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80053246</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725001153</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1010479393</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-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.654</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Rigorous software engineering for service-oriented systems</subfield><subfield code="b">Results of the SENSORIA project on software engineering for service-oriented computing</subfield><subfield code="c">Martin Wirsing ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 736 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">Lecture notes in computer science</subfield><subfield code="v">6582 : State-of-the-Art Survey</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wirsing, Martin</subfield><subfield code="d">1948-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)14353582X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6582</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6582</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3683398&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=022553791&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-022553791</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV037401111 |
| illustrated | Illustrated |
| indexdate | 2024-11-25T17:37:10Z |
| institution | BVB |
| isbn | 9783642204005 3642204007 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022553791 |
| oclc_num | 725001153 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| physical | X, 736 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Rigorous software engineering for service-oriented systems Results of the SENSORIA project on software engineering for service-oriented computing Lecture notes in computer science Software Engineering (DE-588)4116521-4 gnd Serviceorientierte Architektur (DE-588)4841015-9 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)4841015-9 (DE-588)4832365-2 (DE-588)4143413-4 |
| title | Rigorous software engineering for service-oriented systems Results of the SENSORIA project on software engineering for service-oriented computing |
| title_auth | Rigorous software engineering for service-oriented systems Results of the SENSORIA project on software engineering for service-oriented computing |
| title_exact_search | Rigorous software engineering for service-oriented systems Results of the SENSORIA project on software engineering for service-oriented computing |
| title_full | Rigorous software engineering for service-oriented systems Results of the SENSORIA project on software engineering for service-oriented computing Martin Wirsing ... (eds.) |
| title_fullStr | Rigorous software engineering for service-oriented systems Results of the SENSORIA project on software engineering for service-oriented computing Martin Wirsing ... (eds.) |
| title_full_unstemmed | Rigorous software engineering for service-oriented systems Results of the SENSORIA project on software engineering for service-oriented computing Martin Wirsing ... (eds.) |
| title_short | Rigorous software engineering for service-oriented systems |
| title_sort | rigorous software engineering for service oriented systems results of the sensoria project on software engineering for service oriented computing |
| title_sub | Results of the SENSORIA project on software engineering for service-oriented computing |
| topic | Software Engineering (DE-588)4116521-4 gnd Serviceorientierte Architektur (DE-588)4841015-9 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| topic_facet | Software Engineering Serviceorientierte Architektur Modellgetriebene Entwicklung Aufsatzsammlung |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3683398&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022553791&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT wirsingmartin rigoroussoftwareengineeringforserviceorientedsystemsresultsofthesensoriaprojectonsoftwareengineeringforserviceorientedcomputing |