Formal modeling of transaction behavior In WS-BPEL

Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008

Volumn 3, Issue , 2008, Pages 490-494

  Yanxiang, He ^a   Liang, Zhao ^a   Fei, Li ^a   Zhao, Wu ^b  

^a WUHAN UNIVERSITY   (China)

^b HUBEI UNIVERSITY OF ARTS AND SCIENCE   (China)

Author keywords

Petri net; Transaction; Web service composition.; WS BPEL

Indexed keywords

CONTROL-FLOW; DOMAIN-SPECIFIC APPLICATION; FORMAL MODELING; TRANSACTION; WEB SERVICE COMPOSITION; WEB SERVICES COMPOSITION; WS-BPEL;

BEHAVIORAL RESEARCH; GRAPH THEORY; PETRI NETS; QUALITY OF SERVICE; SOFTWARE ENGINEERING;

WEB SERVICES;

EID: 79951476420     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSSE.2008.873     Document Type: Conference Paper

References (9)

1. OASIS (2007) Web Services Business Process Execution Language (WS-BPEL version 2.0)http://docs.oasis-open.Org/wsbpel/2.0/CS01/wsbpel- v2.0-CS01.pdf
2. Ouyang, C, Verbeek, E., Aalst, W.M.P.v.d., Breutel, S., Dumas, M., Hofstede, A.H.t: Formal Semantics and Analysis of Control Flow in WS-BPEL. BPM Center Report BPM-05-15, Queensland University of Technology, BPMcenter.org (October 2005) http://www.BPMcenter.org/reports/2005/BPM-05-15.pdf, accepted for publication by Science of Computer Programming.
3. S. Hinz, K. Schmidt, C. Stahl, Transforming BPEL to Petri nets, in: W.M.P. van der Aalst, B. Benatallah, F. Casati, F. Curbera (Eds.), Proceedings of the International Conference on Business Process Management, BPM 2005, in: Lecture Notes in Computer Science, vol.3649, Springer-Verlag, Nancy, France, September 2005, pp. 220-235.
4. M. Ajmone Marsan, G. Balbo, and G. Conte, "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems", ACM Transactionson Computer Systems, 1984, 2(2), pp.93-122.
5. Marco Ajmone Marsan , Andrea Bobbio , Susanna Donatelli, Petri Nets in Performance Analysis: An Introduction, Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, September 01, 1996, pp. 211-256.
6. Shan Zhiguang, Lin Chuang, marinescu D C, Yang Y. Modeling and performance analysis of Qos aware load balancing of Web server clusters. Computer Networks, Elsevier Science, 2002, 40(2), pp. 235-256
7. Lin Chuang. Stochastic Petri nets and System Performance Evaluation, Beijing, Tsinghua University Press, 2005.
8. Rachid Hamadi, boualem Benatallah, A Petri net-based model for web service composition, Proceedings of the fourteenth Australasian database conference, , Adelaide, Australia, February 01, 2003, pp. 191-200,
9. [Lohmann, N., Verbeek, E., Ouyang, C., Stahl, C., Aalst, W.M.P.v.d.: Comparing and evaluating Petri net semantics for BPEL. Computer science report, Technisch Universiteit Eindhoven, The Netherlands, 2007