Structured Formalization of Service-Oriented Specifications | IEEE Conference Publication | IEEE Xplore