CHAPTER IINTRODUCTIONCommunication

CHAPTER I
INTRODUCTION
Communication is ubiquitous and vital to our lives. It is also difficult to manage
correctly. Protocols are established and when followed permit some subset of possible
messages to be transmitted and hopefully received. When introduced to someone that we
don’t know we smile, possibly shake hands and say how glad we are to know that person.
A simple protocol but what set of messages can it convey? Not a large set certainly. As
the world leans more and more on electronic communication the set of messages that
need to be communicated across computer networks is growing. The protocols will need
to grow as well. But what electronic protocols need to be created? What will they
accomplish? Development of communication protocols is complicated and risky.
One way to mitigate the risk is to run simulations of the proposed candidate
protocols. This eliminates the need for an actual physical system. Rather, a model of the
system is employed. For the simulations to be meaningful the model must be precise,
even mathematical [1]. Once a precise model is specified, however, simulation provides
tangible benefits over working with real world systems [2].
• Time can be modeled. Working with real systems means that real time limits the
investigation. In a simulation, time itself can be modeled and expanded or compressed.
• Sources of variation can be controlled. These sources of variation must be
explicitly defined and it’s possible to limit these to the sources of interest.
2
• In real world systems measurement error is inevitable. In a simulation this is not a
concern since real world measurements are not being made. It is possible to stop and review a
simulation. All components in the simulation are frozen and a snapshot of global state can be
obtained and restored at any time. The value of simulation is indisputable when developing new
network protocols.
General purpose protocols need to be layered. The OSI model [3] defines seven layers,
while TCP/IP [4] defines five. Where would the internet be today if TCP were the only socket
interface available for network programmers? Certainly it’s the most used transport by programs
that communicate over the internet but the expense of connection setup and tear down sometimes
makes it a sub-optimal choice, especially when a reliable transport isn’t necessary. UDP serves a
different crowd.
So, not only is it necessary to simulate, but it’s necessary to simulate at different layers,
which means that it is necessary to reason about those layers independently and then be able to
combine them afterwards. More generally, it is advantageous to reason about a system at various
levels of abstraction in a way that permits conclusions to be drawn at each level. Even more
advantageous is being able to follow that up with a composition of those components, drawing
conclusions on the composed system based on the conclusions about the components.
Motivation for this work grew out of an experience with the use of a proprietary product
to develop a network simulation for wireless networks. The product was fine, well suited for the
task at hand. Issues came up however with license renewals and the inability to share the work
that was being done with anyone who did not have a license for the product. Also, it required a
“try it and see” approach. There was no discernable way to specify ahead of time within the tool
set what the system was supposed to do. Rather, it was necessary to implement it first and see
what it did.
3
The concepts of readily accessible, and end to end tools permeates this effort. The
approach being advocated is that the problem be understood and rigorously specified, a solution
attempted and then the results verified against expectations. So the challenge is to find the right
set of tools for the specification, implementation and verification phases; a set of tools that meet
the readily accessible and end to end goal.
The specification tools while being rigorous need to be understandable without special
training. They need to be simple yet powerful enough to specify complex systems. They must
provide facilities for composition so that behavior of network layers can be specified individually
and yet connected together to specify a complete protocol stack. The tools for specification
should generate output that can be consumed and utilized by the implementation phase of the
development. That is, there should be a link between the specification and implementation
phases.
The implementation tools must also be simple yet powerful. They must be capable of
implementing complex, composed system specifications while enforcing a separation of
concerns that expresses that specification more simply as an executable composition of its
components. The implementations must generate output that can feed the verification phase.
Thus, the tools must be amenable to capturing runtime behavior that can be determined

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

บทที่ฉันแนะนำการสื่อสารแพร่หลาย และสำคัญกับชีวิตของเรา ก็ยังยากที่จะจัดการอย่างถูกต้อง กำหนดโปรโตคอลและ เมื่อตามใบอนุญาตย่อยบางส่วนของสุดข้อความที่จะส่ง และหวังว่าจะได้รับ เมื่อรู้จักกับคนที่เราไม่ทราบว่า เรายิ้ม อาจจะจับมือ และพูดว่า ดีใจที่เราจะรู้ว่าบุคคลนั้นโพรโทคอลที่เรียบง่ายแต่สิ่งที่ตั้งของข้อความสามารถถ่ายทอดได้อย่างไร ไม่มีขนาดใหญ่กำหนดแน่นอน เป็นโลกเกือบ และมากขึ้นในการสื่อสารอิเล็กทรอนิกส์ ชุดของข้อความที่จำเป็นต้องมีการสื่อสารผ่านคอมพิวเตอร์ เครือข่ายกำลังเติบโตขึ้น โพรโทคอลที่จำเป็นเติบโตเป็นอย่างดี แต่สิ่งที่โปรโตคอลอิเล็กทรอนิกส์จำเป็นต้องสร้าง สิ่งที่พวกเขาจะทำอย่างไร การพัฒนาระบบการสื่อสารมีความซับซ้อน และมีความเสี่ยงวิธีหนึ่งเพื่อลดความเสี่ยงจะรันการจำลองของผู้สมัครเสนอโพรโทคอ นี่ eliminates จำเป็นสำหรับระบบทางกายภาพแท้จริง ค่อนข้าง รูปแบบของการระบบเป็นลูกจ้าง จำลองจะมีความหมายแบบต้องแม่นยำแม้แต่คณิตศาสตร์ [1] เมื่อมีระบุแบบจำลองที่แม่นยำ อย่างไรก็ตาม จำลองให้ผลประโยชน์มากกว่าการทำงานกับระบบจริง [2]•เวลาสามารถเป็นแบบจำลอง ทำงานกับระบบจริงหมายถึง เวลาจริงที่จำกัดการการตรวจสอบ ในการจำลอง เวลาเองสามารถจำลอง และขยาย หรือบีบอัดนั้น•แหล่งที่มาของการเปลี่ยนแปลงสามารถควบคุม แหล่งของการเปลี่ยนแปลงเหล่านี้ต้องถูกกำหนดอย่างชัดเจน และจำเป็นต้องจำกัดการแหล่งที่น่าสนใจเหล่านี้2•ในโลกจริงระบบการวัดผิดพลาดเป็นสิ่งที่หลีกเลี่ยง ในการจำลอง นี้ไม่เป็นกังวลเนื่องจากไม่มีการทำการวัดจริง จำเป็นต้องหยุด และทบทวนการการจำลอง ส่วนประกอบทั้งหมดในการจำลองถูกแช่แข็ง และ snapshot ของรัฐส่วนกลางสามารถรับ และคืนค่าในเวลาใดก็ ค่าของจำลองคือเถียงไม่ได้เมื่อมีการพัฒนาใหม่โปรโตคอลเครือข่ายวัตถุประสงค์ทั่วไปโปรโตคอลที่จำเป็นต้องเป็นชั้น [3] ของ OSI แบบกำหนด 7 ชั้นในขณะที่ TCP/IP [4] กำหนดห้า ที่อินเทอร์เน็ตจะวันนี้ถ้า TCP ซ็อกเก็ตเท่านั้นอินเทอร์เฟซสำหรับเครือข่ายโปรแกรมเมอร์ แน่นอนมันเป็นการขนส่งที่ใช้มากที่สุด โดยโปรแกรมที่สื่อสารผ่านอินเทอร์เน็ตแต่ค่าใช้จ่ายของการติดตั้งการเชื่อมต่อ และฉีกลงบางครั้งทำให้ทางเลือกที่เหมาะสมย่อย โดยเฉพาะอย่างยิ่งเมื่อการขนส่งที่เชื่อถือได้ไม่จำเป็น UDP ทำหน้าที่เป็นฝูงชนที่แตกต่างกันดังนั้น ไม่เพียงแต่มีความจำเป็นในการจำลอง แต่มันเป็นความจำเป็นเพื่อจำลองที่ชั้นต่าง ๆ,ซึ่งหมายความ ว่า จำเป็นต้องเหตุผลเกี่ยวกับชั้นเหล่านั้นได้อย่างอิสระ และสามารถรวมพวกเขาหลังจากนั้น โดยทั่วไป เป็น advantageous เหตุผลเกี่ยวกับระบบที่หลากหลายระดับของ abstraction ในทางที่อนุญาตให้ข้อสรุปที่จะออกในแต่ละระดับ มากยิ่งขึ้นได้เปรียบคือความสามารถในการติดตามที่ มีองค์ประกอบของส่วนประกอบ การวาดข้อสรุปตามข้อสรุปเกี่ยวกับคอมโพเนนต์ระบบประกอบด้วยแรงจูงใจสำหรับการทำงานนี้เกิดขึ้นจากประสบการณ์ที่มีการใช้ผลิตภัณฑ์เป็นกรรมสิทธิ์การพัฒนาการจำลองเครือข่ายสำหรับเครือข่ายไร้สาย ผลิตภัณฑ์มีดี เหมาะสำหรับการงานในมือ ปัญหาขึ้นมาอย่างไรก็ตามการต่ออายุใบอนุญาตและไม่สามารถที่จะร่วมงานที่กระทำกับผู้ไม่มีใบอนุญาตสำหรับผลิตภัณฑ์ นอกจากนี้ มันต้องการ"ลอง และเห็น" แนวทางการ มีวิธีการระบุล่วงหน้าภายในเครื่องมือ discernableตั้งระบบควรจะทำอะไร ค่อนข้าง ก็จำเป็นต้องใช้ก่อน และดูสิ่งที่มันไม่3แนวคิดของสามารถเข้าถึง และเครื่องมือสู่ปลายแทรกซึมความพยายามนี้ การแนวทางการสนับสนุนคือ ปัญหาจะเข้าใจ และ ระบุอย่างจริงจัง การแก้ไขปัญหาความพยายามแล้วผลการตรวจสอบกับความคาดหวัง ดังนั้น ความท้าทายคือการ ค้นหาด้านขวาชุดเครื่องมือสำหรับกำหนด การดำเนินงาน และการตรวจสอบขั้นตอน ชุดเครื่องมือที่ตอบสนองเป้าหมายสามารถเข้าถึงได้อย่างง่ายดาย และจบสิ้นเครื่องมือข้อมูลจำเพาะในขณะที่ความเข้มงวดจำเป็นต้องเข้าใจ โดยพิเศษการฝึกอบรม พวกเขาจำเป็นต้องเรียบง่ายแต่ทรงประสิทธิภาพเพียงพอในการระบุระบบที่ซับซ้อน พวกเขาต้องให้บริการการจัดองค์ประกอบเพื่อให้สามารถระบุลักษณะการทำงานของเครือข่ายชั้นมีเอกลักษณ์และยังเชื่อมต่อกันเพื่อระบุกองโพรโทคอลสมบูรณ์ เครื่องมือสำหรับข้อมูลจำเพาะควรสร้างผลลัพธ์ที่สามารถใช้ และใช้ โดยขั้นตอนการดำเนินงานของ การการพัฒนา นั่นคือ ควรมีการเชื่อมโยงระหว่างการกำหนดและขั้นตอนนี้เครื่องมือใช้งานต้องเรียบง่ายแต่ทรงประสิทธิภาพ จะต้องมีความสามารถในการการใช้ซับซ้อน ประกอบด้วยข้อมูลจำเพาะของระบบขณะที่บังคับใช้เป็นการแบ่งแยกความกังวลที่แสดงที่กำหนดขึ้นเพียงเป็นองค์ประกอบการปฏิบัติของ ตนคอมโพเนนต์ การใช้งานต้องสร้างผลผลิตที่สามารถเลี้ยงขั้นตอนการตรวจสอบดังนั้น เครื่องมือต้องคล้อยตามไปจับพฤติกรรมของรันไทม์ที่สามารถกำหนด

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

หมวด
บทนำ
การสื่อสารเป็นที่แพร่หลายและความสำคัญต่อชีวิตของเรา นอกจากนี้ยังเป็นเรื่องยากที่จะจัดการ
ได้อย่างถูกต้อง โปรโตคอลที่จัดตั้งขึ้นและเมื่อตามอนุญาตให้กลุ่มย่อยที่เป็นไปได้บางส่วนของ
ข้อความที่จะถูกส่งและรับหวังว่า เมื่อนำมาใช้กับคนที่เรา
ไม่ได้รู้ว่าเรายิ้มอาจจะจับมือและบอกว่าดีใจที่เราจะรู้ว่าคนที่.
โปรโตคอลที่เรียบง่าย แต่สิ่งที่ชุดของข้อความก็สามารถนำ? ไม่ได้เป็นชุดใหญ่อย่างแน่นอน ในฐานะที่เป็น
โลกโน้มตัวมากขึ้นในการสื่อสารทางอิเล็กทรอนิกส์ชุดของข้อความว่า
ต้องมีการสื่อสารผ่านเครือข่ายคอมพิวเตอร์ที่มีการเจริญเติบโต โปรโตคอลที่จะต้อง
เติบโตเป็นอย่างดี แต่สิ่งที่โปรโตคอลอิเล็กทรอนิกส์จะต้องมีการสร้างขึ้น? สิ่งที่พวกเขาจะ
ประสบความสำเร็จ? การพัฒนาโปรโตคอลการสื่อสารที่มีความซับซ้อนและมีความเสี่ยง.
วิธีหนึ่งในการลดความเสี่ยงคือการเรียกใช้แบบจำลองของผู้สมัครที่นำเสนอ
โปรโตคอล นี้ไม่จำเป็นต้องสำหรับระบบทางกายภาพที่เกิดขึ้นจริง แต่รูปแบบของการที่
ระบบการเป็นลูกจ้าง สำหรับการจำลองให้เป็นรูปแบบที่มีความหมายจะต้องแม่นยำ
แม้ทางคณิตศาสตร์ [1] เมื่อรูปแบบที่ถูกต้องมีการระบุ แต่การจำลองให้
ผลประโยชน์ที่จับต้องได้มากกว่าการทำงานร่วมกับระบบโลกแห่งความจริง [2].
•เวลาสามารถจำลอง การทำงานกับระบบจริงหมายความว่าเวลาจริง จำกัด
การตรวจสอบ ในการจำลองให้เวลาตัวเองสามารถสร้างแบบจำลองและการขยายตัวหรือการบีบอัด.
•แหล่งที่มาของการเปลี่ยนแปลงสามารถควบคุมได้ แหล่งที่มาของการเปลี่ยนแปลงเหล่านี้จะต้องมีการ
กำหนดไว้อย่างชัดเจนและเป็นไปได้ที่จะ จำกัด เหล่านี้ไปยังแหล่งที่มาที่น่าสนใจ.
2
•ความผิดพลาดในระบบการวัดโลกแห่งความจริงหนีไม่พ้น ในการจำลองนี้ไม่ได้เป็น
กังวลตั้งแต่วัดโลกแห่งความจริงจะไม่ได้ทำ มันเป็นไปได้ที่จะหยุดและตรวจสอบ
การจำลอง ส่วนประกอบทั้งหมดในการจำลองที่มีการแช่แข็งและภาพรวมของรัฐทั่วโลกสามารถ
รับและบูรณะในเวลาใดก็ได้ มูลค่าของการจำลองเถียงไม่ได้เมื่อมีการพัฒนาใหม่
โปรโตคอลเครือข่าย.
โปรโตคอลวัตถุประสงค์ทั่วไปจะต้องมีชั้น แบบจำลอง OSI [3] กำหนดเจ็ดชั้น
ในขณะที่ TCP / IP [4] กำหนดห้า ที่อินเทอร์เน็ตจะเป็นวันนี้ถ้า TCP เป็นซ็อกเก็ตเท่านั้น
อินเตอร์เฟซที่มีอยู่สำหรับการเขียนโปรแกรมเครือข่าย? แน่นอนมันเป็นเรื่องการขนส่งที่ใช้มากที่สุดโดยโปรแกรม
ที่สื่อสารผ่านทางอินเทอร์เน็ต แต่ค่าใช้จ่ายของการตั้งค่าการเชื่อมต่อและการฉีกขาดลงบางครั้ง
ทำให้เป็นทางเลือกย่อยที่ดีที่สุดโดยเฉพาะอย่างยิ่งเมื่อมีการขนส่งที่เชื่อถือได้ไม่จำเป็น UDP ให้บริการอาหาร
ฝูงชนที่แตกต่างกัน.
ดังนั้นไม่เพียง แต่มันจำเป็นที่จะจำลอง แต่ก็จำเป็นต้องจำลองที่ชั้นที่แตกต่างกัน
ซึ่งหมายความว่ามันเป็นสิ่งที่จำเป็นที่จะให้เหตุผลเกี่ยวกับเลเยอร์ผู้ที่เป็นอิสระและจากนั้นจะสามารถที่จะ
รวมพวกเขาหลังจากนั้น โดยทั่วไปมันเป็นประโยชน์ที่จะให้เหตุผลเกี่ยวกับระบบที่แตกต่างกัน
ในระดับของนามธรรมในทางที่อนุญาตให้ข้อสรุปที่จะวาดในแต่ละระดับ มากยิ่งขึ้น
ที่ได้เปรียบคือความสามารถที่จะทำตามที่ขึ้นกับองค์ประกอบของส่วนประกอบเหล่านั้นวาด
ข้อสรุปเกี่ยวกับระบบประกอบขึ้นอยู่กับข้อสรุปเกี่ยวกับองค์ประกอบ.
การสร้างแรงจูงใจในการทำงานนี้งอกออกมาจากประสบการณ์กับการใช้งานของผลิตภัณฑ์ที่เป็นกรรมสิทธิ์
ที่จะพัฒนา จำลองเครือข่ายเครือข่ายไร้สาย สินค้าถูกปรับดีเหมาะสำหรับ
งานในมือ ประเด็นขึ้นมาด้วยอย่างไรก็ตามการต่ออายุใบอนุญาตและไม่สามารถที่จะแบ่งปันการทำงาน
ที่ถูกทำกับทุกคนที่ไม่ได้มีใบอนุญาตสำหรับสินค้า นอกจากนี้ก็จะต้องมีการ
"ลองดู" วิธีการ ไม่มีวิธี discernable เพื่อระบุก่อนเวลาภายในเครื่องมือที่ถูก
กำหนดว่าระบบที่ถูกควรจะทำอย่างไร แต่มันเป็นสิ่งจำเป็นที่จะใช้มันเป็นครั้งแรกและเห็น
สิ่งที่มันทำ.
3
แนวคิดของการเข้าถึงได้อย่างง่ายดายและจบสิ้นเครื่องมือแทรกซึมความพยายามนี้
วิธีการที่ถูกสนับสนุนคือว่าปัญหาที่จะเข้าใจและระบุไว้อย่างจริงจังแก้ปัญหา
และพยายามแล้วผลการตรวจสอบกับความคาดหวัง ดังนั้นความท้าทายคือการหาที่เหมาะสม
ชุดเครื่องมือสำหรับข้อกำหนดการดำเนินงานและการตรวจสอบขั้นตอน; ชุดของเครื่องมือที่ตอบสนองความ
สามารถเข้าถึงได้อย่างง่ายดายและสิ้นเพื่อวางเป้าหมาย.
เครื่องมือสเปคในขณะที่เป็นความจำเป็นอย่างเข้มงวดเพื่อให้เป็นที่เข้าใจได้โดยไม่ต้องพิเศษ
การฝึกอบรม พวกเขาจะต้องเรียบง่ายและมีประสิทธิภาพเพียงพอที่จะระบุระบบที่ซับซ้อน พวกเขาจะต้อง
จัดให้มีสิ่งอำนวยความสะดวกสำหรับองค์ประกอบเพื่อให้การทำงานของเลเยอร์เครือข่ายที่สามารถระบุเป็นรายบุคคล
และยังเชื่อมต่อกันเพื่อระบุโปรโตคอลสแต็คที่สมบูรณ์ เครื่องมือสำหรับสเปค
ควรสร้างผลลัพธ์ที่สามารถบริโภคได้และนำมาใช้โดยขั้นตอนการดำเนินงานของ
การพัฒนา นั่นคือควรจะมีการเชื่อมโยงระหว่างสเปคและการดำเนินการ
ขั้นตอน.
เครื่องมือการดำเนินการจะต้องเป็นที่เรียบง่ายและมีประสิทธิภาพ พวกเขาจะต้องมีความสามารถใน
การดำเนินการที่ซับซ้อนรายละเอียดระบบประกอบด้วยการบังคับใช้ในขณะที่การแยกของ
ความกังวลที่แสดงออกถึงสเปคที่มากขึ้นก็เป็นองค์ประกอบที่ปฏิบัติการของ
ส่วนประกอบ การใช้งานที่ต้องสร้างผลลัพธ์ที่สามารถเลี้ยงเฟสยืนยัน.
ดังนั้นเครื่องมือที่จะต้องคล้อยตามจับพฤติกรรมรันไทม์ที่สามารถได้รับการพิจารณา