Ngày nay,mạng máy tính toàncầu hay còngọi làmạng Internet đang phát triển mộtcáchmạnh mẽvà rộng lớn, trởthành nơi trao đổi thông tinvà lưu trửdữ liệu vớikhốilượng khổng lồ. Các công ngh ệmới, các giao th ức mới nhanh chóng được ra đời và triển khai trênthựctế nhằm đáp ứng chosự phát triển nhưvũ bão, cũng như các đòi hỏingày càng kh ắc khecủa mạng máy tính tương lai. Internet giờ đây đã trở nên quá đồsộ và phứctạp đếnnỗi chúng ta khó có th ể hiểu được cách thức hoạt động và nguyêntắcvận hànhcủa nó trong thờikỳmới. Do đó, đốivới các nhà nghiêncứu và phát triển, việc kiểm trasự hoạt độngcủa các tínhnăngmới, các giao thứcmới (như các giao thức truyềndữ liệu, các giao thức định tuyến, )trước khi triển khaitrênthựctế làrất quantrọng vàcần thiết. Công việc này không những giúp giảmrủi ro và chi phí mà còn đảmbảosự chắc chắn và tính ổn địnhcủa việc triển khai các công nghệmới. Chính vì thế màmột môi trường giảlậpmạng hoàn chỉnh là côngcụ thiếtyếu cho việc kiểm tra, thử nghiệm các công nghệmới trên cácmạng lớn cócấu trúcphứctạp. Ngoàimục đích kinhtế thươngmại, các côngcụ giảlậpmạng còn góp phần rấtlớn trong việchổ trợ cho cácmục đíchhọctập và nghiêncứucủa sinh viên, giảng viên chuyên ngànhmạng máy tính ở các trường Đạihọc-Cao đẳng,cũng như các cá nhân, tổ chức đang làm việc trong lỉnh vực mạng. Hiện nay, các côngcụ và môi trường giảlậpmạng xuất hiện chưa nhiều trong khi nhucầucủa thị trường làrấtlớn, nhất là khimạng không dây ra đời và ngày càng trở nên phổ biến thì nhucầu này càng tr ở nêncấp thiết. Trong phạm vicủa đề tài luậnvăntốt nghiệp – “tìm hiểu ngôn ngữ mô hình hóamạng và xây dựngbộ côngcụ phát sinh Topology chomạng”, chúng tôisẽ nghiêncứu, tìm hiểu các ngôn ngữ mô hình hóamạng đang đượcsửdụng thôngdụng, đồng thời giới thiệu cácbộ côngcụ phát sinh Topology chomạng, vàcuối cùng là xây dựngchương trình ứng dụng phát sinh Topology chomạng không dây cókếthợp với mạng có dây.