A Stepwise Refinement Based Approach for Synthesizing Protocol Specifications in an Interpreted Petri Net Model.
Hakim KahloucheJean-Jacques GirardotPublished in: INFOCOM (1996)
Keyphrases
- petri net model
- petri net
- service composition
- state machines
- production process
- reactive systems
- web services
- protocol specification
- high level
- formal specification
- model checker
- delay insensitive
- security protocols
- forward selection
- manufacturing systems
- production system
- security analysis
- authentication protocol
- specification language
- functional requirements