Realizability is controllability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6194 LNCS, Issue , 2010, Pages 110-127

  Lohmann, Niels ^a   Wolf, Karsten ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DEGREE OF COVERAGES; INTERORGANIZATIONAL BUSINESS PROCESS; REALIZABILITY;

CONTROLLABILITY; WEB SERVICES;

FORMAL METHODS;

EID: 77958451567     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14458-5_7     Document Type: Conference Paper

References (24)

1. Su, J., Bultan, T., Fu, X., Zhao, X.: Towards a theory of Web service choreographies. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 1-16. Springer, Heidelberg (2008)
2. Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. (1-2), 19-37 (2004)
3. Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Trans. Software Eng. 29(7), 623-633 (2003)
4. Wolf, K.: Does my service have partners? In: Jensen, K., van der Aalst, W. M. P. (eds.) Transactions on Petri Nets, Part II. LNCS, vol. 5460, pp. 152-171. Springer, Heidelberg (2009)
5. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323-342 (1983)
6. Decker, G., Weske, M.: Local enforceability in interaction Petri nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 305-319. Springer, Heidelberg (2007)
7. Zaha, J. M., Barros, A. P., Dumas, M., ter Hofstede, A. H. M.: Let's dance: A language for service behavior modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 145-162. Springer, Heidelberg (2006)
8. Bultan, T., Fu, X.: Specification of realizable service conversations using collaboration diagrams. SOCA 2(1), 27-39 (2008)
9. Decker, G., Barros, A. P.: Interaction modeling using BPMN. In: ter Hofstede, A. H. M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 208-219. Springer, Heidelberg (2008)
10. Zaha, J. M., Dumas, M., ter Hofstede, A. H. M., Barros, A. P., Decker, G.: Service interaction modeling: Bridging global and local views. In: EDOC 2006, pp. 45-55. IEEE Computer Society, Los Alamitos (2006)
11. Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting BPEL processes. In: Dustdar, S., Fiadeiro, J. L., Sheth, A. P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 17-32. Springer, Heidelberg (2006)
12. Leymann, F.: The (service) bus: Services penetrate everyday life. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 12-20. Springer, Heidelberg (2005)
13. Kopp, O., Lessen, T.v., Nitzsche, J.: The need for a choreography-aware service bus. In: YR-SOC, 28-34, Imperial College, London (2008)
14. Decker, G.: Realizability of interaction models. In: ZEUS 2009. CEUR Workshop Proceedings, vol. 438, CEUR-WS.org, pp. 55-60 (2009)
15. Decker, G., Barros, A., Kraft, F. M., Lohmann, N.: Non-desynchronizable service choreographies. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 331-346. Springer, Heidelberg (2008)
16. Fu, X., Bultan, T., Su, J.: Synchronizability of conversations among Web services. IEEE Trans. Software Eng. 31(12), 1042-1055 (2005)
17. Massuthe, P., Serebrenik, A., Sidorova, N., Wolf, K.: Can I find a partner? Undecidablity of partner existence for open nets. Inf. Process. Lett. 108(6), 374-378 (2008)
18. Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for modeling choreographies. In: ICWS 2007, pp. 296-303. IEEE Computer Society, Los Alamitos (2007)
19. Lohmann, N., Kopp, O., Leymann, F., Reisig, W.: Analyzing BPEL4Chor: Verification and participant synthesis. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 46-60. Springer, Heidelberg (2008)
20. Lohmann, N., Wolf, K.: Realizability is controllability. In: ZEUS 2009. CEUR Workshop Proceedings, vol. 438, CEUR-WS.org, pp. 61-67 (2009)
21. Salaün, G., Bultan, T.: Realizability of choreographies using process algebra encodings. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 167-182. Springer, Heidelberg (2009)
22. Kazhamiakin, R., Pistore, M.: Analysis of realizability conditions for Web service choreographies. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V. V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 61-76. Springer, Heidelberg (2006) (Pubitemid 44670663)
23. Kaschner, K., Lohmann, N.: Automatic test case generation for interacting services. In: ICSOC 2008. LNCS, vol. 5472, pp. 66-78. Springer, Heidelberg (2008)
24. Gierds, C., Mooij, A. J., Wolf, K.: Specifying and generating behavioral service adapter based on transformation rules. Preprint CS-02-08, Universität Rostock, Rostock, Germany (2008) (submitted to a journal)