Creating a new JAIN SLEE Profile Specification in EclipSLEE