Formalisms and Tools for Design and Specification of Network Protocols

Message Sequence Charts (MSC) jsou užitecným formalizmem pro popis siťových protokolu v ranne fazi jejich navrhu. V tomto přizpěvku uvadime zaklady jazyka MSC a popisujeme možnosti jeho využiti při modelovani problematických casti navrhu. Dale se zaměřujeme na možne modifikace MSC popisu (FIFO chovani, omezeni datových kanalů, atd.) stejně jako na možnosti automatickeho ověřeni spravnosti (MSC membership, realizavatelnost). Strucně tež zavadime Specification and Description Language (SDL).