Journal article
FROM SERVICE SPECIFICATION TO PROTOCOL ENTITY IMPLEMENTATION - AN EXERCISE IN FORMAL PROTOCOL DEVELOPMENT
IFIP transactions. C, Communication systems, Vol.8, pp.163-177
01 Jan 1992
Featured in Collection : UN Sustainable Development Goals @ Drexel
Abstract
By means of an example, we present a formal method for the stepwise development of communication protocols. The development process starts from global, non-constructive service specifications and ends in executable implementations of the protocol entities. The most important feature of the method is that a wide range of abstraction levels is covered by providing description techniques tailored to each level. Technically, the method is based on the specification of traces and stream processing functions by predicate logic.
Metrics
1 Record Views
Details
- Title
- FROM SERVICE SPECIFICATION TO PROTOCOL ENTITY IMPLEMENTATION - AN EXERCISE IN FORMAL PROTOCOL DEVELOPMENT
- Creators
- C DendorferR Weber
- Publication Details
- IFIP transactions. C, Communication systems, Vol.8, pp.163-177
- Publisher
- Elsevier
- Number of pages
- 15
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Information Science (Informatics)
- Identifiers
- 991019238658804721
UN Sustainable Development Goals (SDGs)
This output has contributed to the advancement of the following goals:
InCites Highlights
These are selected metrics from InCites Benchmarking & Analytics tool, related to this output
- Web of Science research areas
- Computer Science, Information Systems
- Engineering, Electrical & Electronic
- Telecommunications