메뉴 건너뛰기




Volumn 5474 LNCS, Issue , 2009, Pages 1-18

Contract-driven implementation of choreographies

Author keywords

[No Author keywords available]

Indexed keywords

SERVICE ORIENTED COMPUTING; SERVICE SYSTEMS;

EID: 67650301851     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00945-7_1     Document Type: Conference Paper
Times cited : (27)

References (13)
  • 2
    • 38149054799 scopus 로고    scopus 로고
    • Contract based multi-party service composition
    • In: Arbab, F., Sirjani, M. (eds.), LNCS, Springer, Heidelberg
    • Bravetti, M., Zavattaro, G.: Contract based multi-party service composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.4767, pp. 207-222. Springer, Heidelberg (2007)
    • (2007) FSEN 2007 , vol.4767 , pp. 207-222
    • Bravetti, M.1    Zavattaro, G.2
  • 4
    • 58149481641 scopus 로고    scopus 로고
    • A foundational theory of contracts for multi-party service composition
    • Bravetti, M., Zavattaro, G.: A Foundational Theory of Contracts for Multi-party Service Composition. Fundamenta Informaticae 89(4), 451-478 (2008)
    • (2008) Fundamenta Informaticae , vol.89 , Issue.4 , pp. 451-478
    • Bravetti, M.1    Zavattaro, G.2
  • 5
    • 67649938979 scopus 로고    scopus 로고
    • Contract compliance and choreography conformance in the presence of message queues
    • LNCS, Springer, Heidelberg
    • Bravetti, M., Zavattaro, G.: Contract Compliance and Choreography Conformance in the Presence of Message Queues. In: WS-FM 2008. LNCS. Springer, Heidelberg (2008)
    • (2008) WS-FM 2008
    • Bravetti, M.1    Zavattaro, G.2
  • 7
    • 35048900317 scopus 로고    scopus 로고
    • Stuck-Free Conformance
    • Computer Aided Verification 16th International Conference, CAV 2004 Boston, MA, USA, July 13-17, 2004 Proceedings
    • Fournet, C., Hoare, S.T., Rajamani, S.K., Rehof, J.: Stuck-Free Conformance. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.3114, pp. 242-254. Springer, Heidelberg (2004) (Pubitemid 38940064)
    • (2004) LECTURE NOTES IN COMPUTER SCIENCE. , Issue.3114 , pp. 242-254
    • Fournet, C.1    Hoare, T.2    Rajamani, S.K.3    Rehof, J.4
  • 9
    • 58049133540 scopus 로고    scopus 로고
    • Bridging the gap between interaction-and process-oriented choreographies
    • SEFM IEEE Computer Society Press, Los Alamitos
    • Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between Interaction- and Process-Oriented Choreographies. In: SEFM 2008. IEEE Computer Society Press, Los Alamitos (2008)
    • (2008) SEFM 2008
    • Lanese, I.1    Guidi, C.2    Montesi, F.3    Zavattaro, G.4
  • 12
    • 84855188850 scopus 로고    scopus 로고
    • Fair testing
    • DOI 10.1016/j.ic.2006.06.002, PII S0890540106001106
    • Rensink, A., Vogler, W.: Fair testing. Information and Computation 205(2), 125-198 (2007) (Pubitemid 46038921)
    • (2007) Information and Computation , vol.205 , Issue.2 , pp. 125-198
    • Rensink, A.1    Vogler, W.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.