ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

การจัดรูปนัยของโพรโทคอลทีซีพีโดยใช้คาเฟ่โอบีเจ

หน่วยงาน จุฬาลงกรณ์มหาวิทยาลัย

รายละเอียด

ชื่อเรื่อง : การจัดรูปนัยของโพรโทคอลทีซีพีโดยใช้คาเฟ่โอบีเจ
นักวิจัย : สุชาดา จุลจันทร์, 2519-
คำค้น : ทีซีพี/ไอพี (โปรโตคอลเครือข่ายคอมพิวเตอร์) , วิธีรูปนัย (วิทยาการคอมพิวเตอร์) , ซอฟต์แวร์ -- ข้อกำหนด , คาเฟโอบีเจ
หน่วยงาน : จุฬาลงกรณ์มหาวิทยาลัย
ผู้ร่วมงาน : วิวัฒน์ วัฒนาวุฒิ , จุฬาลงกรณ์มหาวิทยาลัย. คณะวิศวกรรมศาสตร์
ปีพิมพ์ : 2544
อ้างอิง : 9740312748 , http://cuir.car.chula.ac.th/handle/123456789/1181
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

วิทยานิพนธ์ (วศ.ม.)--จุฬาลงกรณ์มหาวิทยาลัย, 2544

วิทยานิพนธ์นี้เสนอวิธีการใหม่ในการกำหนดรูปนัยโพรโทคอลทีซีพีด้วยภาษาคาเฟ่โอบีเจ โดยใช้แผนภาพเอดีเจ และแผนภาพการเปลี่ยนสถานะ ในการเขียนข้อกำหนดโพรโทคอลพีซีพี วิธีการจัดรูปนัยใหม่นี้สามารถกำหนดหลักนามธรรมข้อมูลของโพรโทคอลทีซีพีด้วยแผนภาพเอดีเจ และสามารถแสดงกระบวนการทำงานของทีซีพีได้จากแผนภาพการเปลี่ยนสถานะ อีกทั้งมีการใช้แผนภาพเส้นกำหนดเวลาเพื่อแสดงถึงการรับและส่งข้อมูลระหว่างทีซีพี รวมไปถึงกฎการเชื่อมแผนภาพและเอดีเจ แผนภาพการเปลี่ยนสถานะ และแผนภาพเส้นกำหนดเวลาเข้าด้วยกัน ข้อกำหนดโพรโทคอลทีซีพีนี้ยึดมาตรฐานตามอาร์เอฟซี793 โดยที่ข้อกำหนดไม่ครอบคลุมกรณีที่ผิดพลาด กรณีมีตัวชี้บ่งการเร่ง และกรณีหมดเวลา ซึ่งวิธีรูปนัยศึกษากรณีการ-ติดตั้งการเชื่อมต่อ การรับส่งข้อมูลและการยกเลิกการติดต่อ รวมไปถึงข้อกำหนดของระบบการ-เรียกใช้งานจากผู้ใช้ผ่านคำสั่งเรียกไปยังโพรโทคอลทีซีพีข้อกำหนดดังกล่าวกำหนดและทวนสอบด้วยภาษาคาเฟ่โอบีเจ ซึ่งผลลัพธ์ได้รับการตรวจสอบในส่วนวากยสัมพันธ์และการพิสูจน์ทางคณิตศาสตร์ด้วยภาษาคาเฟ่โอบีเจเช่นกัน

บรรณานุกรม :
สุชาดา จุลจันทร์, 2519- . (2544). การจัดรูปนัยของโพรโทคอลทีซีพีโดยใช้คาเฟ่โอบีเจ.
    กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย.
สุชาดา จุลจันทร์, 2519- . 2544. "การจัดรูปนัยของโพรโทคอลทีซีพีโดยใช้คาเฟ่โอบีเจ".
    กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย.
สุชาดา จุลจันทร์, 2519- . "การจัดรูปนัยของโพรโทคอลทีซีพีโดยใช้คาเฟ่โอบีเจ."
    กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย, 2544. Print.
สุชาดา จุลจันทร์, 2519- . การจัดรูปนัยของโพรโทคอลทีซีพีโดยใช้คาเฟ่โอบีเจ. กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย; 2544.