%PDF-1.4 % 3 0 obj << /pgfprgb [/Pattern /DeviceRGB] >> endobj 4 0 obj << /S /GoTo /D (Contents.0) >> endobj 7 0 obj (Contents) endobj 8 0 obj << /S /GoTo /D (chapter.1) >> endobj 11 0 obj (1 Introduction) endobj 12 0 obj << /S /GoTo /D (section.1.1) >> endobj 15 0 obj (1.1 Motivation) endobj 16 0 obj << /S /GoTo /D (section.1.2) >> endobj 19 0 obj (1.2 Aim of the Thesis) endobj 20 0 obj << /S /GoTo /D (section.1.3) >> endobj 23 0 obj (1.3 Outline) endobj 24 0 obj << /S /GoTo /D (chapter.2) >> endobj 27 0 obj (2 Foundations) endobj 28 0 obj << /S /GoTo /D (section.2.1) >> endobj 31 0 obj (2.1 Palladio Component Model \(PCM\)) endobj 32 0 obj << /S /GoTo /D (subsection.2.1.1) >> endobj 35 0 obj (2.1.1 Overview) endobj 36 0 obj << /S /GoTo /D (subsection.2.1.2) >> endobj 39 0 obj (2.1.2 Repository) endobj 40 0 obj << /S /GoTo /D (subsection.2.1.3) >> endobj 43 0 obj (2.1.3 System) endobj 44 0 obj << /S /GoTo /D (subsection.2.1.4) >> endobj 47 0 obj (2.1.4 Resource Environment and Allocation) endobj 48 0 obj << /S /GoTo /D (subsection.2.1.5) >> endobj 51 0 obj (2.1.5 Usage Model) endobj 52 0 obj << /S /GoTo /D (subsection.2.1.6) >> endobj 55 0 obj (2.1.6 Stochastic Expressions \(StoEx\)) endobj 56 0 obj << /S /GoTo /D (section.2.2) >> endobj 59 0 obj (2.2 Petri Nets) endobj 60 0 obj << /S /GoTo /D (subsection.2.2.1) >> endobj 63 0 obj (2.2.1 Ordinary Petri Nets) endobj 64 0 obj << /S /GoTo /D (subsection.2.2.2) >> endobj 67 0 obj (2.2.2 Colored Petri Nets) endobj 68 0 obj << /S /GoTo /D (subsection.2.2.3) >> endobj 71 0 obj (2.2.3 Stochastic Petri Nets) endobj 72 0 obj << /S /GoTo /D (subsection.2.2.4) >> endobj 75 0 obj (2.2.4 Queueing Petri Nets) endobj 76 0 obj << /S /GoTo /D (subsection.2.2.5) >> endobj 79 0 obj (2.2.5 Queueing Petri net Modeling Environment \(QPME\)) endobj 80 0 obj << /S /GoTo /D (section.2.3) >> endobj 83 0 obj (2.3 Model-to-Model Transformations) endobj 84 0 obj << /S /GoTo /D (subsection.2.3.1) >> endobj 87 0 obj (2.3.1 Overview) endobj 88 0 obj << /S /GoTo /D (subsection.2.3.2) >> endobj 91 0 obj (2.3.2 QVT Operational) endobj 92 0 obj << /S /GoTo /D (chapter.3) >> endobj 95 0 obj (3 Approach) endobj 96 0 obj << /S /GoTo /D (section.3.1) >> endobj 99 0 obj (3.1 Mapping Derivation) endobj 100 0 obj << /S /GoTo /D (section.3.2) >> endobj 103 0 obj (3.2 PCM Solver Tool Development) endobj 104 0 obj << /S /GoTo /D (subsection.3.2.1) >> endobj 107 0 obj (3.2.1 Requirements) endobj 108 0 obj << /S /GoTo /D (subsection.3.2.2) >> endobj 111 0 obj (3.2.2 Technology) endobj 112 0 obj << /S /GoTo /D (subsection.3.2.3) >> endobj 115 0 obj (3.2.3 Development Process) endobj 116 0 obj << /S /GoTo /D (section.3.3) >> endobj 119 0 obj (3.3 Evaluation) endobj 120 0 obj << /S /GoTo /D (subsection.3.3.1) >> endobj 123 0 obj (3.3.1 Feature Support) endobj 124 0 obj << /S /GoTo /D (subsection.3.3.2) >> endobj 127 0 obj (3.3.2 Case Studies) endobj 128 0 obj << /S /GoTo /D (chapter.4) >> endobj 131 0 obj (4 Related Work) endobj 132 0 obj << /S /GoTo /D (section.4.1) >> endobj 135 0 obj (4.1 PCM Analysis Techniques) endobj 136 0 obj << /S /GoTo /D (section.4.2) >> endobj 139 0 obj (4.2 Model-Based Approaches to Performance Prediction) endobj 140 0 obj << /S /GoTo /D (section.4.3) >> endobj 143 0 obj (4.3 Intermediate Software Performance Languages) endobj 144 0 obj << /S /GoTo /D (chapter.5) >> endobj 147 0 obj (5 PCM-to-QPN Mapping) endobj 148 0 obj << /S /GoTo /D (section.5.1) >> endobj 151 0 obj (5.1 Dependency Solver Preprocessing) endobj 152 0 obj << /S /GoTo /D (subsection.5.1.1) >> endobj 155 0 obj (5.1.1 Overview) endobj 156 0 obj << /S /GoTo /D (subsection.5.1.2) >> endobj 159 0 obj (5.1.2 Limitations) endobj 160 0 obj << /S /GoTo /D (section.5.2) >> endobj 163 0 obj (5.2 Feature Mappings) endobj 164 0 obj << /S /GoTo /D (subsection.5.2.1) >> endobj 167 0 obj (5.2.1 Overview) endobj 168 0 obj << /S /GoTo /D (subsection.5.2.2) >> endobj 171 0 obj (5.2.2 Workload) endobj 172 0 obj << /S /GoTo /D (subsection.5.2.3) >> endobj 175 0 obj (5.2.3 Calls) endobj 176 0 obj << /S /GoTo /D (subsection.5.2.4) >> endobj 179 0 obj (5.2.4 Branches) endobj 180 0 obj << /S /GoTo /D (subsection.5.2.5) >> endobj 183 0 obj (5.2.5 Loops) endobj 184 0 obj << /S /GoTo /D (subsection.5.2.6) >> endobj 187 0 obj (5.2.6 Forks) endobj 188 0 obj << /S /GoTo /D (subsection.5.2.7) >> endobj 191 0 obj (5.2.7 Processing Resources) endobj 192 0 obj << /S /GoTo /D (subsection.5.2.8) >> endobj 195 0 obj (5.2.8 Passive Resources) endobj 196 0 obj << /S /GoTo /D (subsection.5.2.9) >> endobj 199 0 obj (5.2.9 Linking Resources) endobj 200 0 obj << /S /GoTo /D (subsection.5.2.10) >> endobj 203 0 obj (5.2.10 QoS Annotations) endobj 204 0 obj << /S /GoTo /D (section.5.3) >> endobj 207 0 obj (5.3 Simulation-related Mappings) endobj 208 0 obj << /S /GoTo /D (subsection.5.3.1) >> endobj 211 0 obj (5.3.1 Overview) endobj 212 0 obj << /S /GoTo /D (subsection.5.3.2) >> endobj 215 0 obj (5.3.2 Supported Metrics) endobj 216 0 obj << /S /GoTo /D (subsection.5.3.3) >> endobj 219 0 obj (5.3.3 Instrumentation Model) endobj 220 0 obj << /S /GoTo /D (subsection.5.3.4) >> endobj 223 0 obj (5.3.4 Instrumentation Mapping) endobj 224 0 obj << /S /GoTo /D (chapter.6) >> endobj 227 0 obj (6 PCM Solver Tool) endobj 228 0 obj << /S /GoTo /D (section.6.1) >> endobj 231 0 obj (6.1 Architecture) endobj 232 0 obj << /S /GoTo /D (section.6.2) >> endobj 235 0 obj (6.2 Design) endobj 236 0 obj << /S /GoTo /D (subsection.6.2.1) >> endobj 239 0 obj (6.2.1 Modules) endobj 240 0 obj << /S /GoTo /D (subsection.6.2.2) >> endobj 243 0 obj (6.2.2 Control Flow) endobj 244 0 obj << /S /GoTo /D (section.6.3) >> endobj 247 0 obj (6.3 Implementation) endobj 248 0 obj << /S /GoTo /D (subsection.6.3.1) >> endobj 251 0 obj (6.3.1 QVTO Transformation) endobj 252 0 obj << /S /GoTo /D (subsection.6.3.2) >> endobj 255 0 obj (6.3.2 Java Integration) endobj 256 0 obj << /S /GoTo /D (section.6.4) >> endobj 259 0 obj (6.4 Limitations) endobj 260 0 obj << /S /GoTo /D (chapter.7) >> endobj 263 0 obj (7 Evaluation) endobj 264 0 obj << /S /GoTo /D (section.7.1) >> endobj 267 0 obj (7.1 Goal - Question - Metric) endobj 268 0 obj << /S /GoTo /D (section.7.2) >> endobj 271 0 obj (7.2 Assumptions) endobj 272 0 obj << /S /GoTo /D (section.7.3) >> endobj 275 0 obj (7.3 Experimental Environment) endobj 276 0 obj << /S /GoTo /D (section.7.4) >> endobj 279 0 obj (7.4 Feature Evaluation) endobj 280 0 obj << /S /GoTo /D (subsection.7.4.1) >> endobj 283 0 obj (7.4.1 Steps) endobj 284 0 obj << /S /GoTo /D (subsection.7.4.2) >> endobj 287 0 obj (7.4.2 Results) endobj 288 0 obj << /S /GoTo /D (chapter.8) >> endobj 291 0 obj (8 Case Studies) endobj 292 0 obj << /S /GoTo /D (section.8.1) >> endobj 295 0 obj (8.1 Overview) endobj 296 0 obj << /S /GoTo /D (section.8.2) >> endobj 299 0 obj (8.2 Steps) endobj 300 0 obj << /S /GoTo /D (section.8.3) >> endobj 303 0 obj (8.3 Case Study 1: SPECjAppServer2004\137Next) endobj 304 0 obj << /S /GoTo /D (subsection.8.3.1) >> endobj 307 0 obj (8.3.1 Overview) endobj 308 0 obj << /S /GoTo /D (subsection.8.3.2) >> endobj 311 0 obj (8.3.2 Complexity) endobj 312 0 obj << /S /GoTo /D (subsection.8.3.3) >> endobj 315 0 obj (8.3.3 Results) endobj 316 0 obj << /S /GoTo /D (section.8.4) >> endobj 319 0 obj (8.4 Case Study 2: ABB Demonstrator) endobj 320 0 obj << /S /GoTo /D (subsection.8.4.1) >> endobj 323 0 obj (8.4.1 Overview) endobj 324 0 obj << /S /GoTo /D (subsection.8.4.2) >> endobj 327 0 obj (8.4.2 Complexity) endobj 328 0 obj << /S /GoTo /D (subsection.8.4.3) >> endobj 331 0 obj (8.4.3 Results) endobj 332 0 obj << /S /GoTo /D (section.8.5) >> endobj 335 0 obj (8.5 Case Study 3: MediaStore) endobj 336 0 obj << /S /GoTo /D (subsection.8.5.1) >> endobj 339 0 obj (8.5.1 Overview) endobj 340 0 obj << /S /GoTo /D (subsection.8.5.2) >> endobj 343 0 obj (8.5.2 Complexity) endobj 344 0 obj << /S /GoTo /D (subsection.8.5.3) >> endobj 347 0 obj (8.5.3 Results) endobj 348 0 obj << /S /GoTo /D (section.8.6) >> endobj 351 0 obj (8.6 Case Study 4: CoCoME) endobj 352 0 obj << /S /GoTo /D (subsection.8.6.1) >> endobj 355 0 obj (8.6.1 Overview) endobj 356 0 obj << /S /GoTo /D (subsection.8.6.2) >> endobj 359 0 obj (8.6.2 Complexity) endobj 360 0 obj << /S /GoTo /D (subsection.8.6.3) >> endobj 363 0 obj (8.6.3 Results) endobj 364 0 obj << /S /GoTo /D (section.8.7) >> endobj 367 0 obj (8.7 Case Study 5: Business Reporting System \(BRS\)) endobj 368 0 obj << /S /GoTo /D (subsection.8.7.1) >> endobj 371 0 obj (8.7.1 Overview) endobj 372 0 obj << /S /GoTo /D (subsection.8.7.2) >> endobj 375 0 obj (8.7.2 Complexity) endobj 376 0 obj << /S /GoTo /D (subsection.8.7.3) >> endobj 379 0 obj (8.7.3 Results) endobj 380 0 obj << /S /GoTo /D (section.8.8) >> endobj 383 0 obj (8.8 Summary) endobj 384 0 obj << /S /GoTo /D (chapter.9) >> endobj 387 0 obj (9 Summary and Future Work) endobj 388 0 obj << /S /GoTo /D (section.9.1) >> endobj 391 0 obj (9.1 Contributions) endobj 392 0 obj << /S /GoTo /D (section.9.2) >> endobj 395 0 obj (9.2 Future Work) endobj 396 0 obj << /S /GoTo /D (section*.90) >> endobj 399 0 obj (Bibliography) endobj 400 0 obj << /S /GoTo /D [401 0 R /Fit ] >> endobj 404 0 obj << /Length 873 /Filter /FlateDecode >> stream xuTMs6WH͔TmMmK 1W}%ip|}v !>ȫ Ą7H+h#J3yc$:h'X3XKFC̈́XkV%FQh9V6Ơ |{֚jLMĬON'3K&3͕97&y2o|#3]M=NBj}/XM5-S[w~I5okMSFÜ퇻p$+pr^.s~]n5BX n}oom7$ܼv>vM7IR PYllCIRP,fh5H MA%{;(dD$s%k j M!m$b.djl,Jb^"ZCp@}wW7a<\.q۾aцB]ۻ3 |!,Ј<:(з6dv\c|*Ny`xZbmp^o8}ܚ`j`b]F%>y[Yٍj/H}sŕu1]~ó}x,))Z)aؐIRJ܌0m(PuRե[>M(^ Ҝbĉ14
endstream
endobj
401 0 obj <<
/Type /Page
/Contents 404 0 R
/Resources 403 0 R
/MediaBox [0 0 595.913 842.74]
/Parent 409 0 R
>> endobj
402 0 obj <<
/Type /XObject
/Subtype /Form
/FormType 1
/PTEX.FileName (E:/gitrepos/diplomarbeit/thesis/doc/logos/KITLogo_RGB.pdf)
/PTEX.PageNumber 1
/PTEX.InfoDict 410 0 R
/BBox [0 0 195.73 90.44]
/Resources <<
/ProcSet [ /PDF ]
/ExtGState <<
/R7 411 0 R
>>>>
/Length 4175
/Filter /FlateDecode
>>
stream
x[I$
+!3/gUo&w =G;߁?߯K_bJJK{b* _^UvQh9_F 32tP ,ݺ`w
n3o_9be+6U'՟ S!n:WS^W#RbR9͐|7gJ:jy[3.ksW0;$CٷxAAy@ݸZ<4&dVq5$ٛ-H+-rnĀe{[\LGS|瀍bzB{R_M9^ZMʧr8_Fp ^Ek_3'녣SϥKVlƽ!Ǻ~#V簮i@zaS
oZy:5xٯ2ЂVJ&㟇Z'qR5Eb'RC=Ip&&q
bpi-m1Nؘp
Q)_c=H튵1_uC7Upu^TCär!
XPaC;`,Bil_K
34qן=M tPZ7