Information Technology Reference
In-Depth Information
51. Brogi, A. and R. Popescu (2006). Automated Generation of BPEL Adapters.
International Conference on Service Oriented Computing (ICSOC). Chicago,
USA Springer 27-39.
52. Nezhad, H. R. M., B. Benatallah, et al. (2007). Semi automated adaptation of
service interactions. 16th International World Wide Web Conference (WWW).
Banff, Canada, 993-1002.
53. Nezhad, H. R. M., G. Y. Xu, et al. (2010). Protocol-aware matching of Web
Service interfaces for adapter development. World Wide Web Conference.
Raleigh, North Carolina, USA, ACM 731-740.
54. van der Aalst, W. M. P. and C. Stahl (2011). Modeling Business Processes: A
Petri Net-Oriented Approach. Cambridge, MA, The MIT Press.
55. Ouyang, C., E. Verbeek, et al. (2007). “Formal semantics and analysis of
control flow in WS-BPEL.” Science of Computer Programming Archive
67
(2-3): 162-198.
56. Martens, A. (2005). Analyzing Web Service based business processes. 8th
International Conference on Fundamental Approaches to Software
Engineering. Edinburgh, UK, Springer,
3442
19-33.
57. Hinz, S., K. Schmidt, et al. (2005). Transforming BPEL to Petri nets.
International Conference on Business Process Management. Nancy, France,
Springer, 220-235.
58. Bultan, T., J. Su, et al. (2006). “Analyzing conversations of Web services.” IEEE
Internet Computing
(1): 18-25.
59. Fu, X., T. Bultan, et al. (2005). “Synchronizability of conversations
among Web services.” IEEE Transactions on Software Engineering
31
(12):
1042-1055.
60. Kazhamiakin, R., M. Pistore, et al. (2006). Analysis of communication models
in web service compositions. 15th International Conference on World Wide
Web (WWW). Edinburgh, Scotland, ACM, 267-276.
61. Baeten, J. C. M. and W. P. Weijland (1991). Process Algebra. New York, NY,
USA, Cambridge University Press.
62. Foster, H., S. Uchitel, et al. (2003). Model-based verification of Web service
compositions. 18th IEEE International Conference on Automated Software
Engineering. Montreal, Canada, 152-161.
63. Foster, H., S. Uchitel, et al. (2004). Compatibility verification for Web service
choreography. IEEE International Conference on Web Services. San Diego,
California, USA, 738-741.
64. Foster, H., S. Uchitel, et al. (2006). Model-based analysis of obligations in Web
service choreography. Advanced International Conference on
Telecommunications and International Conference on Internet and Web
Applications and Services (AICT/ ICIW 2006). Guadeloupe, French, IEEE
Computer Society, 149.
65. Lucchi, R. and M. Mazzara (2007). “A pi-calculus based semantics for
WS-BPEL.” Journal of Logic and Algebraic Programming
10
70
(1): 96-118.
