[go: up one dir, main page]

von Bochmann et al., 1986 - Google Patents

Deriving protocol specifications from service specifications

von Bochmann et al., 1986

View PDF
Document ID
817252988936182683
Author
von Bochmann G
Gotzhein R
Publication year
Publication venue
ACM SIGCOMM Computer Communication Review

External Links

Snippet

The service concept has acquired an increasing level of recognition by protocol designers. Being an architectural concept, the service concept influences the methodology applied to service and protocol definition. Since the protocol is seen as the logical implementation of …
Continue reading at dl.acm.org (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions

Similar Documents

Publication Publication Date Title
von Bochmann et al. Deriving protocol specifications from service specifications
US7124145B2 (en) System and method for dynamic business logic rule integration
Bochmann et al. Formal methods in communication protocol design
Mateescu et al. Adaptation of service protocols using process algebra and on-the-fly reduction techniques
EP1027648B1 (en) Apparatus for semi-automated generation and application of language conformity tests
Bochmann et al. A survey of formal methods
Gay et al. Session types for inter-process communication
US20050076046A1 (en) Combining data descriptions
Gotzhein et al. Deriving protocol specifications from service specifications including parameters
Khendek et al. New results on deriving protocol specifications from service specifications
Rudin An informal overview of formal protocol specification
CN111651977B (en) Language-independent legal contract and intelligent contract consistency measuring method
Cassez Verification of the incremental Merkle tree algorithm with Dafny
CN113949749B (en) XML message processing method and device
KR20250080722A (en) Vulnerability analysis methods, recording media and devices for performing them
US6792597B1 (en) Automatic consistency checking of computer programs
Bohn et al. Traverdi—Transformation and verification of distributed systems
Nakano Composing stack-attributed tree transducers
Rico et al. Model-checking for real-time systems specified in LOTOS
El-Gendy et al. Formal method for automated transformation of lotos specifications to estelle specifications
Clint et al. The use of ghost variables and virtual programming in the documentation and verification of programs
Aceto et al. Typing Composite Subjects
Lloret et al. Compositional design and verification of communication protocols, using labelled petri nets
Moriconi Interactive Design and Verification: A Message Switching Network Example
d'Auriol et al. COMMAN: a communication analyzer for OCCAM 2