By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Hao-peng Chen ; Sch. of Software, Shanghai Jiao Tong Univ., China ; Yao Shen ; Jian-wei Jiang

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.

Published in:

Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on

Date of Conference:

16-20 June 2005