Executable Modeling Approach to Service Oriented Architecture Using SoaML in Conjunction with Extended DEVSML | IEEE Conference Publication | IEEE Xplore