Local analysis of atomicity sphere for B2B collaboration

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2006, Pages 186-196

  Ye, Chunyang ^a   Cheung, S C ^a   Chan, W K ^b   Xu, Chang ^a  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

^b CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Atomicity; Privacy; Process algebra; Process collaboration

Indexed keywords

DATA PRIVACY; ITERATIVE METHODS;

ATOMICITY; BUSINESS-TO-BUSINESS (B2B) COLLABORATION; PROCESS ALGEBRA; PROCESS COLLABORATION;

COMPUTER SUPPORTED COOPERATIVE WORK;

EID: 34547315298     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1181775.1181798     Document Type: Conference Paper

References (23)

1. Brand, D., and Zafiropulo, P. On communicating finite-state machines. Journal of the Association for Computing Machinery, vol.30, no.2, Apr. 1983, pp. 323-342.
2. BTP. Available at: http://www.oasis-open.org/committees/tc_home.php? wg_abbrev=business-transaction (accessed on Apr 7, 2006).
3. rd International Workshop on Technologies for E-Services. Springer-Verlag. 2002, pp. 19-28, Berlin, Germany.
4. Chiu, D.K.W., Cheung, S.C., Kafeza, E., and Leung, H.F. A three-tier view-based methodology for M-services adaptation. IEEE Transactions on Systems, Man, & Cybernetics Part A: Systems & Humans, vol.33, no.6, Nov. 2003, pp.725-741.
5. CrossFlow Consortium / AGFIL. Insurance Requirements, CrossFlow deliverable: D1.b. Mar. 1999. Available at: http://www.crossflow.org/public/ pubdel/D1b.pdf (accessed on Mar 30, 2006)
6. Dolev, D., Dwork, C., and Stockmeyer, L. On the minimal synchronism needed for distributed consensus. Journal of the Association for Computing Machinery, vol.34, no.1, Jan. 1987, pp. 77-97.
7. Garcia-Molina, H., and Salem, K. SAGAS. SigmodRecord, vol.16, no.3, Dec. 1987, pp.249-259.
8. Georgakopoulos, D., Hornick, M.F., and Manola, F. Customizing transaction models and mechanisms in a programmable environment supporting reliable workflow automation. IEEE Transactions on Knowledge and Data Engineering, vol.8, no.4, Aug. 1996, pp. 630-649.
9. Grefen, P., Vonk, J., and Apers, P. Global transaction support for workflow management systems: from formal specification to practical implementation. VLDB Journal, vol.10, no.4, Dec. 2001, pp.316-333.
10. Hagen, C, and Alonso, G. Exception handling in workflow management systems. IEEE Transactions on Software Engineering, vol.26, no. 10, Oct. 2000, pp.943-958.
11. Lee, P.A., and Anderson, T. Fault tolerance: Principles and practice, Springer-Verlag 1990.
12. Liu, D.R., and Shen, M.X. Workflow modelling for virtual processes: an order-preserving process-view approach. Information Systems, vol.28, no.6, Sept. 2003, pp.505-532.
13. MIT process handbook online, available at: http://process.mit.edu/Info/ CaseLinks.asp (accessed on Apr 7, 2006)
14. Schuldt, H., Alonso, G., Beeri, C, and Schek, H.J. Atomicity and isolation for transactional processes. ACM Transactions on Database Systems, vol.27, no.1, Mar. 2002, pp. 63-116.
15. Sushil, J., and Larry, K. Advanced Transaction Models and Architectures. Kluwer 1997.
16. Tai, S., Mikalsen, T., Wohlstadter, E., Desai, N., and Rouvellou, I. Transaction policies for service-oriented computing. Data & Knowledge Engineering, vol.51, issue 1, Oct. 2004, pp.59-79.
17. van der Aalst, W.M.P., and Kumar, A. XML-based schema definition for support of interorganizational workflow. Information Systems Research, vol.14, no.1, Mar. 2003, pp.23-46.
18. th International Conference on Software Engineering. IEEE Comput. Soc. 2004, pp. 189-199. Los Alamitos, CA, USA
19. WS-C. Available at: http://msdn.microson.com/library/en-us/ dnglobspec/html/ws-coordination.asp (accessed on Apr 7, 2006).
20. WS-T. Available at: http://msdn.microsoft.com/ws/2002/08/wstx/ (accessed on Apr 7, 2006).
21. th International Conference on Software Engineering, May. 2006, pp.351-360, Shanghai, China.
22. Ye, C.Y., Cheung, S.C., and Chan, W.K. on Local analysis of atomicity sphere for B2B collaboration. Technical report, No.HKUST-CS-06-03, Department of Computer Science and Engineering, The Hong Kong University of Science & Technology, 2006.
23. Zeng, L.Z., Benatallah, B., Ngu, A.H.H., Dumas, M., Kalagnanam, J., and Chang, H. QoS-aware middleware for Web services composition. IEEE Transactions on Software Engineering vol.30, no.5, May. 2004, pp. 311-327.