Synthesis of orchestrators from service choreographies

Conferences in Research and Practice in Information Technology Series

Volumn 96, Issue , 2009, Pages

  McIlvenna, Stephen ^a   Dumas, Marlon ^a,b   Wynn, Moe Thandar ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b UNIVERSITY OF TARTU   (Estonia)

Author keywords

BPMN; Choreography; Orchestration; Petri nets; Service composition

Indexed keywords

BPMN; BUSINESS PROCESS MODELLING; CHOREOGRAPHY; COMMERCIAL TOOLS; COMMUNICATING STATE MACHINES; COMPACT REPRESENTATION; ORCHESTRATION; PEER TO PEER; SERVICE CHOREOGRAPHIES; SERVICE COMPOSITIONS; SERVICE ORIENTED SYSTEMS; STATE MACHINE;

DISTRIBUTED COMPUTER SYSTEMS; TOPOLOGY;

PETRI NETS;

EID: 84864551146     PISSN: 14451336     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Benatallah, B., Casati, F., et al. (2006): Representing, analysing and managing web service protocols. Data Knowledge Engineering 58(3):327-357. (Pubitemid 43994224)
2. Berardi, D., Calvanese, D., De Giacomo, G., Hull, R. and Mecella, M. (2005): Automatic composition of transition-based semantic web services with messaging. Proc. 31st VLDB Conference, Trondheim, Norway, 613-624, VLDB Endowment. (Pubitemid 43991038)
3. Bultan, T., Su, J., et al. (2006): Analyzing conversations of web services. IEEE Internet Computing 10(1): 18-25. (Pubitemid 43159609)
4. Chrzastowski-Wachtel, P., Benatallah, B., Hamadi, R., O'Dell, M. and Susanto, A. (2003): A top-down Petri net-based approach for dynamic workflow modeling. Proc. Business Process Management 2003, Eindhoven, The Netherlands, 336-353, Springer-Verlag.
5. Cortadella, J., Kishinevsky, M., Kondratyev, A. Lavagno, L. and Yakovlev, A. (1997): Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems: 3(E80-D):315-325. (Pubitemid 127757728)
6. Cortadella, J., Kishinevsky, M., et al. (1998): Deriving Petri nets from finite transition systems. IEEE Transactions on Computers 47(8): 859-882. (Pubitemid 128738520)
7. Decker, G. and Barros, A. (2008): Interaction Modeling using BPMN. In Business Process Management Workshops, Lecture Notes in Computer Science, 4928:208-219, Springer-Verlag, Germany. (Pubitemid 351358255)
8. Decker, G., Kopp, O., Leymann, F. and Weske, M. (2007): BPEL4Chor: Extending BPEL for modeling choreographies. Proc. International Conference on Web Services, Salt Lake City, Utah, USA, 296-303, IEEE.
9. Dijkman, R. M., Dumas, M. and Ouyang, C. (2008): Semantics and analysis of business process models in BPMN. Information and Software Technology, To appear.
10. GS1 US: Voluntary Interindustry Commerce Standard (VICS), http://www.uccouncil.org/ean-ucc-system/stnds-and-tech/vics-edi.html. Accessed 18 October 2007.
11. Hinz, S., Schmidt, K. and Stahl, C. (2005): Transforming BPEL to Petri nets. Proc. International Conference on Business Process Management, Nancy, France, 220-235, Springer-Verlag. (Pubitemid 41490765)
12. Howard, F., Emmerich, W., Kramer, J., Magee, J., Rosenbalum, D. and Uchitel, S. (2007): Model checking service compositions under resource constraints. Proc. ESEC/FSE'07. Cavtat near Dubrovnik, Croatia, 225-234, ACM.
13. Lohmann, N., Massuthe, P., Stahl, C. and Weinberg, D. (2008): Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowledge Engineering 64(1):38-54. (Pubitemid 350087283)
14. OASIS (2007): Web Services Business Process Execution Language Version 2.0, http://docs.oasisopen.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.pdf. Accessed 4 February 2008.
15. Object Management Group (2008): Business Process Modeling Notation, v1.1, http://www.omg.org/docs/formal/08-01-17.pdf. Accessed 24 March 2008.
16. Ouyang, C., Dumas, M., ter Hofstede, A. H. M., van der Aalst, W. M. P. (2008): Pattern-based translation of BPMN process models to BPEL web services. International Journal of Web Services Research 5(1):42-61.
17. Palsberg, J. and Jay, C. (1998): The essence of the visitor pattern. Proc. 22nd IEEE International Computer Software and Applications Conference, Vienna, Austria, 9-15, IEEE.
18. Peltz, C. (2003): Web services orchestration and choreography. IEEE Computer 36(10):46-52.
19. van der Aalst, W. M. P. (1998): The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers 8(1):21-66. (Pubitemid 128540249)
20. van Dongen, B., de Medeiros, A., Verbeek, H., Weijters, A., and van der Aalst, W. (2005): The ProM framework: A New Era in Process Mining Tool Support. Proc. 26th International Conference on Application and Theory of Petri Nets (ATPN), Miami, Florida, 444-454, Springer-Verlag. (Pubitemid 41422025)
21. xCBL.org (2003): XML Common Business Library, http://www.xcbl.org/xcbl40/ documentation.shtml.Accessed 12 September 2007.
22. Yellin, D. M. and Strom, R. E. (1997): Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems 19(2):292-333. (Pubitemid 127447777)
23. Zhao, W., Bryant, B.R., Cao, F., Bhattacharya, K. and Hauser, R. (2005): Transforming Business Process Models: Enabling Programming at a Higher Level. Proc. IEEE International Conference on Services Computing (SCC), Orlando, FL, USA, 173-180. IEEE. (Pubitemid 44461232)