Decentralized consistency checking in cross-organizational workflows

CEC/EEE 2006 Joint Conferences

Volumn 2006, Issue , 2006, Pages

  Wombacher, Andreas ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DISTRIBUTED DATABASE SYSTEMS; MATHEMATICAL MODELS;

ORGANIZATIONAL WORKFLOWS; SERVICE ORIENTED ARCHITECTURES;

COMPUTER SYSTEM RECOVERY;

EID: 33845877437     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CEC-EEE.2006.32     Document Type: Conference Paper

References (15)

1. W. Aalst. Interorganizational workflows: An approach based on message sequence charts and petri nets. Systems Analysis - Modelling - Simulation, 34(3):335-367, 1999.
2. W. Aalst and M. Weske. The P2P approach to interorganizational workflows. In Proc. of 13. Int'l. Conference on Advanced Information Systems Engeneering (CAISE), 2001.
3. J. Chomicki and G. Saake, editors. Logics for Database and Information Systems. Kluwer, 1998.
4. X. Fu, T. Bultan, and J. Su. Realizability of conversation protocols with message contents. In Proc. IEEE Int'l. Conf. on Web Services (ICWS), pages 96-103. IEEE Computer Society, 2004.
5. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
6. J. E. Hopcroft, R. Motwani, and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 2001.
7. E. Kindler, A. Martens, and W. Reisig. Interoperability of workflow applications: Local criteria for global soundness. In Business Process Management, Models, Techniques, and Empirical Studies, pages 235-253, 2000.
8. D. Wodtke and G. Weikum. A formal foundation for distributed workflow execution based on state charts. In F. N. Afrati and P. Kolaitis, editors, Proc. Int'l. Conf. on Database Theory (ICDT), pages 230-246. LNCS 1186, 1997.
9. A. Wombacher. Decentralized decision making protocol for service composition. In Proc. IEEE Int'l. Conf. on Web Services (ICWS), pages 203-210, 2005.
10. A. Wombacher. Decentralized establishment of consistent, multi-lateral collaborations. PhD thesis, Technical University Darmstadt, 2005.
11. A. Wombacher. Issues on decentralized consistency checking of multi-lateral collaborations. In Int'l. WS on Distributed and Mobile Collaboration (DMC), pages 93-98, 2005.
12. A. Wombacher, P. Fankhauser, and K. Aberer. Overview on decentralized establishment of consistent multi-lateral collaborations based on asynchronous communication. In Proc. IEEE Int'l. Conf. on e-Technology, e-Commerce and e-Service (EEE), pages 164-170, 2005.
13. A. Wombacher, P. Fankhauser, B. Mahleko, and E. Neuhold:. Matchmaking for business processes based on choreographies. Intl. Journal of Web Services, 1(4): 14-32, 2004.
14. A. Wombacher, B. Mahleko, and E. Neuhold. IPSI-PF: A business process matchmaking engine. In Proc. of Conf. on Electronic Commerce (CEC), pages 137-145, 2004.
15. X. Yi and K. J. Kochut. Process composition of web services with complex conversation protocols: a colored petri nets based approach. In Proc. of the Design, Analysis, and Simulation of Distributed Systems Symposium at Adavanced Simulation Technology Conf., pages 141-148, 2004.