Mapping interconnection choreography models to interaction choreography models

CEUR Workshop Proceedings

Volumn 563, Issue , 2010, Pages 81-88

  Kopp, Oliver ^a   Leymann, Frank ^a   Wu, Fei ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

GLOBAL VIEW; INTERACTING PROCESS; INTERACTION MODEL; INTERMEDIATE FORMATS;

PETRI NETS;

MAPPING;

EID: 84870310492     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (29)

1. Decker, G., Kopp, O., Barros, A.: An Introduction to Service Choreographies. Information Technology 50(2) (2008) 122-127.
2. Decker, G., Weske, M.: Interaction-centric Modeling of Process Choreographies. (2010) in submission.
3. Decker, G.: Design and Analysis of Process Choreographies. PhD thesis, Hasso Plattner Institute, University of Potsdam (2009).
4. Bitsaki, M., et al.: An Architecture for Managing the Lifecycle of Business Goals for Partners in a Service Network. In: Service Wave 2008, Springer (2008) 196-207.
5. Object Management Group (OMG): Business Process Model and Notation (BPMN) Specification 2.0. (2009) v2.0 Beta 1.
6. st International Workshop on Collaborative Business Processes 2007, Springer (2007) 208-219.
7. Engler, L.: BPELgold: Choreography on the Service Bus. Diploma thesis, University of Stuttgart, IAAS (2009).
8. Kopp, O., Leymann, F.: Do We Need Internal Behavior in Choreography Models? In: ZEUS 2009. Volume 438., CEUR-WS.org (2009) 68-73.
9. Object Management Group (OMG): Business Process Modeling Notation (BPMN) Version 1.2. (January 2009) http://www.bpmn.org/.
10. Pfitzner, K., Decker, G., Kopp, O., Leymann, F.: Web Service Choreography Configurations for BPMN. In: WESOA 2007, Springer (2007) 401-412.
11. Decker, G., Kopp, O., Leymann, F., Weske, M.: Interacting services: from specification to execution. Data & Knowledge Engineering 68(10) (2009) 946-972.
12. Wolf, K.: Does my service have partners? LNCS T. Petri Nets and Other Models of Concurrency 5460(2) (2009) 152-171.
13. Dijkman, R., Dumas, M.: Service-oriented Design: A Multi-viewpoint Approach. International Journal of Cooperative Information Systems 13(4) (2004) 337-368.
14. Barros, A., Decker, G., Dumas, M.: Multi-staged and multi-viewpoint service choreography modelling. In: SEMSOA 2007. (2007) 1-15.
15. Motahari-Nezhad, H.R., et al.: Deriving Protocol Models from Imperfect Service Conversation Logs. IEEE Transactions on Knowledge and Data Engineering 20 (2008) 1683-1698.
16. Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. Data Knowl. Eng. 58(3) (2006) 327-357.
17. Decker, G., Barros, A.P., Kraft, F.M., Lohmann, N.: Non-desynchronizable Service Choreographies. In: ISCOC 2008. (2008) 331-346.
18. Fu, X., Bultan, T., Su, J.: Synchronizability of Conversations among Web Services. IEEE Trans. Softw. Eng. 31(12) (2005) 1042-1055.
19. Decker, G., Weske, M.: Local Enforceability in Interaction Petri Nets. In: Business Process Management 2007, Springer (2007) 305-319.
20. Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. 328(1-2) (2004) 19-37.
21. Decker, G., Kopp, O., Leymann, F., Pfitzner, K., Weske, M.: Modeling Service Choreographies using BPMN and BPEL4Chor. In: CAiSE '08, Springer (2008) 79-93.
22. Steinmetz, T.: Generierung einer BPEL4Chor-Beschreibung aus BPEL-Prozessen. Student Thesis, University of Stuttgart, IAAS (2007) in German.
23. Kopp, O., van Lessen, T., Nitzsche, J.: The Need for a Choreography-aware Service Bus. In: YR-SOC 2008. (2008) 28-34.
24. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4) (1989) 541-580.
25. Berthelot, G., Lri-Iie: Checking properties of nets using transformations. In: Advances in Petri Nets 1985, Springer (1986) 19-40.
26. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information and Software Technology 50(12) (2008) 1281-1294.
27. Lohmann, N., Verbeek, E., Dijkman, R.: Petri Net Transformations for Business Processes - A Survey. In: ToPNoC, Springer (2009) 46-63.
28. Wu, F.: Mapping interconnection choreography models to interaction models. Diploma thesis, University of Stuttgart, IAAS (2009).
29. Decker, G., Puhlmann, F.: Extending BPMN for Modeling Complex Choreographies. In: CoopIS 2007, Springer (2007) 24-40.