A Composition Approach to Performan

A Composition Approach to Performance Modelling
Abstract
Performance modelling is concerned with the capture and analysis of the dynamic behaviour of computer and communication systems. The size and complexity of many modern systems result in large, complex models. A compositional approach decomposes the system into subsystems that are smaller and more easily modelled. In this thesis a novel compositional approach to performance modelling is presented. This approach is based on a suitably enhanced process algebra, PEPA (Performance Evaluation Process Algebra). The compositional nature of the language provides benefits for model solution as well as model construction. An operational semantics is provided for PEPA and its use to generate an underlying Markov process for any PEPA model is explained and demonstrated. Model simplification and state space aggregation have been proposed as means to tackle the problems of large performance models. These techniques are presented in terms of notions of equivalence between modelling entities. A framewo

ผลลัพธ์ (ไทย) 1:

องค์ประกอบแนวทางการสร้างแบบจำลองประสิทธิภาพการทำงานบทคัดย่อแบบจำลองประสิทธิภาพการทำงานเกี่ยวข้องกับการรวบรวมข้อมูลและการวิเคราะห์พฤติกรรมแบบไดนามิกของระบบคอมพิวเตอร์และการสื่อสาร ขนาดและความซับซ้อนของระบบที่ทันสมัยหลายผลในรุ่นใหญ่ ซับซ้อน วิธี compositional decomposes ระบบเป็นส่วนย่อยที่เล็กลง และง่ายขึ้นคือ แบบจำลอง ในวิทยานิพนธ์นี้ เป็นแสดงวิธีการ compositional นวนิยายเพื่อสร้างแบบจำลองประสิทธิภาพการทำงาน วิธีการนี้จะขึ้นอยู่กับเป็นกระบวนการที่เหมาะสมเพิ่มพีชคณิต PEPA (พีชคณิตการกระบวนการประเมินประสิทธิภาพการทำงาน) ธรรมชาติ compositional ภาษามีประโยชน์สำหรับโซลูชันรุ่นก่อสร้างรุ่น PEPA ให้ความหมายการดำเนินงาน และใช้ในการสร้างกระบวนการ Markov พื้นฐานสำหรับแบบจำลองใด ๆ PEPA อธิบาย และสาธิต รูปแบบการรวบและรวมพื้นที่ของรัฐได้รับการเสนอเป็นปัญหาประสิทธิภาพการทำงานขนาดใหญ่รุ่นเล่นงาน เทคนิคเหล่านี้จะนำเสนอในความเข้าใจของเทียบเท่าระหว่างเอนทิตีที่สร้างแบบจำลอง Framewo การ

ผลลัพธ์ (ไทย) 2:

วิธีการประกอบการผลการดำเนินงานการสร้างแบบจำลอง
บทคัดย่อ
การสร้างแบบจำลองการปฏิบัติงานมีความกังวลกับการจับภาพและการวิเคราะห์พฤติกรรมแบบไดนามิกของคอมพิวเตอร์และระบบสื่อสาร ขนาดและความซับซ้อนของระบบที่ทันสมัยจำนวนมากส่งผลให้มีขนาดใหญ่รูปแบบที่ซับซ้อน วิธีการสลายตัว compositional ระบบเป็นระบบย่อยที่มีขนาดเล็กและแบบจำลองได้ง่ายขึ้น ในวิทยานิพนธ์นี้ compositional วิธีการใหม่ในการสร้างแบบจำลองประสิทธิภาพการทำงานที่จะนำเสนอ วิธีการนี้จะขึ้นอยู่กับขั้นตอนการเพิ่มพีชคณิตเหมาะสม Pepa (การประเมินผลกระบวนการพีชคณิต) compositional ธรรมชาติของภาษาที่มีประโยชน์สำหรับการแก้ปัญหารูปแบบเช่นเดียวกับรูปแบบการก่อสร้าง ความหมายในการดำเนินงานที่มีให้สำหรับ Pepa และการใช้งานในการสร้างกระบวนการมาร์คอฟพื้นฐานสำหรับการใด ๆ รูปแบบ Pepa จะมีการอธิบายและแสดงให้เห็น ความเรียบง่ายและการรวมรุ่นสภาพพื้นที่ได้รับการเสนอเป็นวิธีที่จะจัดการกับปัญหาที่เกิดขึ้นของรูปแบบการปฏิบัติงานที่มีขนาดใหญ่ เทคนิคเหล่านี้จะถูกนำเสนอในแง่ของความคิดของความเท่าเทียมกันระหว่างหน่วยงานการสร้างแบบจำลอง framewo

ผลลัพธ์ (ไทย) 3:

องค์ประกอบแนวทางการปฏิบัติการแบบนามธรรม

งานเกี่ยวข้องกับการจับและการวิเคราะห์พลศาสตร์ของระบบคอมพิวเตอร์และการสื่อสาร ขนาดและความซับซ้อนของระบบที่ทันสมัยมากในผลแบบซับซ้อนขนาดใหญ่ . วิธีระบบเป็นระบบย่อยสลายตัว ส่วนประกอบที่มีขนาดเล็กและอื่น ๆได้อย่างง่ายดายจำลอง .ในวิทยานิพนธ์นี้ เป็นวิธีการแบบเรียงความนวนิยาย ) นำเสนอ วิธีการนี้จะขึ้นอยู่กับการเพิ่มที่เหมาะสมกระบวนการพีชคณิต Pepa ( การประเมินผลการปฏิบัติงานกระบวนการพีชคณิต ) ธรรมชาติ ส่วนประกอบของภาษา ให้ประโยชน์สำหรับรูปแบบการแก้ปัญหา ตลอดจนการสร้างแบบจําลองการดำเนินงานอรรถศาสตร์ให้ Pepa และใช้เพื่อสร้างต้นแบบสำหรับกระบวนการมาร์คอฟโมเดล Pepa ใดจะอธิบายและแสดงให้เห็นถึง ในรูปแบบและสภาพพื้นที่ที่ได้รับการเสนอเป็นวิธีแก้ไขปัญหาของรูปแบบการแสดงขนาดใหญ่ เทคนิคเหล่านี้จะนำเสนอในแง่ของความคิดของความสมดุลระหว่างการสร้างแบบจำลองหน่วยงาน . เป็น framewo