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

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2005, Pages 16-17

  Chen, Hao Peng ^a   Shen, Yao ^a   Jiang, Jian Wei ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; MIDDLEWARE; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SPECIFICATIONS; SYNTACTICS;

CDFD; MIDDLEWARE-BAESD TRANSACTION MANAGEMENT; MODELING; STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE (SOFL);

FORMAL LANGUAGES;

EID: 27144480301     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (2)

1. A.B. Smith, C.D. Jones, and E.F. Roberts, "Article Title", Journal, Publisher, Location, Date, pp. 1-10. Shaoying Liu, Formal Engineering for Industrial Software Development. Springer-Verlag, Berlin Heidelberg, 2004.
2. X/Open CAE Specification - Distributed Transaction Processing: The XA Specification, X/Open Document No. XO/CAE/91/300 or ISBN 1 872630 24 3