A Model-Driven Service Specification Approach from BPMN Models | IEEE Conference Publication | IEEE Xplore