Model-driven performance measurement and assessment with relational traces [Elektronische Ressource] / Marko Bošković

Fakultat II { Informatik, Wirtschafts- und RechtswissenschaftenDepartment fur InformatikModel-driven PerformanceMeasurement and Assessment withRelational TracesDissertation zur Erlangung des Grades einesDoktors der IngenieurwissenschaftenDipl.-Ing. Marko BoskovicReferees:Prof. Dr. Wilhelm HasselbringProf. Dr. Claus MobusDatum der Disputation: December 10th, 2009Contents1. Introduction 12I. Foundations 212. Model Driven Engineering 232.1. Essentials of Model Driven Engineering . . . . . . . . . . . . . . . . . . . . . 232.2. Engineering a Modeling Language . . . . . . . . . . . . . . . . . . . . . . . . 252.3. Model Driven Architecture . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263. Software Performance Engineering 293.1. Software Performance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293.2. Software Performance Evaluation . . . . . . . . . . . . . . . . . . . . . . . . 303.3. Software Performance Measurement and Assessment . . . . . . . . . . . . . . 303.4. Concerns in Performance Measurement and Assessment . . . . . . . . . . . . 324. Libkin’s Algebra 34II. MoDePeMART: Model Driven Performance Measurement andAssessment with Relational Traces 375. Performance Assessment with MoDePeMART 396. Basic Assumptions 426.1. Vertical and Horizontal Dimension of Software Modeling and Execution . . . 426.1.1. Vertical Dimension . . . . . . . . . . . . . . . . . . . . . . . . . . . . 436.1.2. Horizontal Dimension . . . .