Abstract | ||
---|---|---|
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been developed for the description of communication protocols an In addition, a notation called ASN.1 is used for the descriptions of the data st protocol data units exchanges between communicating entities at the applica Existing FDT's, such as Estelle, LOTOS and SDL, do not include facilities to d manipulate data structures defined in ASN.1. This makes using FDT's for d applications difficult. This paper deals with the integration of ASN.1 with Este issues involved with the integration of corresponding implementation tools. I how the encoding and decoding routines automatically generated from th definitions can be combined with implementation code semi-automatically gen the Estelle specification of the protocol. An application for a simple protocol is g |
Year | Venue | Keywords |
---|---|---|
1990 | FORTE | estelle implementation support tools,communication protocol,data structure,formal specification,protocol data unit |
Field | DocType | ISBN |
Programming language,Computer science,Language Of Temporal Ordering Specification,Autonomous system (Internet) | Conference | 0-444-89024-6 |
Citations | PageRank | References |
2 | 0.40 | 7 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gregor von Bochmann | 1 | 2573 | 427.74 |
Daniel Ouimet | 2 | 2 | 0.40 |
Gerald Neufeld | 3 | 394 | 80.81 |