การออกแบบโปรโตคอลสำหรับสื่อสารผ่านทางคอมพิวเตอร์นั้นผู้ออกแบบแต่ละรายจะทำการ ออกแบบขึ้นมาแล้วเขียนรายละเอียดขั้นตอนการทำงานของโปรโตคอลด้วยภาษาและสัญลักษณ์ที่เป็น ที่เข้าใจของตนเอง ทำให้เป็นการยากในการที่ผู้อื่นจะนำโปรโตคอลนั้นไปพัฒนาและนำมาใช้ งานจริง จึงได้มีการกำหนดมาตรฐานการเขียนข้อกำหนดโปรโตคอลขึ้นเรียกว่า FDT (Formal Description Technique) ซึ่ง Estelle ก็เป็นหนึ่งในวิธีการเขียนข้อกำหนดตามมาตรฐานนี้ งานวิจัยนี้เป็นการเขียนข้อกำหนดของโปรโตคอล TFTP ตามแบบภาษา Estelle โดยใช้ เครื่องมือ Estelle graphical editor ช่วย ขั้นแรกจะเป็นการศึกษาการทำงานของ โปรโตคอล TFTP ให้ทราบรายละเอียดลักษณะการรับส่งข้อมูลแล้วทำการเขียนข้อกำหนดโปรโตคอล ตามหลักภาษา Estelle โดยศึกษาลักษณะการออกแบบโครงสร้างโปรโตคอลเป็นลำดับชั้นของวัตถุใน Estelle หรือที่เรียกว่า Module แล้วทำการกำหนดรายละเอียดการทำงานของโมดูลซึ่งจะเป็นการ กำหนดสถานะและพฤติกรรมต่าง ๆ ของโมดูล เครื่องมือ Estelle Graphical Editor เป็นเครื่องมือที่ใช้ช่วยในการเขียนข้อกำหนด โปรโตคอลตามแบบภาษา Estelle โดยเขียนข้อกำหนดในรูปแบบเชิงสัญญลักษณ์ที่เรียกว่า Estelle/GR เมื่อเขียนข้อกำหนดในรูปแบบสัญญลักษณ์เสร็จเครื่องมือนี้จะสามารถแปลงข้อกำหนดในรูปแบบ สัญญลักษณ์ให้เป็น Estelle เชิงอักขระได้ เมื่อได้ข้อกำหนดโปรโตคอลในรูปแบบภาษา Estelle เชิงอักขระหรือ Estelle/PR แล้วจึงใช้เครื่องมือ EDT ในการตรวจสอบความถูกต้องและจำลอง การทำงานของโปรโตคอล TFTP ผลลัพธ์ที่ได้จากการจำลองการทำงานของโปรโตคอลก็มีการแสดงไว้ ในวิทยานิพนธ์ด้วย