A Hybrid Approach to QoS Evaluation Danilo Ardagna Politecnico di Milano Marco Comerio, Flavio De Paoli, Simone Grega Università degli Studi Milano Bicocca.

Slides:



Advertisements
Similar presentations
Andrea Maurino Web Service Design Methodology Batini, De Paoli, Maurino, Grega, Comerio WP2-WP3 Roma 24/11/2005.
Advertisements

L3S Research Center University of Hanover Germany
1 Material to Cover  relationship between different types of models  incorrect to round real to integer variables  logical relationship: site selection.
Multi‑Criteria Decision Making
Object-Oriented Software Development CS 3331 Fall 2009.
5-1 Chapter 5 Tree Searching Strategies. 5-2 Satisfiability problem Tree representation of 8 assignments. If there are n variables x 1, x 2, …,x n, then.
- 1 -  P. Marwedel, Univ. Dortmund, Informatik 12, 05/06 Universität Dortmund Hardware/Software Codesign.
© 2014 Pearson Education, Inc., Upper Saddle River, NJ. All rights reserved. This material is protected by Copyright and written permission should be obtained.
ECE 530 – Analysis Techniques for Large-Scale Electrical Systems Prof. Hao Zhu Dept. of Electrical and Computer Engineering University of Illinois at Urbana-Champaign.
Soft. Eng. I, Spring 07Dr Driss Kettani, from I. Sommerville1 CSC-3324: Chapter 5 Requirements Engineering Reading: Chap. 6, 7 + annex.
1 Optimisation Although Constraint Logic Programming is somehow focussed in constraint satisfaction (closer to a “logical” view), constraint optimisation.
SEQUOIAS YR-SOC'07 - Leicester June A NOVEL APPROACH TO WEB SERVICES DISCOVERY Marco Comerio Università di Milano-Bicocca
1 Introduction to System Engineering G. Nacouzi ME 155B.
Distributed Combinatorial Optimization
1 Contents college 3 en 4 Book: Appendix A.1, A.3, A.4, §3.4, §3.5, §4.1, §4.2, §4.4, §4.6 (not: §3.6 - §3.8, §4.2 - §4.3) Extra literature on resource.
The Software Product Life Cycle. Views of the Software Product Life Cycle  Management  Software engineering  Engineering design  Architectural design.
Chip Planning 1. Introduction Chip Planning:  Deals with large modules with −known areas −fixed/changeable shapes −(possibly fixed locations for some.
Torino (Italy) – June 25th, 2013 Ant Colony Optimization for Mapping, Scheduling and Placing in Reconfigurable Systems Christian Pilato Fabrizio Ferrandi,
LP formulation of Economic Dispatch
Universität Dortmund  P. Marwedel, Univ. Dortmund, Informatik 12, 2003 Hardware/software partitioning  Functionality to be implemented in software.
Linear programming. Linear programming… …is a quantitative management tool to obtain optimal solutions to problems that involve restrictions and limitations.
Romaric GUILLERM Hamid DEMMOU LAAS-CNRS Nabil SADOU SUPELEC/IETR ESM'2009, October 26-28, 2009, Holiday Inn Leicester, Leicester, United Kingdom.
1 Lecture 4 Maximal Flow Problems Set Covering Problems.
Romaric GUILLERM Hamid DEMMOU LAAS-CNRS Nabil SADOU SUPELEC/IETR.
The Software Development Cycle Defining and understanding the problem.
Operations Research Models
UML - Development Process 1 Software Development Process Using UML (2)
Advanced Energy Management in Cloud Computing multi data center environments Giuliana Carello, DEI, Politecnico di Milano Danilo.
Supply Contract Allocation Gyana R. Parija Bala Ramachandran IBM T.J. Watson Research Center INFORMS Miami 2001.
Lecture 1 What is Modeling? What is Modeling? Creating a simplified version of reality Working with this version to understand or control some.
1 Outline:  Outline of the algorithm  MILP formulation  Experimental Results  Conclusions and Remarks Advances in solving scheduling problems with.
An Integration Framework for Sensor Networks and Data Stream Management Systems.
Introduction to Job Shop Scheduling Problem Qianjun Xu Oct. 30, 2001.
Rensselaer Polytechnic Institute Rajagopal Iyengar Combinatorial Approaches to QoS Scheduling in Multichannel Wireless Systems Rajagopal Iyengar Rensselaer.
Querying Structured Text in an XML Database By Xuemei Luo.
Quasi-static Channel Assignment Algorithms for Wireless Communications Networks Frank Yeong-Sung Lin Department of Information Management National Taiwan.
ECE 8443 – Pattern Recognition ECE 8423 – Adaptive Signal Processing Objectives: Deterministic vs. Random Maximum A Posteriori Maximum Likelihood Minimum.
M. Adorni, F. Arcelli, D. Ardagna, L. Baresi, C. Batini, C. Cappiello, M. Comerio, M. Comuzzi, F. De Paoli, C. Francalanci, S.Grega, P. Losi, A.Maurino,
Heuristic Optimization Methods Greedy algorithms, Approximation algorithms, and GRASP.
Systems Analysis and Design in a Changing World, Fourth Edition
Exact and heuristics algorithms
PMIT-6101 Advanced Database Systems By- Jesmin Akhter Assistant Professor, IIT, Jahangirnagar University.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
MODEL-BASED SOFTWARE ARCHITECTURES.  Models of software are used in an increasing number of projects to handle the complexity of application domains.
1 An Arc-Path Model for OSPF Weight Setting Problem Dr.Jeffery Kennington Anusha Madhavan.
Flow in Network. Graph, oriented graph, network A graph G =(V, E) is specified by a non empty set of nodes V and a set of edges E such that each edge.
Resource Allocation in Hospital Networks Based on Green Cognitive Radios 王冉茵
Efficient Resource Allocation for Wireless Multicast De-Nian Yang, Member, IEEE Ming-Syan Chen, Fellow, IEEE IEEE Transactions on Mobile Computing, April.
September 28, 2000 Improved Simultaneous Data Reconciliation, Bias Detection and Identification Using Mixed Integer Optimization Methods Presented by:
 CMMI  REQUIREMENT DEVELOPMENT  SPECIFIC AND GENERIC GOALS  SG1: Develop CUSTOMER Requirement  SG2: Develop Product Requirement  SG3: Analyze.
03/02/20061 Evaluating Top-k Queries Over Web-Accessible Databases Amelie Marian Nicolas Bruno Luis Gravano Presented By: Archana and Muhammed.
IE 312 Review 1. The Process 2 Problem Model Conclusions Problem Formulation Analysis.
Rule Engine for executing and deploying the SAGE-based Guidelines Jeong Ah Kim', Sun Tae Kim 2 ' Computer Education Department, Kwandong University, KOREA.
Prepared by Amira Selim 31 st October 2009 Revised by Dahlia Biazid Requirements Analysis.
1 Chapter 5 Branch-and-bound Framework and Its Applications.
Tuesday, March 19 The Network Simplex Method for Solving the Minimum Cost Flow Problem Handouts: Lecture Notes Warning: there is a lot to the network.
Chapter 7. Classification and Prediction
Computation of the solutions of nonlinear polynomial systems
Flow in Network.
MBA 651 Quantitative Methods for Decision Making
EMIS 8373: Integer Programming
Presented by Rich Goyette
Integer Programming (정수계획법)
Nurse Scheduling Problems
Engineering design is the process of devising a system, component, or process to meet desired needs. It is a decision-making process in which the basic.
Integer Programming (정수계획법)
Dr. Arslan Ornek DETERMINISTIC OPTIMIZATION MODELS
Branch-and-Bound Algorithm for Integer Program
Chapter 6. Large Scale Optimization
Presentation transcript:

A Hybrid Approach to QoS Evaluation Danilo Ardagna Politecnico di Milano Marco Comerio, Flavio De Paoli, Simone Grega Università degli Studi Milano Bicocca

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna2 Motivation of the work Usually, the process of development of services available as web applications considers only functional requirements New kinds of communication channels and devices, the design process must be revised by considering new aspects: quality of service (QoS) user profiles technical characteristics of channels Definition of a methodology that provides a rational to formalize the redesign process of existing services to support multi-channel access Quantitative evaluation of QoS Multichannel Adaptive Information Systems (MAIS) project

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna3 The Reference Methodology Goals: Service design Service redesign Support the selection of services technical characteristics such that QoS requirements are satisfied QoS is represented by an ontology. QoS dependencies are represented by quality trees

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna4 The phases of the Methodology Functional modeling: deliver a set of UML diagrams that highlights the logical structure of the service

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna5 The phases of the Methodology High level redesign: redesign the service taking into account new requirements promoted by new channels and domains

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna6 The phases of the Methodology Context adaptation: considers actual deployment environment to evaluate and adapt the abstract assumptions with respect to actual technical characteristics of channels and user profiles

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna7 The phases of the Methodology Enriched service models: a set of UML diagrams that models the multi-channel service along with its quality characteristics

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna8 Quality of Service Evaluation USABILITY COMPREHENSIBILITY LEARNABILITYOPERABILITY PLEASANTNESS SCREENQoSNETWORKINTERFACEQoS RESOLUTIONSIZECONTRASTBRIGHTNESS COLORDEPTH SERVICE RESPONSE TIME NETWORK TRANSMISSION TIME SERVICE EXECUTION TIME SP AVAILABILITY CHANNEL AVAILABILITY SERVICE AVAILABILITY Dependencies could be linear, non-linear or expressed in tabular form

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna9 Quality of Service Evaluation USABILITY COMPREHENSIBILITY LEARNABILITYOPERABILITY PLEASANTNESS SCREENQoSNETWORKINTERFACEQoS RESOLUTIONSIZECONTRASTBRIGHTNESS COLORDEPTH SERVICE RESPONSE TIME NETWORK TRANSMISSION TIME SERVICE EXECUTION TIME SP AVAILABILITY CHANNEL AVAILABILITY SERVICE AVAILABILITY 321 QoS dimensions, 203 dependencies, explicit formulation in 8% of total cases, while 50% can be evaluated by running simulations

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna10 QoS Evaluation The dependency among quality dimensions could also be qualitative In order to evaluate quantitatively the value of usability, the Simple Additive Weighting (SAW) technique is adopted The SAW method is one of the most widely used techniques to obtain a score from a set of dimensions having different units of measure BRIGHTNESS USABILITY COMPREHENSIBILITY LEARNABILITYOPERABILITY PLEASANTNESS SCREENQoSNETWORKINTERFACEQoS RESOLUTIONSIZECONTRAST COLORDEPTH

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna11 SAW Method SCREENQoS RESOLUTION [800x600] … [1024x640] SIZE [1.0 ”… 19.0 ” ] CONTRAST [ ….] BRIGHTNESS [ … ] COLORDEPTH [16bit … 64bit] T 1 =. T n = 0 1 T k, value 0.7 T j, value 0.3 USABILITY COMPREHENSIBILITYLEARNABILITYOPERABILITYPLEASANTNESS SCREENQoSNETWORKINTERFACEQoS COMPREHENSIBILITY=0.2* =0.38 USABILITY=0.2*LEARNABILITY+0.4*0.38+…. v(T) v(T,UP) if the mapping depends on the user profile

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna12 Assumptions Evaluation The quality evaluation technique allows verifying design hypotheses If the technical characteristics are fixed, then the relevant quality values can be determined A design hypothesis is verified if the technical characteristics provide quality values greater or equal to given threshold B k (e.g. availability≥99%, usability≥0.7) Quality thresholds can be fixed a priori as a desired characteristic of the service but could also be determined by end user profiles (a set of characteristics of the users that can be exploited for further customization of services)

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna13 UP/QoS Matrix (step 1) QoS UP ComprehensibilityLearnabilityOperabilityPleasantness Is_ltf_pref.XX Is_ltf_skillsXX ICF_rel_capab.X ICF_body_funct.XXX ExpertiseXXX Delivery pref.XXXX User profile attributes are values in the range [0,1]

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna14 UP/QoS Matrix (step 2) QoS UP ComprehensibilityLearnabilityOperabilityPleasantness Is_ltf_pref Is_ltf_skills0.2 ICF_rel_capab.0.2 ICF_body_funct Expertise Delivery pref COMPREHENSIBILITY=0.1*IS_ITL_pref+0.4*IS_ICF_BODY_FUNCT+0.3*EXPERTISE+ +0.2*DELIVERY PREF=0.1* *1+0.3* *0.8=0.82

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna15 Quantitative approach Lower bound to be provided by each leaf: From 0.2*ScreenQoS+0.8*0.3>=0.82, we have ScreenQoS ≥ 2.9 (impossible the value attributed to every node can be at most 1) If NetworkInterfaceQoS ≥0.85, then the design hypothesis is verified If, vice versa, design hypotheses are verified, in the same way we can determine for each leaf the range such that constraints are satisfied

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna16 Revising design Hypotheses The service design/re-design can be modeled as an optimization problem: Identify the set of choices for the technical characteristics relevant for the end users and for the service requirements which minimizes design costs The problem is NP-complete, local search approach

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna17 NP-completeness – Proof q w1w1 w2w2 w3w3 w4w4 w12w12 w22w22 w32w32 ≥B T 1 i :c i,1, v i,1 T j i :c i,j,v i,j T n i :c n, v i,n 0 1 By relaxing constraint (1) P1) becomes a knapsack problem I: set of technical choices v i,j : the quality value for alternative j c i,j : the cost associated with alternative j x i,j : the binary decision variable which is equal to 1 if the j alternative for the technical choice i is selected and 0 otherwise

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna18 The Overall Problem In real projects, the design/re-design methodology faces several quality trees and non linear dependencies among quality variables Local search approach which is based on the following steps: if the design hypothesis is violated, find a feasible solution by focusing iteratively on the most violated constraint the feasible solution obtained in the first step (or the solution which corresponds to the design hypothesis if it is verified) is improved by exploring the current solution neighborhood in order to to find a quasi-optimum solution the optimization technique implements a quality tree partitioning, in order to solve with integer linear programming tools, problems for qualitative dependencies We are developing an hybrid optimization approach which interleaves the solution of linear integer programming problems with non-linear problems

EMMSAD 2005, Porto – 14 th June 2005, D. Ardagna19 Conclusions and Future Work Methodology to support design/redesign of multi-channel services Consider different classes of end user with different ideal user profiles Develop a semi-automatic tool which supports the designer in the assumption revision process Support the design of composite services

A Hybrid Approach to QoS Evaluation Danilo Ardagna Politecnico di Milano Marco Comerio, Flavio De Paoli, Simone Grega Università degli Studi Milano Bicocca