Synthesizing Protocol Specifications from Service Specifications in Timed Extended Finite State Machines.

Jun-Cheol Park Raymond E. Miller

Published in: ICDCS (1997)

Keyphrases

finite state machines
model checking
protocol specification
state machine
formal specification
model checker
state machines
finite state automata
hidden markov models
regular expressions
web services
service providers
petri net
service composition
message delivery