QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets

Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2010

Volumn , Issue , 2010, Pages

  Bruneo, Dario ^a   Distefano, Salvatore ^a   Longo, Francesco ^a   Scarpa, Marco ^a  

^a UNIVERSITY OF MESSINA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TOOLS; BUSINESS RELATIONSHIPS; DESIGN PHASE; EFFECTIVE TOOL; FORMAL DEFINITION; INDUSTRIAL STANDARDS; INTERNET-BASED SERVICES; NON-MARKOVIAN; NOVEL TECHNIQUES; OPERATING CONDITION; SERVICE RELIABILITY; SERVICE TIME DISTRIBUTION; SOFTWARE APPLICATIONS; SOFTWARE ENGINEERS; SOFTWARE PARADIGM; SOFTWARE SOLUTION; STOCHASTIC PETRI NETS; VALUE ADDED SERVICE; WS-BPEL;

DESIGN; DISTRIBUTED PARAMETER NETWORKS; GRAPH THEORY; INFORMATION SERVICES; PETRI NETS; QUALITY OF SERVICE; SERVICE ORIENTED ARCHITECTURE (SOA); STOCHASTIC SYSTEMS; WEB SERVICES;

COMPUTER SOFTWARE;

EID: 77954020712     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2010.5470391     Document Type: Conference Paper

References (13)

1. OASIS Web Services Business Process Execution Language (WSBPEL) TC, "Web Services Business Process Execution Language Version 2.0," OASIS, April 2007, http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html.
2. N. Lohmann, E. Verbeek, and R. Dijkman, "Petri net transformations for business processes - a survey," pp. 46-63, 2009.
3. S. Hinz, K. Schmidt, and C. Stahl, "Transforming bpel to petri nets," in Proceedings of the International Conference on Business Process Management (BPM2005), volume 3649 of Lecture Notes in Computer Science. Springer-Verlag, 2005, pp. 220-235.
4. C. Ouyang, E. Verbeek, W. M. P. van der Aalst, S. Breutel, M. Dumas, and A. H. M. ter Hofstede, "Formal semantics and analysis of control flow in ws-bpel," Sci. Comput. Program., vol.67, no.2-3, pp. 162-198, 2007.
5. S.-C. Oh, D. Lee, and R. T. Kumara, "Misq:a framework to analyze and optimize web service composition in business service networks," INTERNATIONAL JOURNAL OF CASES ON ELECTRONIC COMMERCE, vol.1, no.4, pp. 35-55, 2005.
6. S. Rosario, A. Benveniste, S. Haar, and C. Jard, "Foundations for web services orchestrations: Functional and qos aspects, jointly," in ISOLA '06: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Washington, DC, USA: IEEE Computer Society, 2006, pp. 309-316.
7. I. Wehrman, D. Kitchin, W. R. Cook, and J. Misra, "A timed semantics of Orc," Theor. Comput. Sci., vol.402, no.2-3, pp. 234-248, 2008.
8. Y. He, L. Zhao, Z. Wu, and F. Li, "Formal modeling of transaction behavior in ws-bpel," in CSSE '08: Proceedings of the 2008 International Conference on Computer Science and Software Engineering. Washington, DC, USA: IEEE Computer Society, 2008, pp. 490-494.
9. P. Xiong, Y. Fan, and M. Zhou, "Qos-aware web service configuration," Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, vol.38, no.4, pp. 888-895, July 2008.
10. L. Chen, Z. Shao, G. Fan, and H. Ma, "A method for analyzing and predicting reliability of bpel process," Journal ofSoftware, vol.4, no.1, pp. 11-18, 2009.
11. J. Merseguer, J. Campos, S. Bernardi, and S. Donatelli, "A compositional Semantics for UML State Machines Aimed at Performance Evaluation," in Proceedings of the 6th International Workshop on Discrete Event Systems. IEEE, 2002, pp. 295-302.
12. R. Sahner, K. S. Trivedi, and A. Puliafito, Performance and reliability analysis of computer systems: an example based approach using the SHARPE software package. Kluwer Academic Publishers, Boston, 1995.
13. M. Scarpa, A. Puliafito, and S. Distefano, "A parallel approach for the solution of non Markovian Petri nets," in 10th European PVM/MPI Users' Group Conference (EuroPVM/MPI03). Venice, Italy: LNCS 2840, Sep. 2003, pp. 196-203.