Model based software performance analysis:
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; Heidelberg
Springer
2011
|
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XII, 190 S. graph. Darst. 25 cm |
| ISBN: | 9783642136207 9783642136214 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV039754430 | ||
| 003 | DE-604 | ||
| 005 | 20220930 | ||
| 007 | t | ||
| 008 | 111212s2011 gw d||| |||| 00||| eng d | ||
| 015 | |a 10,N23 |2 dnb | ||
| 015 | |a 11,A37 |2 dnb | ||
| 016 | 7 | |a 1003136397 |2 DE-101 | |
| 020 | |a 9783642136207 |c Pp. : EUR 58.80 (freier Pr.), sfr 85.50 (freier Pr.) |9 978-3-642-13620-7 | ||
| 020 | |a 9783642136214 |c Online |9 978-3-642-13621-4 | ||
| 024 | 3 | |a 9783642136207 | |
| 028 | 5 | 2 | |a 11594758 |
| 035 | |a (OCoLC)646114572 | ||
| 035 | |a (DE-599)DNB1003136397 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-859 |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 005.12 |2 22/ger | |
| 082 | 0 | |a 004.24 |2 22/ger | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Cortellessa, Vittorio |e Verfasser |0 (DE-588)137081502 |4 aut | |
| 245 | 1 | 0 | |a Model based software performance analysis |c Vittorio Cortellessa ; Antinisca Di Marco ; Paola Inverardi |
| 246 | 1 | |a Model-based software performance analysis | |
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c 2011 | |
| 300 | |a XII, 190 S. |b graph. Darst. |c 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Leistungsbewertung |0 (DE-588)4167271-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarelebenszyklus |0 (DE-588)4691865-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarearchitektur |0 (DE-588)4121677-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Leistungsbewertung |0 (DE-588)4167271-9 |D s |
| 689 | 0 | 1 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | 2 | |a Softwarelebenszyklus |0 (DE-588)4691865-6 |D s |
| 689 | 0 | 3 | |a Softwarearchitektur |0 (DE-588)4121677-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Di Marco, Antinisca |e Verfasser |0 (DE-588)1013411331 |4 aut | |
| 700 | 1 | |a Inverardi, Paola |e Verfasser |0 (DE-588)132658364 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Model-Based Software Performance Analysis |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3487291&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=024615756&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024615756 | |
Record in the Search Index
| _version_ | 1805145715435896832 |
|---|---|
| adam_text |
IMAGE 1
CONTENTS
1 WHAT IS SOFTWARE PERFORMANCE? 1
1.1 NON-FUNCTIONAL VALIDATION OF SOFTWARE SYSTEMS 2
1.2 PERFORMANCE AS A NON-FUNCTIONAL ATTRIBUTE 4
1.3 SYSTEM VS. SOFTWARE PERFORMANCE ANALYSIS 6
2 SOFTWARE MODELING NOTATIONS 9
2.1 BASIC NOTATIONS 9
2.1.1 AUTOMATA 11
2.1.2 PROCESS ALGEBRAS 12
2.1.3 PETRINETS 14
2.1.4 MESSAGE SEQUENCE CHARTS 15
2.2 UNIFIED MODELING LANGUAGE 17
2.2.1 E-COMMERCE SYSTEM 18
2.2.2 USE CASE DIAGRAM 19
2.2.3 COMPONENT DIAGRAM 20
2.2.4 INTERACTION DIAGRAM 22
2.2.5 ACTIVITY DIAGRAM 25
2.2.6 STATE MACHINE DIAGRAM 30
2.2.7 DEPLOYMENT DIAGRAM 32
2.2.8 PROFILING UML 33
3 PERFORMANCE MODELING NOTATIONS 35
3.1 MARKOV PROCESSES 36
3.2 QUEUEING NETWORKS 39
3.2.1 QN DEFINITION 39
3.2.2 QN PARAMETERIZATION 40
3.3 EXECUTION GRAPHS 42
3.4 LAYERED QUEUEING NETWORKS 46
3.5 STOCHASTIC PETRI NETS 49
3.6 STOCHASTIC PROCESS ALGEBRAS 52
3.7 SIMULATION MODELS 54
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1003136397
DIGITALISIERT DURCH
IMAGE 2
XUE CONTENTS
3.8 UML PROFILE FOR SCHEDULABILITY, PERFORMANCE AND TIME 55 3.8.1
PAPROFILE: STEREOTYPES AND TAGGED VALUES 56
4 SOFTWARE LIFECYCLE AND PERFORMANCE ANALYSIS 65
4.1 SOFTWARE LIFECYCLE 65
4.2 PERFORMANCE ANALYSIS WITHIN THE LIFECYCLE 67
4.3 A SIMPLE APPLICATION EXAMPLE 74
5 FROM SOFTWARE MODELS TO PERFORMANCE MODELS 79
5.1 A GENERAL FRAMEWORK FOR MODEL TRANSFORMATION 79
5.2 SOME TRANSFORMATIONAL APPROACHES AT WORK 80
5.2.1 UML-I/R: FROM UML TO A SIMULATION MODEL 81
5.2.2 FROM UML TO A LAYERED QUEUEING NETWORK 92
5.2.3 SAPONE: FROM UML TO A QUEUEING NETWORK 115 5.3 OTHER
TRANSFORMATIONAL APPROACHES 131
5.3.1 QUEUEING NETWORK BASED METHODOLOGIES 131
5.3.2 PETRI NET-BASED APPROACHES 133
5.3.3 METHODOLOGIES BASED ON SIMULATION METHODS 134 5.4 DISCUSSION OF
THE APPROACHES 135
5.5 DESIRABLE ATTRIBUTES OF SOFTWARE PERFORMANCE ANALYSIS TECHNIQUES 139
6 PERFORMANCE MODEL SOLUTION 141
6.1 MODEL SOLUTION: FOUNDATIONS AND TECHNIQUES 142
6.1.1 OPERATIONAL ANALYSIS 143
6.1.2 SOLUTION TECHNIQUES AND RELATED NOTATIONS 148
6.1.3 SIMULATION 153
6.2 MODEL SOLUTION: TOOLS 154
6.2.1 SHARPE-MULTIPLE PERFORMANCE MODEL NOTATIONS . . . 154 6.2.2
SPE-ED-EXECUTION GRAPHS AND QUEUEING NETWORKS . . . 155 6.2.3
GREATSPN-STOCHASTIC PETRI NETS 156
6.2.4 TIMENET-STOCHASTIC PETRI NETS 157
6.2.5 TWOTOWERS-STOCHASTIC PROCESS ALGEBRAS 158
7 ADVANCED ISSUES IN SOFTWARE PERFORMANCE 159
7.1 SOFTWARE PERFORMANCE AND MODEL-DRIVEN ARCHITECTURE 159 7.2
INTERPRETATION OF PERFORMANCE ANALYSIS RESULTS 164
7.3 PERFORMANCE-BASED SOFTWARE RECONFIGURATION 165
7.3.1 ALLOWED RECONFIGURATIONS 169
7.3.2 ISSUES TO ADDRESS 169
7.4 A UNIFYING ONTOLOGY FOR SOFTWARE PERFORMANCE 171
7.4.1 THREE META-MODELS FOR SOFTWARE PERFORMANCE 172 7.4.2 BUILDING AN
ONTOLOGY FROM COMMON ENTITIES: A BOTTOM-UP APPROACH 177
7.4.3 EXPRESSIVENESS ISSUES: A TOP-DOWN PROCESS 180
REFERENCES 183
INDEX 189 |
| any_adam_object | 1 |
| author | Cortellessa, Vittorio Di Marco, Antinisca Inverardi, Paola |
| author_GND | (DE-588)137081502 (DE-588)1013411331 (DE-588)132658364 |
| author_facet | Cortellessa, Vittorio Di Marco, Antinisca Inverardi, Paola |
| author_role | aut aut aut |
| author_sort | Cortellessa, Vittorio |
| author_variant | v c vc m a d ma mad p i pi |
| building | Verbundindex |
| bvnumber | BV039754430 |
| classification_rvk | ST 230 ST 233 |
| ctrlnum | (OCoLC)646114572 (DE-599)DNB1003136397 |
| dewey-full | 005.12 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.12 004.24 |
| dewey-search | 005.12 004.24 |
| dewey-sort | 15.12 |
| 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 c 4500</leader><controlfield tag="001">BV039754430</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220930</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">111212s2011 gw d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N23</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,A37</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1003136397</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642136207</subfield><subfield code="c">Pp. : EUR 58.80 (freier Pr.), sfr 85.50 (freier Pr.)</subfield><subfield code="9">978-3-642-13620-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642136214</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-13621-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642136207</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11594758</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)646114572</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1003136397</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-859</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</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="100" ind1="1" ind2=" "><subfield code="a">Cortellessa, Vittorio</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)137081502</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model based software performance analysis</subfield><subfield code="c">Vittorio Cortellessa ; Antinisca Di Marco ; Paola Inverardi</subfield></datafield><datafield tag="246" ind1="1" ind2=" "><subfield code="a">Model-based software performance analysis</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 190 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">25 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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Leistungsbewertung</subfield><subfield code="0">(DE-588)4167271-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarelebenszyklus</subfield><subfield code="0">(DE-588)4691865-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</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="689" ind1="0" ind2="0"><subfield code="a">Leistungsbewertung</subfield><subfield code="0">(DE-588)4167271-9</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">Softwarelebenszyklus</subfield><subfield code="0">(DE-588)4691865-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</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">Di Marco, Antinisca</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1013411331</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Inverardi, Paola</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)132658364</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Model-Based Software Performance Analysis</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=3487291&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=024615756&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-024615756</subfield></datafield></record></collection> |
| id | DE-604.BV039754430 |
| illustrated | Illustrated |
| indexdate | 2024-07-21T00:18:25Z |
| institution | BVB |
| isbn | 9783642136207 9783642136214 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024615756 |
| oclc_num | 646114572 |
| open_access_boolean | |
| owner | DE-859 DE-83 DE-11 |
| owner_facet | DE-859 DE-83 DE-11 |
| physical | XII, 190 S. graph. Darst. 25 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| spelling | Cortellessa, Vittorio Verfasser (DE-588)137081502 aut Model based software performance analysis Vittorio Cortellessa ; Antinisca Di Marco ; Paola Inverardi Model-based software performance analysis Berlin ; Heidelberg Springer 2011 XII, 190 S. graph. Darst. 25 cm txt rdacontent n rdamedia nc rdacarrier Literaturangaben Leistungsbewertung (DE-588)4167271-9 gnd rswk-swf Softwarelebenszyklus (DE-588)4691865-6 gnd rswk-swf Softwarearchitektur (DE-588)4121677-5 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf Leistungsbewertung (DE-588)4167271-9 s Modellgetriebene Entwicklung (DE-588)4832365-2 s Softwarelebenszyklus (DE-588)4691865-6 s Softwarearchitektur (DE-588)4121677-5 s DE-604 Di Marco, Antinisca Verfasser (DE-588)1013411331 aut Inverardi, Paola Verfasser (DE-588)132658364 aut Erscheint auch als Online-Ausgabe Model-Based Software Performance Analysis X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3487291&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024615756&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Cortellessa, Vittorio Di Marco, Antinisca Inverardi, Paola Model based software performance analysis Leistungsbewertung (DE-588)4167271-9 gnd Softwarelebenszyklus (DE-588)4691865-6 gnd Softwarearchitektur (DE-588)4121677-5 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| subject_GND | (DE-588)4167271-9 (DE-588)4691865-6 (DE-588)4121677-5 (DE-588)4832365-2 |
| title | Model based software performance analysis |
| title_alt | Model-based software performance analysis |
| title_auth | Model based software performance analysis |
| title_exact_search | Model based software performance analysis |
| title_full | Model based software performance analysis Vittorio Cortellessa ; Antinisca Di Marco ; Paola Inverardi |
| title_fullStr | Model based software performance analysis Vittorio Cortellessa ; Antinisca Di Marco ; Paola Inverardi |
| title_full_unstemmed | Model based software performance analysis Vittorio Cortellessa ; Antinisca Di Marco ; Paola Inverardi |
| title_short | Model based software performance analysis |
| title_sort | model based software performance analysis |
| topic | Leistungsbewertung (DE-588)4167271-9 gnd Softwarelebenszyklus (DE-588)4691865-6 gnd Softwarearchitektur (DE-588)4121677-5 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| topic_facet | Leistungsbewertung Softwarelebenszyklus Softwarearchitektur Modellgetriebene Entwicklung |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3487291&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=024615756&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT cortellessavittorio modelbasedsoftwareperformanceanalysis AT dimarcoantinisca modelbasedsoftwareperformanceanalysis AT inverardipaola modelbasedsoftwareperformanceanalysis |