A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications | IEEE Conference Publication | IEEE Xplore