| ชื่อเรื่อง | : | Transforming state tables to Coloured Petri nets for automatic verification of internet protocols |
| นักวิจัย | : | San Choosang , Gordon, Steven |
| คำค้น | : | Coloured Petri nets , Protocol verification , Stop-and-Wait protocol , XML , Internet protocols , Petri nets |
| หน่วยงาน | : | สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2554 |
| อ้างอิง | : | Proceedings of the 2011 8th International Joint Conference on Computer Science and Software Engineering (JCSSE 2011) Art. no. 5930096, pp. 69-74 , 9781457706875 , http://dspace.library.tu.ac.th/handle/3517/6022 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Rapid developments in networking technologies is resulting in an increasing number of new communication protocols being created, but formal methods are seldom used to verify their design. This paper presents a set of rules for transforming state tables, a common format of protocol specifications in standards, into a formal model based on Coloured Petri nets. This reduces time for developing and debugging CPN models, which can then be used for protocol verification. Formal definitions of subsets of state tables and CPNs are presented, as well as the transformation algorithm. To demonstrate the transformation an example of Stop-and-Wait protocol is used as a case study. © 2011 IEEE. |
| บรรณานุกรม | : |
San Choosang , Gordon, Steven . (2554). Transforming state tables to Coloured Petri nets for automatic verification of internet protocols.
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . San Choosang , Gordon, Steven . 2554. "Transforming state tables to Coloured Petri nets for automatic verification of internet protocols".
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . San Choosang , Gordon, Steven . "Transforming state tables to Coloured Petri nets for automatic verification of internet protocols."
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2554. Print. San Choosang , Gordon, Steven . Transforming state tables to Coloured Petri nets for automatic verification of internet protocols. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2554.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
