DocumentCode
2848277
Title
Invited Talk III
Author
Ji Wang
Author_Institution
Nat. Lab. for Parallel & Distrib. Process., Nat. Univ. of Defense Technol., Changsha, China
fYear
2012
fDate
20-22 June 2012
Abstract
Summary form only given. Recently, long running transactions attracted much research attention, because they are adopted in distributed systems, such as service-oriented systems, to ensure consistency. How to model and verify long running transactions is critical to improve the reliability of current distributed systems.
Keywords
distributed processing; formal verification; service-oriented architecture; distributed systems; formal modeling; formal refinement; formal verification; long running transactions; service-oriented systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Security and Reliability Companion (SERE-C), 2012 IEEE Sixth International Conference on
Conference_Location
Gaithersburg, MD
Print_ISBN
978-1-4673-2670-4
Type
conf
DOI
10.1109/SERE-C.2012.55
Filename
6258490
Link To Document