Realizability is controllability

CEUR Workshop Proceedings

Volumn 438, Issue , 2009, Pages 61-67

  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;

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

References (11)

1. Dumas, M., Benatallah, B., Nezhad, H.R.M.: Web service protocols: Compatibility and adaptation. IEEE Data Eng. Bull. 31(3) (2008) 40-44
2. Decker, G., Weske, M.: Local enforceability in interaction petri nets. In: BPM 2007. LNCS 4714, Springer (2007) 305-319
3. Zaha, J.M., Barros, A.P., Dumas, M., Hofstede, A.H.M.t.: Let's dance: A language for service behavior modeling. In: OTM 2006. LNCS 4275, Springer (2006) 145-162
4. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2) (1983) 323-342
5. 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
6. Bultan, T., Fu, X.: Specification of realizable service conversations using collaboration diagrams. SOCA 2(1) (2008) 27-39
7. Zaha, J.M., Dumas, M., Hofstede, A.H.M.t., Barros, A.P., Decker, G.: Service interaction modeling: Bridging global and local views. In: EDOC 2006, IEEE Computer Society (2006) 45-55
8. Wolf, K.: Does my service have partners? LNCS ToPNoC II(5460) (2009) 152-171
9. Lohmann, N., Massuthe, P., Wolf, K.: Behavioral constraints for services. In: BPM 2007. LNCS 4714, Springer (2007) 271-287
10. Decker, G., Barros, A., Kraft, F.M., Lohmann, N.: Non-desynchronizable service choreographies. In: ICSOC 2008. LNCS 5364, Springer (2008) 331-346
11. Lohmann, N., Kopp, O., Leymann, F., Reisig, W.: Analyzing BPEL4Chor: Verification and participant synthesis. In: WS-FM 2007. LNCS 4937, Springer (2008) 46-60