Sažetak
Traditionally telecommunication protocols were developed by the use of the ITU languages such as SDL, ASN.1, and ECN. Recently, many parts of protocols are more and more being developed using model-driven development tools such as UML. However, in these cases, the syntax of protocol needs to be developed in separate tools creating issues of interfacing, integration, and maintenance. Additionally, the majority of today protocols are developed in a way that formal ASN.1 specifications of its syntax are not provided.
Ključne riječi
protocol verification, Domain Specific Modeling Languages