Rapid protocol prototyping from message sequence chart based specification.
Keiji IshikawaTamio HoshinoPublished in: RSP (1996)
Keyphrases
- protocol specification
- lightweight
- message delivery
- high level
- input data
- messages exchanged
- state machines
- code generation
- communication protocols
- authentication protocol
- communication infrastructure
- agent communication language
- state machine
- web services
- security protocols
- formal methods
- formal specification
- database systems
- case study