Deriving protocols from services in the finite state machine representation