Realizability of interaction models

CEUR Workshop Proceedings

Volumn 438, Issue , 2009, Pages 55-60

  Decker, Gero ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC BUILDING BLOCK; BUSINESS PARTNERS; GLOBAL PERSPECTIVE; INTERACTION BEHAVIOR; INTERACTION MODEL; REALIZABILITY;

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

References (10)

1. Business Process Modeling Notation, V1.1. Technical report, OMG, Jan 2008.
2. R. Alur, K. Etessami, and M. Yannakakis. Inference of message sequence charts. In ICSE, pages 304-313, New York, NY, USA, 2000. ACM.
3. G. Decker and A. Barros. Interaction Modeling using BPMN. In CBP, number 4928 in LNCS, pages 206-217, Brisbane, Australia, September 2007.
4. G. Decker, A. Barros, F. M. Kraft, and N. Lohmann. Non-desynchronizable service choreographies. In ICSOC, LNCS, Sydney, Australia, Dec 2008. Springer Verlag.
5. G. Decker, O. Kopp, F. Leymann, and M. Weske. BPEL4Chor: Extending BPEL for Modeling Choreographies. In ICWS, pages 296-303, Salt Lake City, Utah, USA, July 2007. IEEE Computer Society.
6. G. Decker and M. Weske. Local Enforceability in Interaction Petri Nets. In BPM, number 4714 in LNCS, pages 305-319, Brisbane, Australia, September 2007. Springer Verlag.
7. X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and analysis of reactive electronic services. Theoretical Computer Science, 328(1- 2):19-37, November 2004.
8. N. Kavantzas, D. Burdett, G. Ritzinger, and Y. Lafon. Web Services Choreography Description Language Version 1.0, W3C Candidate Recommendation. Technical report, November 2005. http://www.w3.org/TR/ws-cdl-10.
9. N. Lohmann, P. Massuthe, and K. Wolf. Operating guidelines for finite-state services. In ICATPN, volume 4546 of LNCS, pages 321-341, Siedlce, Poland, June 2007. Springer Verlag.
10. J. M. Zaha, M. Dumas, A. ter Hofstede, A. Barros, and G. Decker. Service Inter- action Modeling: Bridging Global and Local Views. In EDOC, pages 45-55, Hong Kong, Oct 2006. IEEE Computer Society.