Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers.
Hirozumi YamaguchiKozo OkanoTeruo HigashinoKenichi TaniguchiPublished in: ICDCS (1995)
Keyphrases
- protocol specification
- petri net model
- service composition
- petri net
- web services
- formal specification
- state machines
- high level
- model checker
- specification language
- functional requirements
- service oriented
- communication protocols
- formal methods
- service quality
- production process
- program synthesis
- end to end
- delay insensitive
- service providers
- management system