Abstract State Machine Models for Basic Service-Oriented Architectures | IEEE Conference Publication | IEEE Xplore