Extended SOFL features for the modeling of middleware-based transaction management | IEEE Conference Publication | IEEE Xplore