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

Author

Chen, Hao-Peng ; Shen, Yao ; Jiang, Jian-Wei

Author_Institution

Sch. of Software, Shanghai Jiao Tong Univ., China

fYear

2005

fDate

16-20 June 2005

Firstpage

16

Lastpage

17

Abstract

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.

Keywords

computational linguistics; formal specification; middleware; object-oriented languages; object-oriented programming; structured programming; transaction processing; CDFD structure; SOFL features; distributed applications; formal engineering language; middleware-based transaction management modeling; software design; software specification; software system analysis; specification syntax; structured object-oriented formal language; Application software; Atomic layer deposition; Computer errors; Design engineering; Engineering management; Formal languages; Object oriented modeling; Reactive power; Software systems; Transfer functions;

fLanguage

English

Publisher

ieee

Conference_Titel

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

Print_ISBN

0-7695-2284-X

Type

conf

DOI

10.1109/ICECCS.2005.42

Filename

1467877