Operating guidelines - an automata-theoretic foundation for the service-oriented architecture | IEEE Conference Publication | IEEE Xplore