Extended SOFL features for the modeling of middleware-based transaction management

SOFL (structured object-oriented formal language) is a formal engineering language and method for software system analysis, specification and design. It has been used in many systems. But its limitations result in the lack of the support for the modeling of middleware-based transaction management. However, the transaction management has been the necessary feature of distributed applications. So we extend the SOFL features to enable SOFL to support modeling of middleware-based transaction management by adding structures of CDFD and syntax of specification.