Information Technology Reference
In-Depth Information
114. eBay. “Third Party Checkout.” Retrieved June 26, 2012, from http://developer
.
ebay.com/DevZone/XML/docs/WebHelp/Checkout-Third_Party_Checkout
.
html.
115. Girault, C. and R. Valk (2003). Petri nets for systems engineering. Berlin,
Springer-Verlag.
116. Szomszor, M., T. R. Payne, et al. (2006). Automated syntactic mediation for
Web Service integration. International Conference on Web Services. Chicago,
USA, 127-136.
117. Valmari, A. (1991). Stubborn sets for reduced state space generation. 10th
International Conference on Applications and Theory of Petri Nets. Bonn,
Germany, Springer, 491-515.
118. Deng, S., Z. Wu, et al. (2006). Modeling service compatibility with pi-calculus
for choreography. 25th International Conference on Conceptual Modeling
(ER2006). Tucson, AZ, 26-39.
119. van der Aalst, W. M. P. (2000). “Loosely coupled interorganizational workflows:
modeling and analyzing workflows crossing organizational boundaries.”
Information and Management
37
(2): 67-75.
120. Lohmann, N., P. Massuthe, et al. (2006). Analyzing interacting BPEL processes.
4th International Conference on Business Process Management. Vienna,
Austria, Springer, 17-32.
121. Martens, A., S. Moser, et al. (2006). Analyzing compatibility of BPEL
processes. International Conference on Internet and Web Applications and
Services/Advanced International Conference on Telecommunications (AICT-
ICIW '06). Guadeloupe, French Caribbean, 147-147.
122. Hamadi, R. and B. Benatallah (2003). A petri net-based model for web service
composition. Australasian Database Conference (ADC). Adelaide, Australia,
191-200.
123. Czarnecki, K. and U. Eisenecker (2000). Generative Programming: Methods,
Tools, and Applications. Addison-Wesley.
124. Fiadeiro, J. L., A. Lopes, et al. (2006). A formal approach to service component
architecture. Third International Workshop on Web Services and Formal
Methods (WS-FM). Vienna, Austria, 193-213.
125. Liang, Q. A. and S. Y. W. Su (2005). “AND/OR graph and search algorithm for
discovering composite web services.” International Journal of Web Services
Research (IJWSR)
2
(4): 48-67.
126. Zhou, Z. and Z. Duan (2006). Building business processes or assembling service
components: reuse services with BPEL4WS and SCA. 4th European
Conference on Web Services. Zurich, Switzerland, IEEE, 138-147.
127. Suzuki, T., T. Kanehara, et al. (1993). On algebraic and graph structural
properties of assembly Petri net. IEEE International Conference on Robotics
and Automation. Atlanta, Georgia, USA, IEEE, 507-514.
128. Dantzig, G. B. (1963). Linear Programming and Extensions. Princeton, NJ,
Princeton University Press.
