메뉴 건너뛰기




Volumn , Issue , 2014, Pages 391-394

CHOReOS: Large scale choreographies for the future internet

Author keywords

[No Author keywords available]

Indexed keywords

INTERNET; REENGINEERING; REVERSE ENGINEERING;

EID: 84898426562     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR-WCRE.2014.6747202     Document Type: Conference Paper
Times cited : (25)

References (10)
  • 2
    • 84863591279 scopus 로고    scopus 로고
    • Checking the realizability of bPMN 20 choreographies
    • P. Poizat and G. Salaun, "Checking the Realizability of BPMN 2.0 Choreographies," in Proceedings of SAC 2012, 2012, pp. 1927-1934.
    • (2012) Proceedings of SAC, 2012 , pp. 1927-1934
    • Poizat, P.1    Salaun, G.2
  • 8
    • 84885790474 scopus 로고    scopus 로고
    • Automatic synthesis of modular connectors via composition of protocol mediation patterns
    • P. Inverardi and M. Tivoli, "Automatic synthesis of modular connectors via composition of protocol mediation patterns," in Proc. of ICSE'13.
    • Proc. of ICSE'13
    • Inverardi, P.1    Tivoli, M.2


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